DeepSeek-Prover-V2-7B

deepseek-ai/DeepSeek-Prover-V2-7B

6.9B parameters
Tracked by OpenModelStats since August 24, 2026View on Hugging Face ↗
Downloads 30D
72.3K
Total downloads
1.1M
Gained 7D
+23.7K(increase)
2.1%(up) vs baseline
Gained 30D
—
Likes
151
+3 in 7D
Rank · tracked models
#3,166
72(down 72 places)this week
Parameters
6.9B
Last source update
Apr 30, 2025
Momentum
88.4
  • DeepSeek-Prover-V2-7B gained 23.7K downloads during the last seven tracked days.

Downloads over time

Cumulative total downloads observed by OpenModelStats

Likes over time

Rank among tracked models

Lower is better

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 Oct 5, 2026.

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

Models similar to DeepSeek-Prover-V2-7B
ModelDL 30D
deepseek-coder-7b-instruct-v1.5deepseek-ai649.8K
natural-sql-7bchatdb195.6K
DeepSeek-Prover-V1.5-RLdeepseek-ai4,376
deepseek-math-7b-rldeepseek-ai1,968
deepseek-coder-7b-base-v1.5deepseek-ai1,155
DeepSeek-Prover-V1.5-SFTdeepseek-ai860