DeepSeek-Prover-V2
https://github.com/deepseek-ai/deepseek-prover-v2- Category
- AI Tools
- Pricing
- Open Source
- Type
- TOOL
- Builder
- deepseek-ai
- GitHub
- 1.3k stars
- Added
- May 26, 2026
About
DeepSeek's open-source LLM specialized in formal theorem proving in Lean 4.
Why it made the leaderboard
DeepSeek's open-source LLM specialized in formal theorem proving in Lean 4 — a model built for machine-checkable proofs rather than general chat.
Tags
llmtheorem-provingleanmathdeepseek
Comments (0)
No comments yet
Indexed by a proprietary survey. Corrections welcome.