Alternatives and similar repositories for DeepTheorem

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

• qiuzh20 / gated_attention
  The official implementation for Gated Attention for Large Language Models: Non-linearity, Sparsity, and Attention-Sink-Free
  ☆44Updated last month
• GAIR-NLP / OctoThinker
  Revisiting Mid-training in the Era of RL Scaling
  ☆56Updated 2 months ago
• john-hewitt / implicit-ins
  Codebase for Instruction Following without Instruction Tuning
  ☆34Updated 8 months ago
• zhaoxlpku / SubgoalXL
  ☆25Updated 10 months ago
• gl-ybnbxb / BoNBoN
  ☆18Updated last year
• Leooyii / LCEG
  Long Context Extension and Generalization in LLMs
  ☆57Updated 9 months ago
• wzq016 / PINE
  Offcial Repo of Paper "Eliminating Position Bias of Language Models: A Mechanistic Approach""
  ☆14Updated last week
• open-compass / GPassK
  [ACL 2025] Are Your LLMs Capable of Stable Reasoning?
  ☆25Updated 3 months ago
• uservan / ThinkPO
  ☆19Updated 4 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 6 months ago
• hamishivi / automated-instruction-selection
  Exploration of automated dataset selection approaches at large scales.
  ☆45Updated 3 months ago
• SynthLabsAI / big-math
  A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models
  ☆57Updated 3 months ago
• qtli / GSM-Plus
  GSM-Plus: Data, Code, and Evaluation for Enhancing Robust Mathematical Reasoning in Math Word Problems.
  ☆62Updated 11 months ago
• test-time-interaction / TTI
  ☆36Updated 2 weeks ago
• DAMO-NLP-SG / LongPO
  [ICLR 2025] LongPO: Long Context Self-Evolution of Large Language Models through Short-to-Long Preference Optimization
  ☆37Updated 3 months ago
• janphilippfranken / sami
  Self-Supervised Alignment with Mutual Information
  ☆19Updated last year
• hkust-nlp / PreSelect
  [ICML 2025] Predictive Data Selection: The Data That Predicts Is the Data That Teaches
  ☆49Updated 3 months ago
• ChengpengLi1003 / DotaMath
  ☆30Updated 5 months ago
• MLE-Dojo / MLE-Dojo
  ☆53Updated this week
• StigLidu / TURN
  [ICML2025] Official Repo for Paper "Optimizing Temperature for Language Models with Multi-Sample Inference"
  ☆20Updated 4 months ago
• sail-sg / SkyLadder
  The official repository for SkyLadder: Better and Faster Pretraining via Context Window Scheduling
  ☆32Updated 3 months ago
• kamanphoebe / Look-into-MoEs
  [NAACL 2025] A Closer Look into Mixture-of-Experts in Large Language Models
  ☆52Updated 4 months ago
• GSYfate / knnlm-limits
  Official code repo for paper "Great Memory, Shallow Reasoning: Limits of kNN-LMs"
  ☆23Updated last month
• chtmp223 / suri
  Suri: Multi-constraint instruction following for long-form text generation (EMNLP’24)
  ☆23Updated 7 months ago
• mathllm / Step-Controlled_DPO
  ☆22Updated 11 months ago
• casmlab / NPHardEval
  Repository for NPHardEval, a quantified-dynamic benchmark of LLMs
  ☆54Updated last year
• mandyyyyii / east
  ☆18Updated 2 months ago
• dangxingyu / rnn-icrag
  Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"
  ☆27Updated last year
• RLHFlow / Directional-Preference-Alignment
  Directional Preference Alignment
  ☆57Updated 9 months ago
• allenai / easy-to-hard-generalization
  Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"
  ☆48Updated last year