RMA: Context-Orchestrated Research Math Agents
RMA is an agentic framework for long-horizon proof development built around a persistent, typed research store and an orchestrator that compiles operation-specific context from that store and an orchestrator that compiles operation-specific context from that store.
Ze-Li Zhao, Bo Yuan, Yuchen Zhu et al.
· 6 citations