DeepSeek-Prover-V2-7B

Model facts

Hub id

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

Likes

162

Downloads (last 30 days)

5,221

Task

Not given

Library

Not given

Parameters

6.91B (6,910,365,696)

License

No license given

Access

Open download

Author

deepseek-ai · Organization

Languages

Not given

Created

Apr 30, 2025

Last modified

Apr 30, 2025

Rank #2,730 of 4,320 models in AI on Hugging Face, by likes. Data from the Hugging Face Hub API, fetched Oct 18, 2026. Likes measure popularity, not quality or safety. Downloads are for the last 30 days, as the Hub reports them; counts change daily. A listing is not an endorsement. How this list is made

More models from deepseek-ai

• 3

  Rank 3: deepseek-ai/DeepSeek-R1

  14,392 likes1,310,380 downloads in the last 30 daysText generation684B parametersMIT

• 18

  Rank 18: deepseek-ai/DeepSeek-V4-Pro

  5,677 likes367,717 downloads in the last 30 daysText generation1.6T parametersMIT

• 30

  Rank 30: deepseek-ai/DeepSeek-V4.1-Flash

  4,631 likes1,316,711 downloads in the last 30 daysImage and text to text763B parametersMIT

• 34

  Rank 34: deepseek-ai/DeepSeek-V3

  4,450 likes1,392,181 downloads in the last 30 daysText generation685B parametersNo license given

• 40

  Rank 40: deepseek-ai/DeepSeek-V4-Flash-0731

  4,085 likes4,244,997 downloads in the last 30 daysText generation304B parametersMIT

• 46

  Rank 46: deepseek-ai/Janus-Pro-7B

  3,715 likes10,433 downloads in the last 30 daysAny to anyMIT