DeepSeek-Prover-V2 model card (Hugging Face) 30 Apr 2025
DeepSeek-Prover-V2-671B
DeepSeek-Prover-V2-671B places in the top three on miniF2F.
6
Benchmarks with a score
0
Ranked first, out of five or more models
1
In the top three
DeepSeek Apr 2025 DeepSeek-Prover-V2-671B
Open weights Mid-size
No Epoch Capabilities Index score yet
- PutnamBench 6.99% #4 /14
- miniF2F 88.9% #3 /5
Where it ranks
Its best score on each benchmark, and where that ranks among every model with a score there. We rank each model once, at its best setting.
Math and science
| Benchmark | Score | Rank | Source | |
|---|---|---|---|---|
| PutnamBench | 6.99% | #4 of 14 | Official leaderboard | |
| miniF2F | 88.9% | #3 of 5 | Model card | |
| CombiBench | 10% | #3 of 3 | Model card | |
| FormalMATH | 28.3% | #1 of 1 | Model card | |
| ProofNet | 37.1% | #1 of 1 | Model card | |
| ProverBench (DeepSeek) | 59.1% | #1 of 1 | Model card |
Its launch post
The benchmarks the lab chose to headline, with the scores it gave.
Its system card
Every result in the longer documents the lab published with it. 3 of them aren't in the launch post.
Capabilities
- miniF2F 88.9
- ProofNet 37.1
- PutnamBench 7.14
- CombiBench 10
- FormalMATH 28.3
- ProverBench (DeepSeek) 59.1