project-numina / aimo-progress-prizeLinks
☆471Updated 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.☆344Updated 4 months ago
- A project to improve skills of large language models☆611Updated this week
- Evaluation of LLMs on latest math competitions☆180Updated last month
- ☆542Updated last year
- 🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.☆568Updated 3 weeks ago
- Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"☆338Updated last week
- ☆1,002Updated 4 months ago
- GPQA: A Graduate-Level Google-Proof Q&A Benchmark☆425Updated last year
- Automatic evals for LLMs☆557Updated 4 months ago
- ☆1,035Updated 11 months ago
- Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym [ICML 2025]☆576Updated 3 months ago
- ☆214Updated 7 months ago
- Large Reasoning Models☆807Updated 11 months ago
- ☆341Updated 5 months ago
- Reproducible, flexible LLM evaluations☆266Updated this week
- ☆166Updated last year
- PyTorch building blocks for the OLMo ecosystem☆319Updated this week
- (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training☆284Updated last year
- Implementation of the Quiet-STAR paper (https://arxiv.org/pdf/2403.09629.pdf)☆54Updated last year
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆264Updated last year
- A bibliography and survey of the papers surrounding o1☆1,212Updated last year
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆112Updated 7 months ago
- Official repository for the paper "LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code"☆715Updated 4 months ago
- [MathCoder, MathCoder-VL] Family of LLMs/LMMs for mathematical reasoning.☆332Updated last month
- ☆76Updated last year
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,155Updated 2 months ago
- [NeurIPS'25] Official codebase for "SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution"☆618Updated 8 months ago
- Official repo for paper: "Reinforcement Learning for Reasoning in Small LLMs: What Works and What Doesn't"☆268Updated last month
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆174Updated 5 months ago
- AI for Mathematics (AI4Math) paper list☆182Updated last year