imagination-research / aimo2Links
AIMO2 2nd place solution
☆68Updated 6 months ago
Alternatives and similar repositories for aimo2
Users that are interested in aimo2 are comparing it to the libraries listed below
Sorting:
- ☆327Updated 6 months ago
- L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning☆257Updated 6 months ago
- Async pipelined version of Verl☆125Updated 7 months ago
- Homepage for ProLong (Princeton long-context language models) and paper "How to Train Long-Context Language Models (Effectively)"☆240Updated 2 months ago
- ☆213Updated 9 months ago
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆119Updated 11 months ago
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆180Updated 4 months ago
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆271Updated last year
- Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".☆116Updated 4 months ago
- Code for "Critique Fine-Tuning: Learning to Critique is More Effective than Learning to Imitate" [COLM 2025]☆179Updated 5 months ago
- Repo of paper "Free Process Rewards without Process Labels"☆167Updated 8 months ago
- ☆76Updated last year
- [ACL 2025] We introduce ScaleQuest, a scalable, novel and cost-effective data synthesis method to unleash the reasoning capability of LLM…☆68Updated last year
- ☆77Updated 8 months ago
- ☆65Updated last year
- A unified suite for generating elite reasoning problems and training high-performance LLMs, including pioneering attention-free architect…☆129Updated last month
- [NeurIPS 2025] Simple extension on vLLM to help you speed up reasoning model without training.☆209Updated 6 months ago
- A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning☆279Updated 2 months ago
- A Comprehensive Survey on Long Context Language Modeling☆209Updated 2 weeks ago
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆174Updated 5 months ago
- Model merging is a highly efficient approach for long-to-short reasoning.☆92Updated last month
- Towards a Unified View of Large Language Model Post-Training☆191Updated 3 months ago
- ☆210Updated 6 months ago
- [ACL 2024] Long-Context Language Modeling with Parallel Encodings☆167Updated last year
- A lightweight reproduction of DeepSeek-R1-Zero with indepth analysis of self-reflection behavior.☆248Updated 7 months ago
- xVerify: Efficient Answer Verifier for Reasoning Model Evaluations☆140Updated 3 weeks ago
- ☆216Updated 8 months ago
- Repository of LV-Eval Benchmark☆72Updated last year
- ☆319Updated 6 months ago
- OpenRFT: Adapting Reasoning Foundation Model for Domain-specific Tasks with Reinforcement Fine-Tuning☆153Updated 11 months ago