Alternatives and similar repositories for DeepMath

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

• McGill-NLP / agent-reward-bench
  AgentRewardBench: Evaluating Automatic Evaluations of Web Agent Trajectories
  ☆15Updated 3 weeks ago
• OpenMOSS / Lorsa
  ☆19Updated this week
• Shalev-Lifshitz / MultiAgentVerification
  Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers
  ☆18Updated 3 months ago
• Lagooon / LeanSTaR
  ☆43Updated 8 months ago
• katiekang1998 / reasoning_generalization
  ☆32Updated 5 months ago
• NJUDeepEngine / CAEF
  Code for paper: "Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines"
  ☆11Updated 7 months ago
• kiddyboots216 / lottery-ticket-adaptation
  Lottery Ticket Adaptation
  ☆39Updated 6 months ago
• shenao-zhang / BARL
  Bayes-Adaptive RL for LLM Reasoning
  ☆23Updated last week
• complex-reasoning / RPG
  The official implementation of Regularized Policy Gradient (RPG) (https://arxiv.org/abs/2505.17508)
  ☆27Updated last week
• dangxingyu / rnn-icrag
  Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"
  ☆27Updated last year
• cmu-l3 / neurips2024-inference-tutorial-code
  NeurIPS 2024 tutorial on LLM Inference
  ☆45Updated 5 months ago
• sail-sg / VeriFree
  Reinforcing General Reasoning without Verifiers
  ☆51Updated last week
• LAMDASZ-ML / Self-Backtracking
  ☆45Updated 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…
  ☆41Updated 4 months ago
• google / curie
  Code release for "CURIE: Evaluating LLMs On Multitask Scientific Long Context Understanding and Reasoning", ICLR 2025
  ☆23Updated last month
• ZihanWang314 / coeCheck
  ☆16Updated 3 months ago
• Blackzxy / LoGAH
  ☆21Updated 8 months ago
• Aloriosa / srmt
  The original Shared Recurrent Memory Transformer implementation
  ☆27Updated this week
• mandyyyyii / east
  ☆18Updated last month
• ablghtianyi / ICL_Modular_Arithmetic
  ☆19Updated 2 months ago
• thunlp / APB
  Official Implementation of APB (ACL 2025 main)
  ☆28Updated 3 months ago
• mathllm / Step-Controlled_DPO
  ☆22Updated 11 months ago
• pixeli99 / MixLN
  [ICLR 2025] Official Pytorch Implementation of "Mix-LN: Unleashing the Power of Deeper Layers by Combining Pre-LN and Post-LN" by Pengxia…
  ☆21Updated 5 months ago
• Sphere-AI-Lab / FormalMATH-Bench
  ☆51Updated this week
• matchten / LoRA-Models-for-SAEs
  Code for reproducing our paper "Low Rank Adapting Models for Sparse Autoencoder Features"
  ☆10Updated 2 months ago
• SLIT-AI / WRPO
  [ICLR 2025] Weighted-Reward Preference Optimization for Implicit Model Fusion
  ☆13Updated 2 months ago
• Gabesarch / ICAL
  ☆40Updated 3 weeks ago
• HarleyCoops / smolThinker-.5B
  A Qwen .5B reasoning model trained on OpenR1-Math-220k
  ☆14Updated 3 months ago
• ChenWu98 / algorithmic-creativity
  [ICML 2025] Roll the dice & look before you leap: Going beyond the creative limits of next-token prediction
  ☆23Updated last week
• Scientific-Computing-Lab / MPI-rigen
  MPI Code Generation through Domain-Specific Language Models
  ☆14Updated 6 months ago