What are the hardware requirements for Deepseek Prover V2 Cpt?

Deepseek Prover V2 Cpt requires approximately 13.9 GB of VRAM and supports a context window of 64K tokens. Quantized variants may run on less VRAM; see the Quantized Models section on this page.

Who developed Deepseek Prover V2 Cpt and how large is it?

Deepseek Prover V2 Cpt is developed by formalmathatepfl, a model with 7b parameters. The model is published as open weights on Hugging Face and indexed on LLM Explorer with full benchmark history.

Where can I download or evaluate Deepseek Prover V2 Cpt?

Deepseek Prover V2 Cpt is hosted on Hugging Face and linked from this page. LLM Explorer also lists quantized variants and similar alternatives if available.

Deepseek Prover V2 Cpt by formalmathatepfl — VRAM 13.9GB, 64K context

Name: Deepseek Prover V2 Cpt
Author: formalmathatepfl

Deepseek Prover V2 Cpt is an open-source language model by formalmathatepfl. Features: 7b LLM, VRAM: 13.9GB, Context: 64K, License: other, LLM Explorer Score: 0.27.

Base model:deepseek-ai/deepsee... Base model:finetune:deepseek-a... Conversational Endpoints compatible Full Generated from trainer Llama Llama-factory Region:us Safetensors Sharded Tensorflow

Model Card on HF 🤗: https://huggingface.co/formalmathatepfl/deepseek-prover-v2-cpt

Deepseek Prover V2 Cpt Benchmarks

LLME Score: 0.26776

^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 Cpt (formalmathatepfl/deepseek-prover-v2-cpt)

🌟 Advertise your project 🚀

Deepseek Prover V2 Cpt Parameters and Internals

LLM Name	Deepseek Prover V2 Cpt
Repository 🤗	https://huggingface.co/formalmathatepfl/deepseek-prover-v2-cpt
Base Model(s)	DeepSeek Prover V2 7B deepseek-ai/DeepSeek-Prover-V2-7B
Model Size	7b
Required VRAM	13.9 GB
Updated	2026-05-17
Maintainer	formalmathatepfl
Model Type	llama
Model Files	5.0 GB: 1-of-3 5.0 GB: 2-of-3 3.9 GB: 3-of-3 0.0 GB
Model Architecture	LlamaForCausalLM
License	other
Context Length	65536
Model Max Length	65536
Transformers Version	4.57.3
Tokenizer Class	LlamaTokenizerFast
Padding Token	<｜end▁of▁sentence｜>
Vocabulary Size	102400

Best Alternatives to Deepseek Prover V2 Cpt

Best Alternatives	Context / RAM	Downloads
124	1024K / 16.1 GB	93
162	1024K / 16.1 GB	60
157	1024K / 16.1 GB	101
118	1024K / 16.1 GB	15
A5.4	1024K / 16.1 GB	12
A3.4	1024K / 16.1 GB	13
A6 L	1024K / 16.1 GB	201
A2.4	1024K / 16.1 GB	12
M	1024K / 16.1 GB	127
2 Very Sci Fi	1024K / 16.1 GB	317

Rank the Deepseek Prover V2 Cpt 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

Deepseek Prover V2 Cpt by formalmathatepfl

» All LLMs » formalmathatepfl » Deepseek Prover V2 Cpt URL Share it on

Deepseek Prover V2 Cpt Benchmarks

Deepseek Prover V2 Cpt Parameters and Internals

Best Alternatives to Deepseek Prover V2 Cpt

Rank the Deepseek Prover V2 Cpt Capabilities

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