DeepSeek-Prover-V2-7B
deepseek-ai/DeepSeek-Prover-V2-7B
6.9B parameters
Tracked by OpenModelStats since September 8, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 42.3K
- Total downloadsCumulative all-time download counter reported by the source platform.
- 1.1M
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- +23.7K(increase)
- 2.1%(up) vs baseline
- Gained 30DIncrease in cumulative total downloads between OpenModelStats' own observations roughly thirty days apart.
- —
- LikesCommunity likes reported by the source platform.
- 151
- +3 in 7D
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads.
- #3,711
- 344(down 344 places)this week
- Parameters
- 6.9B
- Last source update
- Apr 30, 2025
- MomentumOpenModelStats' composite rising-model signal (0–100): a percentile blend of absolute 7-day download gains, capped percentage growth, and likes gained. See Methodology.
- 88.4
- DeepSeek-Prover-V2-7B gained 23.7K downloads during the last seven tracked days.
Downloads over time
Cumulative total downloads observed by OpenModelStatsLikes over time
Rank among tracked models
Lower is betterOverview
DeepSeek-Prover-V2-7B is an AI model published by deepseek-ai. OpenModelStats has tracked the model since Sep 8, 2026, most recently observing it 5h ago.
- Published
- Apr 30, 2025
- Last updated
- Apr 30, 2025
- Library
- —
- License
- —
- Task
- —
- Parameters
- 6,910,365,696
- Spaces
- —
- Derivative models
- 1
- Velocity 7D/day
- 3,391
safetensorsllamaregion:us
Model family
Based on base-model relationships reported by the source's metadata.
Derivative models
Similar models
| Model | DL 30D |
|---|---|
| deepseek-coder-7b-instruct-v1.5deepseek-ai | 642.4K |
| natural-sql-7bchatdb | 181.5K |
| DeepSeek-Prover-V1.5-RLdeepseek-ai | 4,380 |
| deepseek-math-7b-rldeepseek-ai | 1,948 |
| deepseek-coder-7b-base-v1.5deepseek-ai | 1,121 |
| DeepSeek-Prover-V1.5-SFTdeepseek-ai | 851 |