The Lessons of Developing Process Reward Models in Mathematical Reasoning
Paper
•
2501.07301
•
Published
•
99
LLM Math
-
-
Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2
Paper • 2502.03544 • Published • 44 -
FoNE: Precise Single-Token Number Embeddings via Fourier Features
Paper • 2502.09741 • Published • 15 -
SoS1: O1 and R1-Like Reasoning LLMs are Sum-of-Square Solvers
Paper • 2502.20545 • Published • 22 -
MegaMath: Pushing the Limits of Open Math Corpora
Paper • 2504.02807 • Published • 31 -
Phi-4-Mini-Reasoning: Exploring the Limits of Small Reasoning Language Models in Math
Paper • 2504.21233 • Published • 47 -
Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
Paper • 2505.04528 • Published • 11 -
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
Paper • 2505.02735 • Published • 31 -
LLMs Will Always Hallucinate, and We Need to Live With This
Paper • 2409.05746 • Published • 5 -
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
Paper • 2506.17104 • Published • 1 -
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
Paper • 2502.07640 • Published • 9 -
Darwin Godel Machine: Open-Ended Evolution of Self-Improving Agents
Paper • 2505.22954 • Published • 11