project-numina / aimo-progress-prizeLinks
☆477Updated 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.☆347Updated 5 months ago
- A project to improve skills of large language models☆648Updated this week
- Evaluation of LLMs on latest math competitions☆200Updated last month
- 🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.☆579Updated last month
- ☆1,035Updated 11 months ago
- GPQA: A Graduate-Level Google-Proof Q&A Benchmark☆436Updated last year
- Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"☆340Updated last month
- Reproducible, flexible LLM evaluations☆301Updated 3 weeks ago
- PyTorch building blocks for the OLMo ecosystem☆519Updated this week
- Automatic evals for LLMs☆564Updated 5 months ago
- A simple unified framework for evaluating LLMs☆255Updated 8 months ago
- ☆546Updated last year
- ☆218Updated 8 months ago
- ☆1,024Updated 5 months ago
- A Collection of Competitive Text-Based Games for Language Model Evaluation and Reinforcement Learning☆322Updated last month
- [NeurIPS 2025 Spotlight] Reasoning Environments for Reinforcement Learning with Verifiable Rewards☆1,262Updated last month
- ☆341Updated 6 months ago
- [NeurIPS'25] Official codebase for "SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution"☆627Updated 8 months ago
- [COLM 2025] LIMO: Less is More for Reasoning☆1,054Updated 4 months ago
- Large Reasoning Models☆807Updated last year
- ☆328Updated 6 months ago
- ☆556Updated last year
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆270Updated last year
- Retrieval-Augmented Theorem Provers for Lean☆309Updated 10 months ago
- (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training☆283Updated last year
- Implementation of the Quiet-STAR paper (https://arxiv.org/pdf/2403.09629.pdf)☆54Updated last year
- Memory layers use a trainable key-value lookup mechanism to add extra parameters to a model without increasing FLOPs. Conceptually, spars…☆359Updated last year
- Official repo for paper: "Reinforcement Learning for Reasoning in Small LLMs: What Works and What Doesn't"☆268Updated last month
- ☆968Updated 10 months ago
- ☆166Updated last year