deepseek-ai / DeepSeek-Prover-V2Links
☆1,178Updated 3 weeks ago
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:
- ☆466Updated 3 weeks ago
- Humanity's Last Exam☆998Updated 2 weeks ago
- ☆533Updated 11 months ago
- MiMo: Unlocking the Reasoning Potential of Language Model – From Pretraining to Posttraining☆1,522Updated 2 months ago
- Technical report of Kimina-Prover Preview.☆320Updated 3 weeks ago
- Muon is Scalable for LLM Training☆1,240Updated this week
- Releases from OpenAI Preparedness☆815Updated last week
- [COLM 2025] LIMO: Less is More for Reasoning☆993Updated last week
- ☆3,456Updated 5 months ago
- This repo contains the dataset and code for the paper "SWE-Lancer: Can Frontier LLMs Earn $1 Million from Real-World Freelance Software E…☆1,433Updated 3 weeks ago
- Unleashing the Power of Reinforcement Learning for Math and Code Reasoners☆691Updated 2 months ago
- Renderer for the harmony response format to be used with gpt-oss☆2,637Updated this week
- Dream 7B, a large diffusion language model☆873Updated last month
- ☆608Updated 3 weeks ago
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,055Updated 2 weeks ago
- MiniMax-M1, the world's first open-weight, large-scale hybrid-attention reasoning model.☆2,774Updated last month
- Democratizing Reinforcement Learning for LLMs☆3,962Updated last week
- Pretraining and inference code for a large-scale depth-recurrent language model☆808Updated 3 weeks ago
- Open-source implementation of AlphaEvolve☆3,506Updated this week
- ☆462Updated last year
- Seed-Coder is a family of lightweight open-source code LLMs comprising base, instruct and reasoning models, developed by ByteDance Seed.☆539Updated 2 months ago
- procedural reasoning datasets☆1,012Updated this week
- ☆2,238Updated this week
- Textbook on reinforcement learning from human feedback☆1,147Updated 2 weeks ago
- Continuous Thought Machines, because thought takes time and reasoning is a process.☆1,238Updated 3 weeks ago
- A collection of formalized statements of conjectures in Lean.☆580Updated this week
- Darwin Gödel Machine: Open-Ended Evolution of Self-Improving Agents☆1,550Updated last month
- ☆227Updated last week
- Sky-T1: Train your own O1 preview model within $450☆3,320Updated 3 weeks ago
- MoBA: Mixture of Block Attention for Long-Context LLMs☆1,851Updated 4 months ago