Alternatives and similar repositories for DeepTheorem

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

• john-hewitt / implicit-ins
  Codebase for Instruction Following without Instruction Tuning
  ☆36Updated last year
• zhaoxlpku / SubgoalXL
  ☆25Updated last year
• HKUNLP / critic-rl
  [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning
  ☆120Updated 9 months ago
• gl-ybnbxb / BoNBoN
  ☆18Updated last year
• sail-sg / dice
  Official implementation of Bootstrapping Language Models via DPO Implicit Rewards
  ☆47Updated 9 months ago
• princeton-pli / MeCo
  Code for ICML 25 paper "Metadata Conditioning Accelerates Language Model Pre-training (MeCo)"
  ☆49Updated 7 months ago
• OSU-NLP-Group / reversal-curse-binding
  ☆24Updated 10 months ago
• casmlab / NPHardEval
  Repository for NPHardEval, a quantified-dynamic benchmark of LLMs
  ☆63Updated last year
• gregorbachmann / Next-Token-Failures
  ☆108Updated last year
• hkust-nlp / B-STaR
  B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners
  ☆85Updated 8 months ago
• wzq016 / PINE
  Offcial Repo of Paper "Eliminating Position Bias of Language Models: A Mechanistic Approach""
  ☆19Updated 7 months ago
• mathllm / Step-Controlled_DPO
  ☆23Updated last year
• hughbzhang / o1_inference_scaling_laws
  Replicating O1 inference-time scaling laws
  ☆92Updated last year
• satrams / rent-rl
  RENT (Reinforcement Learning via Entropy Minimization) is an unsupervised method for training reasoning LLMs.
  ☆41Updated 3 months ago
• test-time-interaction / TTI
  ☆72Updated 8 months ago
• lqtrung1998 / mwp_cot_design
  ☆14Updated 2 years ago
• liziniu / cold_start_rl
  Code for Blog Post: Can Better Cold-Start Strategies Improve RL Training for LLMs?
  ☆19Updated 11 months ago
• THUDM / T1
  RL Scaling and Test-Time Scaling (ICML'25)
  ☆113Updated last year
• open-compass / GPassK
  [ACL 2025] Are Your LLMs Capable of Stable Reasoning?
  ☆32Updated 6 months ago
• Lagooon / LeanSTaR
  ☆42Updated last year
• xufangzhi / phi-Decoding
  [ACL 2025] An inference-time decoding strategy with adaptive foresight sampling
  ☆108Updated 8 months ago
• StigLidu / TURN
  [ICML2025] Official Repo for Paper "Optimizing Temperature for Language Models with Multi-Sample Inference"
  ☆21Updated 11 months ago
• efficientscaling / Z1
  [EMNLP'25 Industry] Repo for "Z1: Efficient Test-time Scaling with Code"
  ☆68Updated 9 months ago
• hamishivi / automated-instruction-selection
  Exploration of automated dataset selection approaches at large scales.
  ☆52Updated 11 months ago
• RLHFlow / Directional-Preference-Alignment
  Directional Preference Alignment
  ☆58Updated last year
• wwxu21 / CUT
  Source code of "Reasons to Reject? Aligning Language Models with Judgments"
  ☆58Updated last year
• LAMDASZ-ML / Self-Backtracking
  ☆52Updated 11 months ago
• ChengpengLi1003 / DotaMath
  ☆30Updated last year
• TIGER-AI-Lab / CritiqueFineTuning
  Code for "Critique Fine-Tuning: Learning to Critique is More Effective than Learning to Imitate" [COLM 2025]
  ☆180Updated 7 months ago
• huiwy / reflection-on-trees
  ☆14Updated last year