Project AURIONAI Use-Cases Research & Innovation
reasoning

DeepSeek-Prover-V2 7B

Model that writes formal proofs in the Lean 4 theorem prover, trained with recursive subgoal decomposition.

DeepSeekDeepSeekChina
DeepSeek
Levelmodel
Classreasoning
Parameters6.91B
Contextnot in the notes
Released30 Apr 2025
Opennessunknown
Runs onnot in the notes
Statusactive

R&D Topics

Mathematical reasoning and formal theorem provingexemplar

Identity

Developer
DeepSeek
Family
not in the notes
Released
30 Apr 2025 sourcesregistry date
Weights published
–
Record checked
12 Oct 2026
Where this comes from
Developer and dates from the research notes. Release date is the vendor's public announcement; weights date is when open weights were published.

Architecture and Size

Architecture
dense transformer
Total parameters
6.91B sources
Active parameters
–
Checkpoint parameters
–
Note
Parameter count from the safetensors index on Hugging Face.
Context length
not in the notes
Input
text
Output
text
Where this comes from
Parameter counts as the developer states them. Where the checkpoint holds a different total, both are shown (register A16).

Openness and Access

Openness
unknown
Licence
not in the notes sources
Access routes
open weights download
Where this comes from
The licence file governs over registry tags and aggregator labels.

Deployment

Runs on
not in the notes
Footprint
not in the notes
Runtimes
not in the notes
Where this comes from
Deployment tiers and runtimes as named in the notes. Footprint is the notes' figure, not a measurement by AURION.

Indonesia

Indonesian support
not stated
Regional languages
not in the notes
Jakarta hosting
unknown
Languages
not in the notes
Where this comes from
Indonesia fields are carried on every model; unknown is an allowed value.

Benchmark Results

The notes record no benchmark result for this model.

Lineage

The notes record no lineage for this model.

Industry Use Cases

No industry use case links this model.

Sources

  1. huggingface.co/deepseek-ai/DeepSeek-Prover-V2-7B https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-7B
  2. kaggle.com/models/deepseek-ai/deepseek-math https://www.kaggle.com/models/deepseek-ai/deepseek-math
  3. kaggle.com/models/deepseek-ai/deepseek-prover https://www.kaggle.com/models/deepseek-ai/deepseek-prover

To cite this page: Project AURION, AI Use-Cases Research & Innovation, "DeepSeek-Prover-V2 7B", https://aurion.semai.id/models/deepseek-deepseek-prover-v2-7b/, records of October 2026.