deepseek-ai/DeepSeek-Prover-V2

Language model for theorem proving via subgoal decomposition

View on index · View in 3D Map

Related repos

• zkML framework for proving AI model inferences with zero-knowledge proofs
• DeepSeek-V3, a Mixture-of-Experts language model with 671B parameters and 37B active per token, focused on math and coding tasks
• DeepSeek-R1 GitHub repo with model code and info
• DeepClaude: Combines DeepSeek R1 and Claude 3.5 for AI reasoning and coding
• DeepSeek-VL2, a vision-language AI modelfor tasks like visual question answeringand OCR
• Not new, but still interesting
• Model with sparse attention for long-context scenarios
• agentic language model for deep research and reasoning tasks
• open-source large language model focused on complex reasoning
• Executes reasoning paths in parallel with language models