Repository Showcase
A curated collection of interesting GitHub repositories
deepseek-ai/DeepSeek-Prover-V2
Language model for theorem proving via subgoal decomposition
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
- Data analysis platform using large language models
