DeepSeek Prover V2 7B 4bit by mlx-community

 »  All LLMs  »  mlx-community  »  DeepSeek Prover V2 7B 4bit   URL Share it on

  4-bit   4bit Base model:deepseek-ai/deepsee... Base model:quantized:deepseek-...   Conversational   Llama   Mlx   Quantized   Region:us   Safetensors

DeepSeek Prover V2 7B 4bit Benchmarks

nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
DeepSeek Prover V2 7B 4bit (mlx-community/DeepSeek-Prover-V2-7B-4bit)

DeepSeek Prover V2 7B 4bit Parameters and Internals

LLM NameDeepSeek Prover V2 7B 4bit
Repository 🤗https://huggingface.co/mlx-community/DeepSeek-Prover-V2-7B-4bit 
Base Model(s)  DeepSeek Prover V2 7B   deepseek-ai/DeepSeek-Prover-V2-7B
Model Size7b
Required VRAM3.9 GB
Updated2025-05-17
Maintainermlx-community
Model Typellama
Model Files  3.9 GB
Quantization Type4bit
Model ArchitectureLlamaForCausalLM
Context Length65536
Model Max Length65536
Transformers Version4.46.3
Tokenizer ClassLlamaTokenizerFast
Padding Token<|end▁of▁sentence|>
Vocabulary Size102400
Torch Data Typebfloat16

Best Alternatives to DeepSeek Prover V2 7B 4bit

Best Alternatives
Context / RAM
Downloads
Likes
Smaugv0.1 6.0bpw H6 EXL2195K / 26.4 GB64
Smaugv0.1 5.0bpw H6 EXL2195K / 22.3 GB53
Smaugv0.1 3.0bpw H6 EXL2195K / 13.9 GB51
Smaugv0.1 4.0bpw H6 EXL2195K / 18 GB51
Smaugv0.1 8.0bpw H8 EXL2195K / 34.9 GB51
Smaugv0.1 4.65bpw H6 EXL2195K / 20.8 GB31
Mistral 7B Openplatypus 1K32K / 29 GB70
...rnlm2 20B Llama 4.0bpw H6 EXL232K / 11 GB71
Mistral 7B OpenOrca 1K32K / 29 GB163
Mistral 7B A U0.5 B2 Ver0.432K / 14.4 GB10340

Rank the DeepSeek Prover V2 7B 4bit 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! 🌟

Instruction Following and Task Automation  
Factuality and Completeness of Knowledge  
Censorship and Alignment  
Data Analysis and Insight Generation  
Text Generation  
Text Summarization and Feature Extraction  
Code Generation  
Multi-Language Support and Translation  

What open-source LLMs or SLMs are you in search of? 47402 in total.

Our Social Media →  
Original data from HuggingFace, OpenCompass and various public git repos.
Release v20241227