imagination-research / aimo2Links
AIMO2 2nd place solution
☆64Updated 3 months ago
Alternatives and similar repositories for aimo2
Users that are interested in aimo2 are comparing it to the libraries listed below
Sorting:
- L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning☆248Updated 3 months ago
- ☆313Updated 3 months ago
- Async pipelined version of Verl☆117Updated 4 months ago
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆251Updated last year
- Homepage for ProLong (Princeton long-context language models) and paper "How to Train Long-Context Language Models (Effectively)"☆221Updated 5 months ago
- A version of verl to support tool use☆341Updated last week
- Implementation for FP8/INT8 Rollout for RL training without performence drop.☆155Updated last week
- ☆207Updated 6 months ago
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆113Updated 8 months ago
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆167Updated last month
- Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".☆101Updated 3 weeks ago
- Repository of LV-Eval Benchmark☆70Updated last year
- ☆274Updated 3 months ago
- OpenRFT: Adapting Reasoning Foundation Model for Domain-specific Tasks with Reinforcement Fine-Tuning☆148Updated 8 months ago
- ☆74Updated 9 months ago
- xVerify: Efficient Answer Verifier for Reasoning Model Evaluations☆128Updated 4 months ago
- Reproducing R1 for Code with Reliable Rewards☆251Updated 3 months ago
- Repo of paper "Free Process Rewards without Process Labels"☆162Updated 5 months ago
- Heuristic filtering framework for RefineCode☆69Updated 5 months ago
- ☆65Updated 9 months ago
- A Comprehensive Survey on Long Context Language Modeling☆180Updated last month
- Official repository for ACL 2025 paper "ProcessBench: Identifying Process Errors in Mathematical Reasoning"☆170Updated 3 months ago
- ☆204Updated 5 months ago
- A project to improve skills of large language models☆538Updated this week
- ☆203Updated 3 months ago
- A lightweight reproduction of DeepSeek-R1-Zero with indepth analysis of self-reflection behavior.☆245Updated 4 months ago
- The HELMET Benchmark☆169Updated 2 weeks ago
- On Memorization of Large Language Models in Logical Reasoning☆71Updated 5 months ago
- Deepseek R1 zero tiny version own reproduce on two A100s.☆71Updated 7 months ago
- [EMNLP 2025] LightThinker: Thinking Step-by-Step Compression☆83Updated 4 months ago