DeepSeek-Prover-V2-7B
deepseek-ai/DeepSeek-Prover-V2-7B
6.9B parameters
Tracked by OpenModelStats since August 24, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 172.8K
- Total downloadsCumulative all-time download counter reported by the source platform.
- 1M
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- —
- Gained 30DIncrease in cumulative total downloads between OpenModelStats' own observations roughly thirty days apart.
- —
- LikesCommunity likes reported by the source platform.
- 147
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads.
- #1,794
- –this week
- Parameters
- 6.9B
- Last source update
- Apr 30, 2025
Downloads over time
Daily gain between consecutive observationsNot enough tracked history yet for a chart.
OpenModelStats began tracking this model on 2026-08-24. Charts appear as daily observations accumulate.
Likes over time
Not enough tracked history yet for a chart.
OpenModelStats began tracking this model on 2026-08-24. Charts appear as daily observations accumulate.
Rank among tracked models
Lower is betterNot enough tracked history yet for a chart.
OpenModelStats began tracking this model on 2026-08-24. Charts appear as daily observations accumulate.
Overview
DeepSeek-Prover-V2-7B is an AI model published by deepseek-ai. OpenModelStats has tracked the model since Aug 24, 2026, most recently observing it 1h ago.
- Published
- Apr 30, 2025
- Last updated
- Apr 30, 2025
- Library
- —
- License
- —
- Task
- —
- Parameters
- 6,910,365,696
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- —
safetensorsllamaregion:us
Similar models
| Model | DL 30D |
|---|---|
| deepseek-coder-7b-instruct-v1.5deepseek-ai | 843.3K |
| dspv2_guideLukeBailey181Pub | 26.4K |
| DeepSeek-Prover-V1.5-SFTdeepseek-ai | 14K |
| sgs-guide3k-conjecturer-it100sjelassi | 6,302 |
| deepseek-math-7b-rldeepseek-ai | 1,054 |
| DeepSeek-Prover-V1.5-RLdeepseek-ai | 1,041 |