Alternatives and similar repositories for DeepSeek-Math-V2

Users that are interested in DeepSeek-Math-V2 are comparing it to the libraries listed below

• deepseek-ai / DeepSeek-Prover-V2
  ☆1,220Updated 4 months ago
• MoonshotAI / Kimi-Linear
  ☆1,215Updated 2 weeks ago
• microsoft / rStar
  ☆1,344Updated 2 months ago
• deepseek-ai / DeepSeek-V3.2-Exp
  ☆1,022Updated last week
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆346Updated 4 months ago
• lyang36 / IMO25
  An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.
  ☆867Updated last month
• inclusionAI / ASearcher
  An Open-Source Large-Scale Reinforcement Learning Project for Search Agents
  ☆497Updated last month
• QwenLM / ParScale
  Parallel Scaling Law for Language Model — Beyond Parameter and Inference Time Scaling
  ☆456Updated 6 months ago
• Chengsong-Huang / R-Zero
  codes for R-Zero: Self-Evolving Reasoning LLM from Zero Data (https://www.arxiv.org/pdf/2508.05004)
  ☆674Updated last month
• ByteDance-Seed / Seed-Prover
  ☆308Updated 2 months ago
• SkyworkAI / Skywork-OR1
  Unleashing the Power of Reinforcement Learning for Math and Code Reasoners
  ☆731Updated 5 months ago
• MoonshotAI / Moonlight
  Muon is Scalable for LLM Training
  ☆1,365Updated 3 months ago
• deepseek-ai / DeepSeek-Prover-V1.5
  ☆543Updated last year
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆1,157Updated 3 months ago
• InternLM / Intern-S1
  A Scientific Multimodal Foundation Model
  ☆607Updated 2 months ago
• ByteDance-Seed / Seed-Thinking-v1.5
  ☆819Updated 5 months ago
• ByteDance-Seed / Seed-Coder
  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
• GAIR-NLP / LIMO
  [COLM 2025] LIMO: Less is More for Reasoning
  ☆1,051Updated 4 months ago
• google-deepmind / alphaevolve_results
  ☆241Updated 5 months ago
• WooooDyy / AgentGym-RL
  Code and implementations for the paper "AgentGym-RL: Training LLM Agents for Long-Horizon Decision Making through Multi-Turn Reinforcemen…
  ☆502Updated 2 months ago
• MoonshotAI / checkpoint-engine
  Checkpoint-engine is a simple middleware to update model weights in LLM inference engines
  ☆848Updated this week
• hkust-nlp / CodeIO
  [ICML 2025 Oral] CodeI/O: Condensing Reasoning Patterns via Code Input-Output Prediction
  ☆561Updated 6 months ago
• facebookresearch / cwm
  Research code artifacts for Code World Model (CWM) including inference tools, reproducibility, and documentation.
  ☆734Updated 2 months ago
• SakanaAI / RLT
  Training teachers with reinforcement learning able to make LLMs learn how to reason for test time scaling.
  ☆349Updated 5 months ago
• RyanLiu112 / compute-optimal-tts
  Official codebase for "Can 1B LLM Surpass 405B LLM? Rethinking Compute-Optimal Test-Time Scaling".
  ☆275Updated 9 months ago
• thinking-machines-lab / batch_invariant_ops
  ☆912Updated 3 weeks ago
• DreamLM / Dream
  Dream 7B, a large diffusion language model
  ☆1,085Updated last week
• facebookresearch / deepconf
  DeepConf: Deep Think with Confidence
  ☆320Updated 2 months ago
• BytedTsinghua-SIA / MemAgent
  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
• WeiboAI / VibeThinker
  Tiny Model, Big Logic: Diversity-Driven Optimization Elicits Large-Model Reasoning Ability in VibeThinker-1.5B
  ☆506Updated last week