DeepSeek-V4-Pro-0813 is the official release of the DeepSeek-V4-Pro line, positioned by its authors as the successor to the earlier Preview checkpoint and explicitly noted for "greatly enhanced agentic capabilities and performance improvements that are especially pronounced in production environments." The variant carries forward the DeepSeek-V4-Pro Preview model structure and adds a DSpark speculative decoding module, an architectural choice aimed at accelerating inference for long-running agent workflows while preserving the underlying representation quality of the preview base. The model is published under the deepseek-ai organization on Hugging Face with an MIT license, and its card links to a dedicated technical report on arXiv (arXiv:2606.19348) that documents the design choices behind this release.
In the benchmark table published alongside the model card, DeepSeek-V4-Pro-0813 is shown outperforming the V4-Pro Preview across the listed evaluations, including scores of 42.7 without tools and 60.0 with tools on HLE, 87.9 on Terminal Bench 2.1, and 61.5 on NL2Repo, with additional comparisons against sibling V4-Flash checkpoints and contemporary proprietary systems such as GLM-5.2, Kimi K3, Opus-4.8, and Fable-5. Those numbers frame the model as a strong fit for tool-mediated agentic tasks, code and repository-level generation, and general reasoning workloads where speculative decoding can translate into responsive behavior under production load. Developers evaluating the variant can therefore treat it as the recommended DeepSeek-V4-Pro endpoint for agent pipelines, while still consulting the linked technical report for deeper architectural and evaluation context.