Alternatives and similar repositories for DeepMath

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

• shenao-zhang / BARL
  Bayes-Adaptive RL for LLM Reasoning
  ☆40Updated 5 months ago
• shangshang-wang / Resa
  Resa: Transparent Reasoning Models via SAEs
  ☆44Updated last month
• Lagooon / LeanSTaR
  ☆42Updated last year
• sunblaze-ucb / omega
  ☆41Updated 4 months ago
• SLIT-AI / WRPO
  [ICLR 2025] Weighted-Reward Preference Optimization for Implicit Model Fusion
  ☆13Updated 7 months ago
• Sphere-AI-Lab / FormalMATH-Bench
  ☆72Updated 3 months ago
• sunblaze-ucb / AgentSynth
  AgentSynth: Scalable Task Generation for Generalist Computer-Use Agents
  ☆33Updated last month
• callsys / GMPO
  Geometric-Mean Policy Optimization
  ☆89Updated 3 weeks ago
• kiddyboots216 / lottery-ticket-adaptation
  Lottery Ticket Adaptation
  ☆40Updated 11 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 2 months ago
• facebookresearch / dualformer
  implementation of dualformer
  ☆24Updated 8 months ago
• ALT-JS / OthelloSAE
  CS194-196 Course Project
  ☆15Updated 8 months ago
• yuleiqin / RAIF
  A Recipe for Building LLM Reasoners to Solve Complex Instructions
  ☆27Updated last month
• inclusionAI / MoBE
  Mixture-of-Basis-Experts for Compressing MoE-based LLMs
  ☆21Updated last month
• complex-reasoning / RPG
  Official implementation of Regularized Policy Gradient (RPG) (https://arxiv.org/abs/2505.17508)
  ☆53Updated 3 weeks ago
• penghao-wu / GUI_Reflection
  ☆25Updated last month
• opendatalab / REST
  ☆32Updated 3 months ago
• bigai-nlco / RuleReasoner
  Official Repo for RuleReasoner.
  ☆28Updated 4 months ago
• We-Math / We-Math2.0
  The code and data of We-Math 2.0.
  ☆160Updated 2 months ago
• XinrunXu / DeepPHY
  DeepPHY: Benchmarking Agentic VLMs on Physical Reasoning
  ☆157Updated 2 months ago
• ByteDance-BandAI / LLM-I
  🚀 LLM-I: Transform LLMs into natural interleaved multimodal creators! ✨ Tool-use framework supporting image search, generation, code ex…
  ☆33Updated 2 weeks ago
• VITA-Group / o1-planning
  On The Planning Abilities of OpenAI's o1 Models: Feasibility, Optimality, and Generalizability
  ☆41Updated 4 months ago
• Aloriosa / srmt
  The original Shared Recurrent Memory Transformer implementation
  ☆32Updated 3 months ago
• Jellyfish042 / RWKV_Othello
  A specialized RWKV-7 model for Othello(a.k.a. Reversi) that predicts legal moves, evaluates positions, and performs in-context search. It…
  ☆42Updated 9 months ago
• keshik6 / grafting
  [NeurIPS 2025 Oral] Exploring Diffusion Transformer Designs via Grafting
  ☆61Updated 4 months ago
• charlesjin / emergent-semantics
  ☆41Updated last year
• gjq100 / Graph-Counselor
  ☆23Updated 5 months ago
• multimodal-art-projection / CriticLean
  ☆44Updated 3 months ago
• fabienfrfr / tptt
  😊 TPTT: Transforming Pretrained Transformers into Titans
  ☆29Updated 3 weeks ago
• du-nlp-lab / MLR-Copilot
  ☆67Updated 7 months ago