google-deepmind / alphaevolve_repository_of_problemsLinks
☆186Updated last week
Alternatives and similar repositories for alphaevolve_repository_of_problems
Users that are interested in alphaevolve_repository_of_problems are comparing it to the libraries listed below
Sorting:
- Evaluation of LLMs on latest math competitions☆213Updated last month
- The Automated LLM Speedrunning Benchmark measures how well LLM agents can reproduce previous innovations and discover new ones in languag…☆127Updated 3 months ago
- ☆214Updated 3 weeks ago
- Harmonic Datasets☆52Updated last year
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆75Updated last year
- ☆85Updated this week
- LLMs + Lean, on your laptop or in the cloud☆199Updated 3 months ago
- Neural theorem proving tutorial, version II☆40Updated last year
- AlgoTune is a NeurIPS 2025 benchmark made up of 154 math, physics, and computer science problems. The goal is write code that solves each…☆85Updated this week
- ☆152Updated 4 months ago
- Fluid Language Model Benchmarking☆25Updated 4 months ago
- ☆93Updated last week
- Learning Universal Predictors☆81Updated last year
- This repo contains the source code for the paper "Evolution Strategies at Scale: LLM Fine-Tuning Beyond Reinforcement Learning"☆288Updated 2 months ago
- ☆401Updated last month
- ☆483Updated 6 months ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆49Updated 7 months ago
- ☆116Updated last week
- Our solution to Putnam 2025.☆61Updated 3 weeks ago
- ☆82Updated 4 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Open source interpretability artefacts for R1.☆169Updated 9 months ago
- ☆225Updated 9 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆152Updated 11 months ago
- An AI benchmark for creative, human-like problem solving using Sudoku variants☆156Updated last month
- Implementation of SOAR☆48Updated 4 months ago
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆198Updated last year
- Training API and CLI☆323Updated this week
- Universal Reasoning Model☆121Updated 2 weeks ago
- Notebooks accompanying Anthropic's "Toy Models of Superposition" paper☆133Updated 3 years ago