Autotrain compatible Base model:deepseek-ai/deepsee... Base model:quantized:deepseek-... Conversational Custom code Deepseek Deepseek v3 En Endpoints compatible Fp8 Gguf Imatrix Q4 Quantized Region:us Unsloth
Model Card on HF 🤗: https://huggingface.co/unsloth/DeepSeek-Prover-V2-671B-GGUF
DeepSeek Prover V2 671B GGUF 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 671B GGUF Parameters and Internals
| LLM Name | DeepSeek Prover V2 671B GGUF |
| Repository 🤗 | https://huggingface.co/unsloth/DeepSeek-Prover-V2-671B-GGUF |
| Base Model(s) | |
| Model Size | 671b |
| Required VRAM | 250 GB |
| Updated | 2025-11-14 |
| Maintainer | unsloth |
| Model Type | deepseek_v3 |
| Model Files | |
| Supported Languages | en |
| GGUF Quantization | Yes |
| Quantization Type | gguf|q4|q4_k |
| Model Architecture | DeepseekV3ForCausalLM |
| License | mit |
| Context Length | 163840 |
| Model Max Length | 163840 |
| Transformers Version | 4.52.3 |
| Vocabulary Size | 129280 |
| Torch Data Type | bfloat16 |
Best Alternatives to DeepSeek Prover V2 671B GGUF
Best Alternatives |
Context / RAM |
Downloads |
Likes |
|---|---|---|---|
| DeepSeek V3.1 4bit | 160K / 190.1 GB | 1631 | 6 |
| DeepSeek V3.1 Base 4bit | 160K / 190.1 GB | 1875 | 3 |
| DeepSeek V3.1 8bit | 160K / 177.8 GB | 233 | 3 |
| DeepSeek R1 0528 5bit | 160K / 231 GB | 66 | 3 |
| R1 1776 | 160K / 243.4 GB | 855 | 2324 |
| DeepSeek Prover V2 671B | 160K / 189 GB | 1408 | 809 |
| MAI DS R1 | 160K / 176 GB | 1158 | 287 |
| Deepseek V3.1 MLX 5.5bit | 160K / 231 GB | 339 | 5 |
| ...o V2 Preview Deepseek 671B MoE | 160K / 219.9 GB | 76 | 35 |
| DeepSeek Prover V2 671B | 160K / 184.7 GB | 11 | 3 |
Note: green Score (e.g. "73.2") means that the model is better than unsloth/DeepSeek-Prover-V2-671B-GGUF .
Rank the DeepSeek Prover V2 671B GGUF 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? 51555 in total.
Original data from HuggingFace, OpenCompass and various public git repos.
Release v20241124