DeepSeek-Prover-V1.5
https://github.com/deepseek-ai/deepseek-prover-v1.5- Category
- AI Tools
- Pricing
- Open Source
- Type
- TOOL
- Builder
- deepseek-ai
- GitHub
- 580 stars
- Added
- May 26, 2026
About
DeepSeek's theorem-proving language model that combines RL and Monte Carlo tree search to solve formal math problems in Lean.
Why it made the leaderboard
DeepSeek's theorem-proving model that combines RL with Monte Carlo tree search to write formal proofs in Lean — for anyone working on machine-verified mathematics.
Tags
llmtheorem-provingmathdeepseeklean
Tech Stack
Python
Comments (0)
No comments yet
Indexed by a proprietary survey. Corrections welcome.