project-numina / aimo-progress-prizeLinks
☆464Updated last year
Alternatives and similar repositories for aimo-progress-prize
Users that are interested in aimo-progress-prize are comparing it to the libraries listed below
Sorting:
- ☆621Updated last month
- Technical report of Kimina-Prover Preview.☆323Updated last month
- A project to improve skills of large language models☆529Updated this week
- ☆893Updated last month
- ☆200Updated 4 months ago
- ☆1,033Updated 8 months ago
- 🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.☆438Updated this week
- Reproducible, flexible LLM evaluations☆238Updated last month
- Evaluation of LLMs on latest math competitions☆160Updated 2 weeks ago
- ☆339Updated 2 months ago
- GPQA: A Graduate-Level Google-Proof Q&A Benchmark☆405Updated 10 months ago
- Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"☆327Updated 9 months ago
- Automatic evals for LLMs☆519Updated 2 months ago
- Retrieval-Augmented Theorem Provers for Lean☆291Updated 6 months ago
- ☆535Updated last year
- [NeurlPS D&B 2024] Generative AI for Math: MathPile☆416Updated 4 months ago
- (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training☆279Updated last year
- procedural reasoning datasets☆1,060Updated last week
- [COLM 2025] LIMO: Less is More for Reasoning☆1,006Updated 3 weeks ago
- Official repo for paper: "Reinforcement Learning for Reasoning in Small LLMs: What Works and What Doesn't"☆254Updated 3 months ago
- Large Reasoning Models☆804Updated 8 months ago
- ☆955Updated 7 months ago
- ☆162Updated last year
- RewardBench: the first evaluation tool for reward models.☆628Updated 2 months ago
- A simple unified framework for evaluating LLMs☆240Updated 4 months ago
- Official codebase for "SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution"☆591Updated 5 months ago
- PyTorch building blocks for the OLMo ecosystem☆274Updated this week
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,068Updated last month
- SkyRL: A Modular Full-stack RL Library for LLMs☆765Updated this week
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆250Updated last year