Scaling Mathematical Proof Supervision from Structured Textbooks Paper • 2610.40394 • Published 16 days ago • 45
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification Paper • 2607.11849 • Published Sep 29 • 28
Achieving Olympia-Level Geometry Large Language Model Agent via Complexity Boosting Reinforcement Learning Paper • 2512.10534 • Published Dec 11, 2025 • 33
