DeepSeek-Prover-V1
deepseek-ai/DeepSeek-Prover-V1
6.9B parametersLicense: other
Tracked by OpenModelStats since October 12, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 366
- Total downloadsCumulative all-time download counter reported by the source platform.
- 8,478
- 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.
- 29
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads.
- #54,286
- 173(down 173 places)this week
- Parameters
- 6.9B
- Last source update
- Aug 29, 2024
Downloads over time
Daily gain between consecutive observationsLikes over time
Rank among tracked models
Lower is betterOverview
DeepSeek-Prover-V1 is an AI model published by deepseek-ai. OpenModelStats has tracked the model since Oct 12, 2026, most recently observing it Oct 28, 2026.
- Published
- Aug 16, 2024
- Last updated
- Aug 29, 2024
- Library
- —
- License
- other
- Task
- —
- Parameters
- 6,910,365,696
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- —
safetensorsllamaarxiv:2405.14333license:otherregion:us
Similar models
| Model | DL 30D |
|---|---|
| deepseek-coder-7b-instruct-v1.5deepseek-ai | 349.3K |
| natural-sql-7bchatdb | 41.8K |
| DeepSeek-Prover-V2-7Bdeepseek-ai | 6,948 |
| NuminaMath-7B-TIRproject-numina | 4,582 |
| NuminaMath-7B-TIRAI-MO | 4,498 |
| deepseek-math-7b-rldeepseek-ai | 1,952 |