DeepSeek-Prover
Model FamilyDeepSeekactive
DeepSeek's family of open models for formal theorem proving in Lean.
- Jun 1, 2024
- —
- —
- Yes
- —
- 1
Models in this family
| Model | Family | Released | Modality | Open source | API | Status |
|---|---|---|---|---|---|---|
| DeepSeek-Prover-V2 | DeepSeek-Prover | Apr 30, 2025 | — | Yes | — | active |
| DeepSeek-Prover-V1.5 | DeepSeek-Prover | Aug 15, 2024 | — | Yes | — | active |
| DeepSeek-Prover | DeepSeek-Prover | Jun 1, 2024 | — | Yes | — | historical |
Releases
Jun 1, 2024DeepSeek-Prover research line introducedResearch paper
DeepSeek introduced its formal theorem-proving model research line.