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
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆75Updated 11 months ago
- Harmonic Datasets☆52Updated last year
- ☆79Updated 2 months ago
- LLMs + Lean, on your laptop or in the cloud☆199Updated 3 months ago
- 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
- This repo contains the source code for the paper "Evolution Strategies at Scale: LLM Fine-Tuning Beyond Reinforcement Learning"☆284Updated last month
- Evaluation of LLMs on latest math competitions☆211Updated 2 weeks ago
- The Automated LLM Speedrunning Benchmark measures how well LLM agents can reproduce previous innovations and discover new ones in languag…☆125Updated 3 months ago
- ☆395Updated 2 weeks ago
- ☆482Updated 5 months ago
- RLP: Reinforcement as a Pretraining Objective☆222Updated 3 months ago
- Technical report of Kimina-Prover Preview.☆350Updated 6 months ago
- Fluid Language Model Benchmarking☆25Updated 3 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
- Implementation of SOAR☆46Updated 3 months ago
- ☆42Updated last year
- Neural theorem proving tutorial, version II☆40Updated last year
- ☆224Updated 9 months ago
- Open source interpretability artefacts for R1.☆165Updated 8 months ago
- ☆116Updated last week
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆46Updated 6 months ago
- Official JAX implementation of End-to-End Test-Time Training for Long Context☆214Updated last week
- Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025☆42Updated 9 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆152Updated 11 months ago
- The official github repo for "Diffusion Language Models are Super Data Learners".☆215Updated 2 months ago
- ☆253Updated 6 months ago
- ☆113Updated 3 months ago