כתבה
arXiv cs.LG ·
RMA: סוכנויות מחקר מתמטיות
RMA: Context-Orchestrated Research Math Agents
RMA היא פלטפורמת סוכנויות לפיתוח הוכחות מתמטיות. היא משתמשת בארכיון מחקר קבוע ובתזמון הקשר לניהול מצב סמנטי. RMA השיגה שיעור פתרון של 42.5% באתגר SOOHAK Challenge Hard.
תקציר מקורי באנגליתarXiv:2605.22875v2 Announce Type: replace-cross Abstract: Long-horizon mathematical reasoning fails less often because a model cannot produce a valid next step than because an agent fails to maintain and expose the right semantic state across many iterations. Left unmanaged, this produces research-level proofs that are locally convincing yet globally incomplete: a key lemma unproved, an assumption unchecked, a citation unsupported, or a computational claim unverified. We present Research Math Agents (RMA), 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. The Research Context Orchestrator is the central state-management layer between the persistent research st
קרא במקור המקורי
arxiv.org
פתח כתבה מקורית