✨DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning

📝 Summary:
DeepSeekMath-V2 trains a self-verifying LLM for theorem proving. It uses a verifier as a reward model to incentivize rigorous, step-by-step derivations and issue resolution in proofs. This approach achieves gold-level scores in major math competitions.

🔹 Publication Date: Published on Nov 27

🔹 Paper Links:
• arXiv Page: https://arxiv.org/abs/2511.22570
• PDF: https://arxiv.org/pdf/2511.22570

==================================

For more data science resources:
✓ https://t.iss.one/DataScienceT

#DeepSeekMath #LLM #AI #MathematicalReasoning #TheoremProving

✨Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

📝 Summary:
Seed-Prover 1.5 is a formal theorem-proving model that uses agentic reinforcement learning and an efficient scaling workflow. It achieves superior performance in solving undergraduate, graduate, and PhD-level math problems with reduced computational resources. This demonstrates the potential of l...

🔹 Publication Date: Published on Dec 19

🔹 Paper Links:
• arXiv Page: https://arxiv.org/abs/2512.17260
• PDF: https://arxiv.org/pdf/2512.17260
• Github: https://github.com/ByteDance-Seed/Seed-Prover

==================================

For more data science resources:
✓ https://t.iss.one/DataScienceT

#TheoremProving #ReinforcementLearning #AI #Mathematics #AI4Math