deepseek-ai / DeepSeek-Prover-V2Links
☆1,182Updated last month
Alternatives and similar repositories for DeepSeek-Prover-V2
Users that are interested in DeepSeek-Prover-V2 are comparing it to the libraries listed below
Sorting:
- ☆474Updated last month
- Technical report of Kimina-Prover Preview.☆323Updated last month
- ☆535Updated last year
- Democratizing Reinforcement Learning for LLMs☆4,074Updated this week
- Releases from OpenAI Preparedness☆846Updated this week
- Dream 7B, a large diffusion language model☆938Updated last week
- An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.☆579Updated last week
- Muon is Scalable for LLM Training☆1,289Updated 3 weeks ago
- ☆2,294Updated this week
- MiniMax-M1, the world's first open-weight, large-scale hybrid-attention reasoning model.☆2,830Updated last month
- MiMo: Unlocking the Reasoning Potential of Language Model – From Pretraining to Posttraining☆1,534Updated 2 months ago
- Pretraining and inference code for a large-scale depth-recurrent language model☆822Updated last month
- Humanity's Last Exam☆1,071Updated last month
- [COLM 2025] LIMO: Less is More for Reasoning☆1,010Updated 3 weeks ago
- Unleashing the Power of Reinforcement Learning for Math and Code Reasoners☆706Updated 2 months ago
- Renderer for the harmony response format to be used with gpt-oss☆3,623Updated last week
- ☆275Updated 3 weeks ago
- A Self-adaptation Framework🐙 that adapts LLMs for unseen tasks in real-time!☆1,137Updated 6 months ago
- MoBA: Mixture of Block Attention for Long-Context LLMs☆1,878Updated 4 months ago
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,072Updated this week
- ☆636Updated this week
- GLM-4.5: An open-source large language model designed for intelligent agents by Z.ai☆2,213Updated 2 weeks ago
- Textbook on reinforcement learning from human feedback☆1,193Updated last week
- Implementing DeepSeek R1's GRPO algorithm from scratch☆1,548Updated 4 months ago
- Self-Adapting Language Models☆770Updated 3 weeks ago
- Seed-Coder is a family of lightweight open-source code LLMs comprising base, instruct and reasoning models, developed by ByteDance Seed.☆545Updated 2 months ago
- ☆3,464Updated 5 months ago
- Training Large Language Model to Reason in a Continuous Latent Space☆1,255Updated 2 weeks ago
- Official PyTorch implementation for "Large Language Diffusion Models"☆2,798Updated last week
- procedural reasoning datasets☆1,069Updated this week