ai/deepseek-v4-pro

Verified Publisher

By Docker

Updated 8 days ago

Artifact
0

7.8K

ai/deepseek-v4-pro repository overview

Read our How to Run DeepSeek-V4 Guide!

Unsloth Dynamic 2.0 achieves superior accuracy & outperforms other leading quants.

  • See our DeepSeek-V4 guide for quantization analysis and run instructions.
  • DeepSeek-V4-Pro-0813 is a 1.57T parameter model with 48B active parameters per token, so it needs substantially more memory than DeepSeek-V4-Flash-0731.
  • For DeepSeek-V4-Flash-0731 GGUFs, see unsloth/DeepSeek-V4-Flash-0731-GGUF.

Quants are uploaded to this repository as they finish converting.


DeepSeek-V4-Pro-0813

DeepSeek-V4

Technical Report👁️

Introduction

DeepSeek-V4-Pro-0813 is the official release of DeepSeek-V4-Pro, superseding the preview version, with greatly enhanced agentic capabilities and performance improvements that are especially pronounced in production environments. It is built on the DeepSeek-V4-Pro (Preview) model structure, with a DSpark speculative decoding module attached.

DeepSeek-V4-Pro-0813 outperforms DeepSeek-V4-Pro (Preview) on the benchmarks listed below, and is broadly competitive with the strongest proprietary models available.

BenchmarkDeepSeek-V4-Pro-0813DeepSeek-V4-Flash-0731DeepSeek-V4-Pro (Preview)DeepSeek-V4-Flash (Preview)GLM-5.2Kimi K3Opus-4.8Fable-5 (w/ fallback)
HLE (wo / w tools)42.7 / 60.037.8 / 51.537.7 / 48.234.8 / 45.140.5 / 54.743.5 / 56.049.8 / 57.953.3 / 63.0
Terminal Bench 2.187.982.772.161.881.088.385.088.0
NL2Repo61.554.238.539.448.9-69.7-
Cybergym83.376.752.738.7-80.078.383.1
DeepSWE62.754.412.87.346.267.558.070.0
Toolathlon-Verified74.170.355.949.759.976.576.277.9
Agents' Last Exam25.725.216.515.823.827.625.7-
AutomationBench (Public)31.825.112.810.812.930.827.229.1
DSBench-FullStack †71.168.741.837.061.873.771.677.2
DSBench-Hard †67.259.631.125.854.563.071.768.3

Notes:

  1. For the code-agent tasks among the public benchmarks above, DeepSeek-V4-Pro-0813 is evaluated with the minimal mode of DeepSeek Harness as the agent framework, using the max reasoning effort level with temperature = 1.0, top_p = 0.95.
  2. † DSBench-FullStack is an internal full-stack development test set; DSBench-Hard is an internal test set of difficult coding-agent problems.

Chat Template

This release does not include a Jinja-format chat template. Instead, we provide a dedicated encoding folder with Python scripts and test cases demonstrating how to encode messages in OpenAI-compatible format into input strings for the model, and how to parse the model's text output. Please refer to the encoding folder for full documentation.

The reasoning_effort parameter now supports three levels — low, high, and max — which control how much deliberation the model spends before answering.

A brief example:

from encoding_dsv4 import encode_messages, parse_message_from_completion_text

messages = [
    {"role": "user", "content": "hello"},
    {"role": "assistant", "content": "Hello! I am DeepSeek.", "reasoning_content": "thinking..."},
    {"role": "user", "content": "1+1=?"}
]

# messages -> string
prompt = encode_messages(messages, thinking_mode="thinking", reasoning_effort="max")

# string -> tokens
import transformers
tokenizer = transformers.AutoTokenizer.from_pretrained("deepseek-ai/DeepSeek-V4-Pro-0813")
tokens = tokenizer.encode(prompt)

License

This repository and the model weights are licensed under the MIT License.

Citation

@misc{deepseekai2026deepseekv4,
      title={DeepSeek-V4: Towards Highly Efficient Million-Token Context Intelligence},
      author={DeepSeek-AI},
      year={2026},
}

Contact

If you have any questions, please raise an issue or contact us at [email protected].

Tag summary

Content type

Unrecognized

Digest

sha256:b8a0dbd3d

Size

791.3 GB

Last updated

8 days ago

docker pull ai/deepseek-v4-pro

This week's pulls

Pulls:

2,971

Last week