project-numina / aimo-progress-prizeLinks
☆467Updated 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:
- Technical report of Kimina-Prover Preview.☆327Updated 2 months ago
- A project to improve skills of large language models☆560Updated this week
- Automatic evals for LLMs☆526Updated 2 months ago
- GPQA: A Graduate-Level Google-Proof Q&A Benchmark☆408Updated 11 months ago
- 🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.☆459Updated 3 weeks ago
- ☆207Updated 5 months ago
- ☆933Updated 2 months ago
- ☆1,034Updated 9 months ago
- Evaluation of LLMs on latest math competitions☆164Updated this week
- ☆536Updated last year
- ☆340Updated 3 months ago
- Retrieval-Augmented Theorem Provers for Lean☆294Updated 7 months ago
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆254Updated last year
- Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"☆328Updated 9 months ago
- A Collection of Competitive Text-Based Games for Language Model Evaluation and Reinforcement Learning☆276Updated this week
- ☆190Updated 4 months ago
- RewardBench: the first evaluation tool for reward models.☆634Updated 3 months ago
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆109Updated 5 months ago
- Official repo for paper: "Reinforcement Learning for Reasoning in Small LLMs: What Works and What Doesn't"☆261Updated 4 months ago
- Large Reasoning Models☆805Updated 9 months ago
- Reproducible, flexible LLM evaluations☆244Updated 2 months ago
- (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training☆279Updated last year
- [COLM 2025] LIMO: Less is More for Reasoning☆1,018Updated last month
- ☆539Updated 9 months ago
- [NeurlPS D&B 2024] Generative AI for Math: MathPile☆417Updated 5 months ago
- A simple unified framework for evaluating LLMs☆245Updated 5 months ago
- SkyRL: A Modular Full-stack RL Library for LLMs☆862Updated this week
- PyTorch building blocks for the OLMo ecosystem☆292Updated this week
- ☆76Updated last year
- Code for Quiet-STaR☆740Updated last year