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,475Updated 2 months ago
• MoonshotAI / Kimi-Linear
  ☆1,283Updated 2 months ago
• deepseek-ai / DeepSeek-Prover-V2
  ☆1,233Updated 6 months ago
• lyang36 / IMO25
  An AI agent system for solving International Mathematical Olympiad (IMO) problems using Google's Gemini, OpenAI, and XAI APIs.
  ☆907Updated 4 months ago
• open-tinker / OpenTinker
  OpenTinker is an RL-as-a-Service infrastructure for foundation models
  ☆625Updated last week
• microsoft / rStar
  ☆1,388Updated 4 months ago
• deepseek-ai / Engram
  Conditional Memory via Scalable Lookup: A New Axis of Sparsity for Large Language Models
  ☆3,545Updated 3 weeks ago
• facebookresearch / cwm
  Research code artifacts for Code World Model (CWM) including inference tools, reproducibility, and documentation.
  ☆833Updated last month
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆353Updated 7 months ago
• InternLM / Intern-S1
  A Scientific Multimodal Foundation Model
  ☆706Updated this week
• facebookresearch / deepconf
  DeepConf: Deep Think with Confidence
  ☆367Updated 4 months ago
• NVlabs / ToolOrchestra
  ToolOrchestra is an end-to-end RL training framework for orchestrating tools and agentic workflows.
  ☆642Updated 2 weeks ago
• Tencent / WeDLM
  WeDLM: The fastest diffusion language model with standard causal attention and native KV cache compatibility, delivering real speedups ov…
  ☆604Updated 3 weeks ago
• ByteDance-Seed / Seed-Prover
  ☆408Updated last month
• Chengsong-Huang / R-Zero
  codes for R-Zero: Self-Evolving Reasoning LLM from Zero Data (https://www.arxiv.org/pdf/2508.05004)
  ☆755Updated this week
• ByteDance-Seed / seed-oss
  ☆867Updated 4 months ago
• MoonshotAI / Kimi-K2.5
  Moonshot's most powerful model
  ☆795Updated last week
• openai / circuit_sparsity
  Open-source release accompanying Gao et al. 2025
  ☆501Updated last month
• inclusionAI / ASearcher
  An Open-Source Large-Scale Reinforcement Learning Project for Search Agents
  ☆552Updated 2 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…
  ☆577Updated 4 months ago
• QwenLM / ParScale
  Parallel Scaling Law for Language Model — Beyond Parameter and Inference Time Scaling
  ☆468Updated 8 months ago
• aakaran / reasoning-with-sampling
  ☆388Updated 3 months ago
• shaochenze / calm
  Official implementation of "Continuous Autoregressive Language Models"
  ☆726Updated 2 months ago
• ZHZisZZ / dllm
  dLLM: Simple Diffusion Language Modeling
  ☆1,716Updated this week
• MoonshotAI / checkpoint-engine
  Checkpoint-engine is a simple middleware to update model weights in LLM inference engines
  ☆902Updated last week
• test-time-training / e2e
  Official JAX implementation of End-to-End Test-Time Training for Long Context
  ☆511Updated last week
• MoonshotAI / Moonlight
  Muon is Scalable for LLM Training
  ☆1,426Updated 6 months ago
• thinking-machines-lab / tinker-cookbook
  Post-training with Tinker
  ☆2,805Updated this week
• SakanaAI / RLT
  Training teachers with reinforcement learning able to make LLMs learn how to reason for test time scaling.
  ☆358Updated 7 months ago
• IQuestLab / IQuest-Coder-V1
  ☆1,306Updated 2 weeks ago