project-numina / aimo-progress-prizeLinks
☆460Updated 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.☆320Updated 3 weeks ago
- A project to improve skills of large language models☆501Updated this week
- ☆608Updated 3 weeks ago
- Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"☆321Updated 8 months ago
- ☆870Updated last month
- ☆1,028Updated 7 months ago
- ☆531Updated 11 months ago
- Evaluation of LLMs on latest math competitions☆155Updated 2 weeks ago
- 🌾 OAT: A research-friendly framework for LLM online alignment, including reinforcement learning, preference learning, etc.☆425Updated last week
- Automatic evals for LLMs☆496Updated last month
- GPQA: A Graduate-Level Google-Proof Q&A Benchmark☆378Updated 10 months ago
- procedural reasoning datasets☆1,012Updated this week
- Reproducible, flexible LLM evaluations☆227Updated 3 weeks ago
- Retrieval-Augmented Theorem Provers for Lean☆287Updated 6 months ago
- ☆194Updated 4 months ago
- PyTorch building blocks for the OLMo ecosystem☆269Updated this week
- SkyRL: A Modular Full-stack RL Library for LLMs☆679Updated last week
- OLMoE: Open Mixture-of-Experts Language Models☆830Updated 4 months ago
- Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym [ICML 2025]☆516Updated last week
- Large Reasoning Models☆804Updated 8 months ago
- [NeurlPS D&B 2024] Generative AI for Math: MathPile☆415Updated 4 months ago
- A simple unified framework for evaluating LLMs☆235Updated 3 months ago
- [COLM 2025] LIMO: Less is More for Reasoning☆993Updated last week
- ☆529Updated 8 months ago
- Single File, Single GPU, From Scratch, Efficient, Full Parameter Tuning library for "RL for LLMs"☆512Updated 3 weeks ago
- (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training☆278Updated last year
- ☆337Updated 2 months ago
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,055Updated last week
- Code for NeurIPS'24 paper 'Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization'☆226Updated 2 weeks ago
- Our solution for the arc challenge 2024☆166Updated last month