Alternatives and similar repositories for DeepMath

Users that are interested in DeepMath are comparing it to the libraries listed below

• GAIR-NLP / LIMR
  ☆213Updated 9 months ago
• eddycmu / demystify-long-cot
  ☆328Updated 6 months ago
• TIGER-AI-Lab / General-Reasoner
  General Reasoner: Advancing LLM Reasoning Across All Domains [NeurIPS25]
  ☆209Updated 2 weeks ago
• cmu-l3 / l1
  L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning
  ☆257Updated 7 months ago
• MiniMax-AI / SynLogic
  [NeurIPS 2025] The official repo of SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
  ☆187Updated 5 months ago
• GAIR-NLP / OctoThinker
  Revisiting Mid-training in the Era of Reinforcement Learning Scaling
  ☆181Updated 4 months ago
• TIGER-AI-Lab / CritiqueFineTuning
  Code for "Critique Fine-Tuning: Learning to Critique is More Effective than Learning to Imitate" [COLM 2025]
  ☆179Updated 5 months ago
• ypwang61 / One-Shot-RLVR
  [NeurIPS 2025] Reinforcement Learning for Reasoning in Large Language Models with One Training Example
  ☆385Updated 3 weeks ago
• LCLM-Horizon / A-Comprehensive-Survey-For-Long-Context-Language-Modeling
  A Comprehensive Survey on Long Context Language Modeling
  ☆213Updated 2 weeks ago
• facebookresearch / sweet_rl
  Benchmark and research code for the paper SWEET-RL Training Multi-Turn LLM Agents onCollaborative Reasoning Tasks
  ☆254Updated 7 months ago
• sail-sg / oat-zero
  A lightweight reproduction of DeepSeek-R1-Zero with indepth analysis of self-reflection behavior.
  ☆248Updated 7 months ago
• ltzheng / SimpleTIR
  End-to-End Reinforcement Learning for Multi-Turn Tool-Integrated Reasoning
  ☆332Updated 2 months ago
• ruixin31 / Spurious_Rewards
  ☆344Updated 4 months ago
• TsinghuaC3I / Unify-Post-Training
  Towards a Unified View of Large Language Model Post-Training
  ☆192Updated 3 months ago
• SuperGPQA / SuperGPQA
  ☆173Updated 7 months ago
• knoveleng / open-rs
  Official repo for paper: "Reinforcement Learning for Reasoning in Small LLMs: What Works and What Doesn't"
  ☆268Updated last month
• multimodal-art-projection / LatentCoT-Horizon
  📖 This is a repository for organizing papers, codes, and other resources related to Latent Reasoning.
  ☆302Updated last month
• IAAR-Shanghai / xVerify
  xVerify: Efficient Answer Verifier for Reasoning Model Evaluations
  ☆140Updated last month
• sunblaze-ucb / Intuitor
  Code for the paper: "Learning to Reason without External Rewards"
  ☆382Updated 5 months ago
• GAIR-NLP / ToRL
  ☆319Updated 6 months ago
• multimodal-art-projection / REER_DeepWriter
  REverse-Engineered Reasoning for Open-Ended Generation
  ☆84Updated 3 months ago
• CMU-AIRe / MRT
  Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".
  ☆116Updated 4 months ago
• PRIME-RL / ImplicitPRM
  Repo of paper "Free Process Rewards without Process Labels"
  ☆168Updated 9 months ago
• LLM360 / MegaMath
  [COLM 2025] An Open Math Pre-trainng Dataset with 370B Tokens.
  ☆108Updated 8 months ago
• kanishkg / cognitive-behaviors
  ☆217Updated 8 months ago
• DevoAllen / Awesome-Reasoning-Economy-Papers
  Harnessing the Reasoning Economy: A Survey of Efficient Reasoning for Large Language Models
  ☆120Updated last month
• ElliottYan / LUFFY
  Official Repository of "Learning to Reason under Off-Policy Guidance"
  ☆383Updated 2 months ago
• THUDM / T1
  RL Scaling and Test-Time Scaling (ICML'25)
  ☆112Updated 10 months ago
• LeapLabTHU / limit-of-RLVR
  repo for paper https://arxiv.org/abs/2504.13837
  ☆278Updated 5 months ago
• OpenBMB / RLPR
  Extrapolating RLVR to General Domains without Verifiers
  ☆181Updated 4 months ago