LLM EXPLORER
 LLM Explorer: A Curated Large Language Model Directory and Analytics
Dark Theme
  Agents   Benchmarks   LLM  List    LLM Hosting    LLM Leaderboards    Blog    Newsfeed    Advertise

DeepSeek Prover V2 7B Bf16 by mlx-community

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

  24   

DeepSeek Prover V2 7B Bf16 is an open-source language model by mlx-community. Features: 7b LLM, VRAM: 13.8GB, Context: 64K, LLM Explorer Score: 0.19.

Base model:deepseek-ai/deepsee... Base model:finetune:deepseek-a...   Conversational   Llama   Mlx   Region:us   Safetensors   Sharded   Tensorflow
Model Card on HF 🤗: https://huggingface.co/mlx-community/DeepSeek-Prover-V2-7B-bf16 

DeepSeek Prover V2 7B Bf16 Benchmarks

LLME Score: 0.19411
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 Bf16 (mlx-community/DeepSeek-Prover-V2-7B-bf16)
🌟 Advertise your project 🚀

DeepSeek Prover V2 7B Bf16 Parameters and Internals

LLM NameDeepSeek Prover V2 7B Bf16
Repository 🤗https://huggingface.co/mlx-community/DeepSeek-Prover-V2-7B-bf16 
Base Model(s)  DeepSeek Prover V2 7B   deepseek-ai/DeepSeek-Prover-V2-7B
Model Size7b
Required VRAM13.8 GB
Updated2026-04-07
Maintainermlx-community
Model Typellama
Model Files  5.4 GB: 1-of-3   5.3 GB: 2-of-3   3.1 GB: 3-of-3
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 Bf16

Best Alternatives
Context / RAM
Downloads
Likes
1241024K / 16.1 GB930
1621024K / 16.1 GB600
1571024K / 16.1 GB1010
1181024K / 16.1 GB150
A5.41024K / 16.1 GB120
A3.41024K / 16.1 GB130
A6 L1024K / 16.1 GB2010
A2.41024K / 16.1 GB120
M1024K / 16.1 GB1270
2 Very Sci Fi1024K / 16.1 GB3170
Note: green Score (e.g. "73.2") means that the model is better than mlx-community/DeepSeek-Prover-V2-7B-bf16.

Rank the DeepSeek Prover V2 7B Bf16 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? 53834 in total.

Email us: info@extractum.io. Our Privacy Policy  | Terms and Conditions  | Suggest an improvement.
Our Social Media →  
Original data from HuggingFace, OpenCompass and various public git repos.
Check out Ag3ntum — our secure, self-hosted AI agent for server management.
Release v20260328a
  Support LLM Explorer