proof verification

RMA: an Agentic System for Research-Level Mathematical Problems

Research Math Agents (RMA) is an agentic framework designed for automated reasoning on complex research-level mathematical problems, distinguishing itself from prior work on competition math or formal theorem proving. RMA employs specialized modules and coordinated agents that collaboratively generate, refine, and verify candidate proofs through a multi-role, multi-round workflow, utilizing a shared structured memory.