deepseek-ai / DeepSeek-Math-V2Links
☆898Updated this week
Alternatives and similar repositories for DeepSeek-Math-V2
Users that are interested in DeepSeek-Math-V2 are comparing it to the libraries listed below
Sorting:
- ☆1,220Updated 4 months ago
- ☆1,215Updated 2 weeks ago
- ☆1,344Updated 2 months ago
- ☆1,022Updated last week
- Technical report of Kimina-Prover Preview.☆346Updated 4 months ago
- An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.☆867Updated last month
- An Open-Source Large-Scale Reinforcement Learning Project for Search Agents☆497Updated last month
- Parallel Scaling Law for Language Model — Beyond Parameter and Inference Time Scaling☆456Updated 6 months ago
- codes for R-Zero: Self-Evolving Reasoning LLM from Zero Data (https://www.arxiv.org/pdf/2508.05004)☆674Updated last month
- ☆308Updated 2 months ago
- Unleashing the Power of Reinforcement Learning for Math and Code Reasoners☆731Updated 5 months ago
- Muon is Scalable for LLM Training☆1,365Updated 3 months ago
- ☆543Updated last year
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,157Updated 3 months ago
- A Scientific Multimodal Foundation Model☆607Updated 2 months ago
- ☆819Updated 5 months ago
- Seed-Coder is a family of lightweight open-source code LLMs comprising base, instruct and reasoning models, developed by ByteDance Seed.☆683Updated 5 months ago
- [COLM 2025] LIMO: Less is More for Reasoning☆1,051Updated 4 months ago
- ☆241Updated 5 months ago
- Code and implementations for the paper "AgentGym-RL: Training LLM Agents for Long-Horizon Decision Making through Multi-Turn Reinforcemen…☆502Updated 2 months ago
- Checkpoint-engine is a simple middleware to update model weights in LLM inference engines☆848Updated this week
- [ICML 2025 Oral] CodeI/O: Condensing Reasoning Patterns via Code Input-Output Prediction☆561Updated 6 months ago
- Research code artifacts for Code World Model (CWM) including inference tools, reproducibility, and documentation.☆734Updated 2 months ago
- Training teachers with reinforcement learning able to make LLMs learn how to reason for test time scaling.☆349Updated 5 months ago
- Official codebase for "Can 1B LLM Surpass 405B LLM? Rethinking Compute-Optimal Test-Time Scaling".☆275Updated 9 months ago
- ☆912Updated 3 weeks ago
- Dream 7B, a large diffusion language model☆1,085Updated last week
- DeepConf: Deep Think with Confidence☆320Updated 2 months ago
- A MemAgent framework that can be extrapolated to 3.5M, along with a training framework for RL training of any agent workflow.☆803Updated 4 months ago
- Tiny Model, Big Logic: Diversity-Driven Optimization Elicits Large-Model Reasoning Ability in VibeThinker-1.5B☆506Updated last week