Alternatives and similar repositories for DeepMath

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

• sunblaze-ucb / omega
  ☆45Updated 7 months ago
• shangshang-wang / Resa
  Resa: Transparent Reasoning Models via SAEs
  ☆47Updated 4 months ago
• shenao-zhang / BARL
  Bayes-Adaptive RL for LLM Reasoning
  ☆45Updated 8 months ago
• Lagooon / LeanSTaR
  ☆42Updated last year
• NJUDeepEngine / CAEF
  Code for paper: "Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines"
  ☆11Updated last year
• Sphere-AI-Lab / FormalMATH-Bench
  ☆76Updated last month
• tinnerhrhe / ROVER
  An official implementation of Random Policy Valuation is Enough for LLM Reasoning with Verifiable Rewards
  ☆36Updated 4 months ago
• SLIT-AI / WRPO
  [ICLR 2025] Weighted-Reward Preference Optimization for Implicit Model Fusion
  ☆13Updated 10 months ago
• penghao-wu / GUI_Reflection
  ☆30Updated 4 months ago
• THU-KEG / PairJudgeRM
  ☆14Updated 9 months ago
• TIGER-AI-Lab / One-Shot-CFT
  The official repo for “Unleashing the Reasoning Potential of Pre-trained LLMs by Critique Fine-Tuning on One Problem” [EMNLP25]
  ☆33Updated 5 months ago
• yuleiqin / RAIF
  A Recipe for Building LLM Reasoners to Solve Complex Instructions
  ☆29Updated 3 months ago
• SWE-EVO / SWE-EVO
  ☆32Updated last week
• charlesjin / emergent-semantics
  ☆42Updated last year
• ZihaoHuang-notabot / Ultra-Sparse-Memory-Network
  ☆42Updated 4 months ago
• stepfun-ai / StepFun-Prover-Preview
  Large language models designed for formal theorem proving through tool-integrated reasoning.
  ☆31Updated 5 months ago
• model-architectures / GRAPE
  [ICLR 2026] GRAPE: Group Representational Position Encoding (https://arxiv.org/abs/2512.07805)
  ☆76Updated last week
• ZihanWang314 / coeCheck
  ☆19Updated 11 months ago
• multimodal-art-projection / CriticLean
  ☆47Updated 6 months ago
• complex-reasoning / RPG
  [ICLR 2026] RPG: KL-Regularized Policy Gradient (https://arxiv.org/abs/2505.17508)
  ☆65Updated last week
• VITA-Group / o1-planning
  [NeurIPS'24 LanGame workshop] On The Planning Abilities of OpenAI's o1 Models: Feasibility, Optimality, and Generalizability
  ☆42Updated 7 months ago
• callsys / GMPO
  [ICLR 2026] Geometric-Mean Policy Optimization
  ☆99Updated last week
• opendatalab / REST
  ☆33Updated 6 months ago
• OpenMOSS / Lorsa
  ☆29Updated 2 months ago
• Aloriosa / srmt
  The original Shared Recurrent Memory Transformer implementation
  ☆33Updated 6 months ago
• chanchimin / AgentMonitor
  Codes for our paper "AgentMonitor: A Plug-and-Play Framework for Predictive and Secure Multi-Agent Systems"
  ☆13Updated last year
• sunblaze-ucb / AgentSynth
  AgentSynth: Scalable Task Generation for Generalist Computer-Use Agents
  ☆37Updated 4 months ago
• zxiangx / LC-R1
  Code for paper: Optimizing Length Compression in Large Reasoning Models
  ☆27Updated 3 months ago
• keshik6 / grafting
  [NeurIPS 2025 Oral] Official Code for Exploring Diffusion Transformer Designs via Grafting
  ☆70Updated 3 weeks ago
• Shalev-Lifshitz / MultiAgentVerification
  Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers
  ☆26Updated 11 months ago