google-deepmind / alphaevolve_repository_of_problemsLinks
☆178Updated 3 weeks ago
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:
- ☆213Updated 4 months ago
- ☆79Updated 2 months ago
- Harmonic Datasets☆52Updated 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…☆80Updated this week
- The Automated LLM Speedrunning Benchmark measures how well LLM agents can reproduce previous innovations and discover new ones in languag…☆125Updated 3 months ago
- Evaluation of LLMs on latest math competitions☆211Updated 2 weeks ago
- This repo contains the source code for the paper "Evolution Strategies at Scale: LLM Fine-Tuning Beyond Reinforcement Learning"☆284Updated last month
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆75Updated 11 months ago
- LLMs + Lean, on your laptop or in the cloud☆199Updated 2 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆152Updated 11 months ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆107Updated last month
- An AI benchmark for creative, human-like problem solving using Sudoku variants☆147Updated 3 weeks ago
- ☆91Updated last year
- ☆116Updated this week
- Implementation of SOAR☆46Updated 3 months ago
- Training API and CLI☆305Updated 3 weeks ago
- ☆150Updated 4 months ago
- ☆395Updated 2 weeks ago
- Open source interpretability artefacts for R1.☆165Updated 8 months ago
- The official github repo for "Diffusion Language Models are Super Data Learners".☆215Updated 2 months ago
- ☆482Updated 5 months ago
- A scalable asynchronous reinforcement learning implementation with in-flight weight updates.☆343Updated 2 weeks ago
- ☆127Updated 2 months ago
- Official JAX implementation of End-to-End Test-Time Training for Long Context☆214Updated last week
- Neural theorem proving tutorial, version II☆40Updated last year
- ☆33Updated last year
- ☆34Updated 7 months ago
- Can Language Models Solve Olympiad Programming?☆124Updated 11 months ago
- Library for text-to-text regression, applicable to any input string representation and allows pretraining and fine-tuning over multiple r…☆305Updated 3 weeks ago
- ☆80Updated 3 months ago