Model Card on HF 🤗: https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-7B
DeepSeek Prover V2 7B Benchmarks
nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
What is the LLM Explorer Rank (Score)
DeepSeek Prover V2 7B Parameters and Internals
| LLM Name | DeepSeek Prover V2 7B |
| Repository 🤗 | https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-7B |
| Model Size | 7b |
| Required VRAM | 13.8 GB |
| Updated | 2025-06-09 |
| Maintainer | deepseek-ai |
| Model Type | llama |
| Model Files | |
| Model Architecture | LlamaForCausalLM |
| Context Length | 65536 |
| Model Max Length | 65536 |
| Transformers Version | 4.46.3 |
| Tokenizer Class | LlamaTokenizerFast |
| Beginning of Sentence Token | <｜begin▁of▁sentence｜> |
| End of Sentence Token | <｜end▁of▁sentence｜> |
| Vocabulary Size | 102400 |
| Torch Data Type | bfloat16 |
Quantized Models of the DeepSeek Prover V2 7B
Model |
Likes |
Downloads |
VRAM |
|---|---|---|---|
| DeepSeek Prover V2 7B 4bit | 4 | 506 | 3 GB |
Best Alternatives to DeepSeek Prover V2 7B
Best Alternatives |
Context / RAM |
Downloads |
Likes |
|---|---|---|---|
| A6 L | 1024K / 16.1 GB | 201 | 0 |
| M | 1024K / 16.1 GB | 127 | 0 |
| 157 | 1024K / 16.1 GB | 101 | 0 |
| A3.4 | 1024K / 16.1 GB | 13 | 0 |
| 124 | 1024K / 16.1 GB | 93 | 0 |
| A5.4 | 1024K / 16.1 GB | 12 | 0 |
| A2.4 | 1024K / 16.1 GB | 12 | 0 |
| 2 Very Sci Fi | 1024K / 16.1 GB | 317 | 0 |
| 162 | 1024K / 16.1 GB | 60 | 0 |
| 118 | 1024K / 16.1 GB | 15 | 0 |
Rank the DeepSeek Prover V2 7B Capabilities
🆘 Have you tried this model? Rate its performance. This feedback would greatly assist ML community in identifying the most suitable model for their needs. Your contribution really does make a difference! 🌟
What open-source LLMs or SLMs are you in search of? 48023 in total.
Original data from HuggingFace, OpenCompass and various public git repos.
Release v20241124