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-V3.2-Exp
  ☆1,405Updated last month
• MoonshotAI / Kimi-Linear
  ☆1,257Updated last month
• lyang36 / IMO25
  An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.
  ☆899Updated 3 months ago
• microsoft / rStar
  ☆1,377Updated 3 months ago
• facebookresearch / cwm
  Research code artifacts for Code World Model (CWM) including inference tools, reproducibility, and documentation.
  ☆792Updated 2 weeks ago
• open-tinker / OpenTinker
  OpenTinker is an RL-as-a-Service infrastructure for foundation models
  ☆499Updated last week
• deepseek-ai / DeepSeek-Prover-V2
  ☆1,228Updated 5 months ago
• Chengsong-Huang / R-Zero
  codes for R-Zero: Self-Evolving Reasoning LLM from Zero Data (https://www.arxiv.org/pdf/2508.05004)
  ☆720Updated 3 weeks 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.
  ☆722Updated 7 months ago
• openai / circuit_sparsity
  Open-source release accompanying Gao et al. 2025
  ☆486Updated 3 weeks ago
• Tencent / WeDLM
  WeDLM: The fastest diffusion language model with standard causal attention and native KV cache compatibility, delivering real speedups ov…
  ☆480Updated last week
• InternLM / Intern-S1
  A Scientific Multimodal Foundation Model
  ☆625Updated 3 months ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆350Updated 6 months ago
• sjtu-sai-agents / ML-Master
  The official implementation of "ML-Master: Towards AI-for-AI via Integration of Exploration and Reasoning"
  ☆323Updated 2 weeks ago
• ByteDance-Seed / seed-oss
  ☆854Updated 3 months ago
• ByteDance-Seed / Seed-Prover
  ☆395Updated 2 weeks ago
• MoonshotAI / Moonlight
  Muon is Scalable for LLM Training
  ☆1,397Updated 5 months ago
• QwenLM / ParScale
  Parallel Scaling Law for Language Model — Beyond Parameter and Inference Time Scaling
  ☆467Updated 7 months ago
• ByteDance-Seed / Seed-Thinking-v1.5
  ☆816Updated 7 months ago
• hkust-nlp / CodeIO
  [ICML 2025 Oral] CodeI/O: Condensing Reasoning Patterns via Code Input-Output Prediction
  ☆566Updated 8 months ago
• facebookresearch / deepconf
  DeepConf: Deep Think with Confidence
  ☆344Updated 3 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.
  ☆849Updated 5 months ago
• google-deepmind / alphaevolve_results
  ☆253Updated 6 months ago
• DreamLM / Dream
  Dream 7B, a large diffusion language model
  ☆1,134Updated last month
• IQuestLab / IQuest-Coder-V1
  ☆1,135Updated last week
• inclusionAI / ASearcher
  An Open-Source Large-Scale Reinforcement Learning Project for Search Agents
  ☆529Updated last month
• MoonshotAI / checkpoint-engine
  Checkpoint-engine is a simple middleware to update model weights in LLM inference engines
  ☆885Updated this week
• sail-sg / understand-r1-zero
  Understanding R1-Zero-Like Training: A Critical Perspective
  ☆1,181Updated 4 months ago
• raymin0223 / mixture_of_recursions
  Mixture-of-Recursions: Learning Dynamic Recursive Depths for Adaptive Token-Level Computation (NeurIPS 2025)
  ☆529Updated 3 months ago
• NVlabs / ToolOrchestra
  ToolOrchestra is an end-to-end RL training framework for orchestrating tools and agentic workflows.
  ☆527Updated 2 weeks ago