Alternatives and similar repositories for DeepTheorem

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

• sail-sg / dice
  Official implementation of Bootstrapping Language Models via DPO Implicit Rewards
  ☆44Updated 5 months ago
• john-hewitt / implicit-ins
  Codebase for Instruction Following without Instruction Tuning
  ☆35Updated 11 months ago
• wzq016 / PINE
  Offcial Repo of Paper "Eliminating Position Bias of Language Models: A Mechanistic Approach""
  ☆16Updated 3 months ago
• uservan / ThinkPO
  ☆18Updated last month
• gl-ybnbxb / BoNBoN
  ☆18Updated last year
• zhaoxlpku / SubgoalXL
  ☆25Updated last year
• googleinterns / localizing-paragraph-memorization
  ☆14Updated last year
• Lagooon / LeanSTaR
  ☆42Updated last year
• kamanphoebe / Look-into-MoEs
  [NAACL 2025] A Closer Look into Mixture-of-Experts in Large Language Models
  ☆55Updated 7 months ago
• casmlab / NPHardEval
  Repository for NPHardEval, a quantified-dynamic benchmark of LLMs
  ☆59Updated last year
• princeton-pli / MeCo
  Code for ICML 25 paper "Metadata Conditioning Accelerates Language Model Pre-training (MeCo)"
  ☆42Updated 2 months ago
• hamishivi / automated-instruction-selection
  Exploration of automated dataset selection approaches at large scales.
  ☆47Updated 6 months ago
• mathllm / Step-Controlled_DPO
  ☆22Updated last year
• allenai / easy-to-hard-generalization
  Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"
  ☆48Updated last year
• LAMDASZ-ML / Self-Backtracking
  ☆47Updated 7 months ago
• iiis-ai / IterativeQuestionComposing
  Official implementation of AAAI 2025 paper "Augmenting Math Word Problems via Iterative Question Composing"(https://arxiv.org/abs/2401.09…
  ☆20Updated 9 months ago
• open-compass / GPassK
  [ACL 2025] Are Your LLMs Capable of Stable Reasoning?
  ☆30Updated last month
• ChengpengLi1003 / DotaMath
  ☆30Updated 8 months ago
• Gen-Verse / CURE
  [NeurIPS 2025 Spotlight] ReasonFlux-Coder: Open-Source LLM Coders with Co-Evolving Reinforcement Learning
  ☆117Updated this week
• xufangzhi / phi-Decoding
  [ACL 2025] An inference-time decoding strategy with adaptive foresight sampling
  ☆104Updated 4 months ago
• RUCAIBox / BAMBOO
  ☆35Updated last year
• hkust-nlp / PreSelect
  [ICML 2025] Predictive Data Selection: The Data That Predicts Is the Data That Teaches
  ☆54Updated 6 months ago
• Leooyii / LCEG
  Long Context Extension and Generalization in LLMs
  ☆60Updated last year
• DualityRL / multi-attempt
  ☆19Updated 6 months ago
• WHGTyen / BIG-Bench-Mistake
  A dataset of LLM-generated chain-of-thought steps annotated with mistake location.
  ☆81Updated last year
• wwxu21 / CUT
  Source code of "Reasons to Reject? Aligning Language Models with Judgments"
  ☆58Updated last year
• WENGSYX / Self-Verification
  We have released the code and demo program required for LLM with self-verification
  ☆63Updated last year
• whyNLP / Conic10K
  Conic10K: A large-scale dataset for closed-vocabulary math problem understanding. Accepted to EMNLP2023 Findings.
  ☆29Updated last year
• GAIR-NLP / MetaCritique
  Evaluate the Quality of Critique
  ☆36Updated last year
• liziniu / GEM
  Code for Paper (Preserving Diversity in Supervised Fine-tuning of Large Language Models)
  ☆40Updated 4 months ago