Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving
Paper
•
2507.02726
•
Published
•
14
Math and similar
-
-
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
Paper • 2507.06804 • Published • 16 -
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Paper • 2507.23726 • Published • 115 -
Model-Based and Sample-Efficient AI-Assisted Math Discovery in Sphere Packing
Paper • 2512.04829 • Published • 12 -
DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning
Paper • 2511.22570 • Published • 90 -
Long-horizon Reasoning Agent for Olympiad-Level Mathematical Problem Solving
Paper • 2512.10739 • Published • 47 -
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
Paper • 2512.17260 • Published • 52