1 paper · 1 filter
Zelin Zhao, Bo Yuan, Jaemoo Choi +1
We present Research Math Agents (RMA), an agentic framework for automated reasoning on research-level mathematical problems. Unlike prior studies centered on competition…