Jiahao004 / DeepTheoremLinks
☆21Updated last month
Alternatives and similar repositories for DeepTheorem
Users that are interested in DeepTheorem are comparing it to the libraries listed below
Sorting:
- Conic10K: A large-scale dataset for closed-vocabulary math problem understanding. Accepted to EMNLP2023 Findings.☆26Updated last year
- Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"☆48Updated last year
- ☆83Updated 2 months ago
- The official implementation for Gated Attention for Large Language Models: Non-linearity, Sparsity, and Attention-Sink-Free☆44Updated 2 months ago
- ☆25Updated 10 months ago
- Codebase for Instruction Following without Instruction Tuning☆35Updated 9 months ago
- ☆18Updated last year
- [NAACL 2025] A Closer Look into Mixture-of-Experts in Large Language Models☆52Updated 5 months ago
- Exploration of automated dataset selection approaches at large scales.☆47Updated 4 months ago
- B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners☆82Updated last month
- [ICLR'24 spotlight] Tool-Augmented Reward Modeling☆50Updated last month
- End-to-End Reinforcement Learning for Multi-Turn Tool-Integrated Reasoning☆113Updated this week
- [ICLR'25] Data and code for our paper "Why Does the Effective Context Length of LLMs Fall Short?"☆77Updated 7 months ago
- Source code of "Reasons to Reject? Aligning Language Models with Judgments"☆58Updated last year
- [ACL 2025] Are Your LLMs Capable of Stable Reasoning?☆26Updated 3 months ago
- The code and data for the paper JiuZhang3.0☆47Updated last year
- Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"☆27Updated last year
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆137Updated last week
- Long Context Extension and Generalization in LLMs☆57Updated 9 months ago
- The official repository of "Improving Large Language Models via Fine-grained Reinforcement Learning with Minimum Editing Constraint"☆38Updated last year
- Self-Supervised Alignment with Mutual Information☆20Updated last year
- ☆18Updated 6 months ago
- Official repository for MATES: Model-Aware Data Selection for Efficient Pretraining with Data Influence Models [NeurIPS 2024]☆71Updated 8 months ago
- ☆19Updated 4 months ago
- Official implementation of AAAI 2025 paper "Augmenting Math Word Problems via Iterative Question Composing"(https://arxiv.org/abs/2401.09…☆20Updated 7 months ago
- Official implementation of Bootstrapping Language Models via DPO Implicit Rewards☆44Updated 3 months ago
- ☆87Updated last year
- Offcial Repo of Paper "Eliminating Position Bias of Language Models: A Mechanistic Approach""☆14Updated last month
- Official implementation of ACL 2025 Findings paper "Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Text…☆83Updated 2 months ago
- RL Scaling and Test-Time Scaling (ICML'25)☆108Updated 5 months ago