Achieving Gold-Medal-Level Olympiad Reasoning via Simple and Unified Scaling

arXiv:2603.19715v1 Announce Type: new Abstract: Formal verification via interactive theorem proving is increasingly used to ensure the correctness of critical systems, yet

arXiv:2609.10712v1 Announce Type: new Abstract: We study how model post-training and test-time inference design affect natural-language proof generation for hard olympiad

arXiv:2605.11556v1 Announce Type: new Abstract: Solving complex long-horizon tasks requires strong planning and reasoning capabilities. Although datasets with explicit

arXiv:2605.01327v1 Announce Type: new Abstract: Existing reinforcement learning approaches for Large Language Models typically perform policy optimization at the granularity of

arXiv:2605.01338v1 Announce Type: new Abstract: System-level diagrams encode the architectural blueprint of chip design, specifying module functions, dataflows, and interface

arXiv:2605.19376v1 Announce Type: new Abstract: How should future neural reasoning systems implement extended computation? Recursive Reasoning Models (RRMs) offer a promising

arXiv:2603.18886v1 Announce Type: new Abstract: The ability to precisely derive mathematical objects is a core requirement for downstream STEM applications, including mathematics,

arXiv:2603.16060v2 Announce Type: replace Abstract: The dominant paradigm for improving mathematical reasoning in language models relies on Reinforcement Learning with verifiable