DeepSeek Prover V2

DeepSeek Prover V2

A 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5. Released on Hugging Face without an announcement or description.

ReasoningAnalysisConversationCode Generation
Provider
Deepseek
Release Date
2025-04-30
Size
XLARGE
Parameters
671B

Model Insights

All Model Responses