DeepSeek-Prover-V2-671B
Special purpose
An updated version of the Prover series by DeepSeek, building upon V3. They also used a smaller 7B Prover model (which, of course, is also open-sourced) to search for subgoals in proofs. The resulting model shatters proof-related benchmarks, but this is expected from DeepSeek.
Specs
Params671B
LicenseDeepSeek Model License
Tags
Adoption · Hugging Face
RAM @ 30d
Relative Adoption Metric: 0.00×. Below benchmark. Measured at 30 days.
Hugging Face Downloads
770
last 30d
28.3K
all time
HF Likes
831
Relative Adoption Metric contextualizes downloads against the model's size bucket.
Related Models
