Skip to content
Sagan

Paper

RMA: an Agentic System for Research-Level Mathematical Problems

Unreadunread

AI summary

arXiv:2605. 22875v1 Announce Type: new Abstract: We present $\textbf{Research Math Agents (RMA)}$, an agentic framework for automated reasoning on research-level mathematical problems.