AIMO-CMU-MATH / CMU_MATH-AIMOLinks
☆76Updated last year
Alternatives and similar repositories for CMU_MATH-AIMO
Users that are interested in CMU_MATH-AIMO are comparing it to the libraries listed below
Sorting:
- ☆151Updated 10 months ago
- Mix of Minimal Optimal Sets (MMOS) of dataset has two advantages for two aspects, higher performance and lower construction costs on math…☆73Updated last year
- "Improving Mathematical Reasoning with Process Supervision" by OPENAI☆112Updated this week
- ☆163Updated last year
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆171Updated 3 months ago
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆114Updated 9 months ago
- ☆53Updated 7 months ago
- The code for creating the iGSM datasets in papers "Physics of Language Models Part 2.1, Grade-School Math and the Hidden Reasoning Proces…☆77Updated 8 months ago
- RL Scaling and Test-Time Scaling (ICML'25)☆111Updated 8 months ago
- AIMO2 2nd place solution☆66Updated 4 months ago
- ☆84Updated 8 months ago
- Simple and efficient pytorch-native transformer training and inference (batched)☆79Updated last year
- Official repository for ACL 2025 paper "ProcessBench: Identifying Process Errors in Mathematical Reasoning"☆171Updated 4 months ago
- Code and Configs for Asynchronous RLHF: Faster and More Efficient RL for Language Models☆63Updated 5 months ago
- A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models☆65Updated 7 months ago
- Code for "Critique Fine-Tuning: Learning to Critique is More Effective than Learning to Imitate" [COLM 2025]☆172Updated 2 months ago
- Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]☆141Updated last year
- Implementation of the Quiet-STAR paper (https://arxiv.org/pdf/2403.09629.pdf)☆54Updated last year
- NeurIPS 2024 tutorial on LLM Inference☆47Updated 9 months ago
- Replicating O1 inference-time scaling laws☆90Updated 10 months ago
- [ACL 2025 Findings] Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Texts (As Huggingface Daily Papers: …☆86Updated last month
- Organize the Web: Constructing Domains Enhances Pre-Training Data Curation☆64Updated 5 months ago
- ☆73Updated 6 months ago
- Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".☆107Updated 2 months ago
- Physics of Language Models, Part 4☆247Updated 2 months ago
- Large language models (LLMs) made easy, EasyLM is a one stop solution for pre-training, finetuning, evaluating and serving LLMs in JAX/Fl…☆75Updated last year
- ☆192Updated 5 months ago
- ☆52Updated 4 months ago
- A simplified implementation for experimenting with RLVR on GSM8K, This repository provides a starting point for exploring reasoning.☆129Updated 8 months ago
- MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems☆89Updated last year