04:00
2026-05-25
arxiv.org
ai-agents
RMA: an Agentic System for Research-Level Mathematical Problems
Researchers have developed Research Math Agents (RMA), an agentic framework that automates reasoning on research-level mathematical problems by decomposing proof-solving into specialized modules coord…