Updated daily at 05:00 UTC

Language

DeepSeek-Prover-V2 7B

By DeepSeek, in the DeepSeek-Prover family.

Released: 30 Apr 2025
Status: Current
Context: 32.8K
Max output: —
Input per 1M tokens: —
Output per 1M tokens: —
Open weights: Yes
License: deepseek-license
Parameters: 7B
Knowledge cutoff: —
Reasoning: Yes
Modalities: text → text

Category scores

Out of 100, from independent and third-party results only, by method category-2026-09-29.1.

Not enough independent results yet

Only independent and third-party results rank a model; self-reported and unattributed numbers never do.

Benchmark results

Every result we hold for this model, with who ran it and where it was published.

No benchmark results yet

Other DeepSeek-Prover versions

Sources

https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-7B