google-deepmind / alphaevolve_repository_of_problemsLinks
☆191Updated 2 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:
- ☆148Updated this week
- ☆215Updated last month
- Harmonic Datasets☆52Updated last year
- LLMs + Lean, on your laptop or in the cloud☆199Updated 3 months ago
- Evaluation of LLMs on latest math competitions☆216Updated this week
- The Automated LLM Speedrunning Benchmark measures how well LLM agents can reproduce previous innovations and discover new ones in languag…☆128Updated 4 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆75Updated last year
- ☆394Updated last week
- Neural theorem proving tutorial, version II☆40Updated last year
- An AI benchmark for creative, human-like problem solving using Sudoku variants☆158Updated last month
- ☆408Updated last month
- ☆42Updated last year
- Repository for the paper Stream of Search: Learning to Search in Language☆153Updated last year
- ☆123Updated last week
- ☆152Updated 5 months ago
- Materials for ConceptARC paper☆112Updated last year
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆107Updated 2 months ago
- Training API and CLI☆325Updated last week
- Notebooks accompanying Anthropic's "Toy Models of Superposition" paper☆135Updated 3 years ago
- [ICLR 2026] Official PyTorch Implementation of RLP: Reinforcement as a Pretraining Objective☆231Updated last week
- Solving Inequality Proofs with Large Language Models.☆56Updated last month
- Minimal open-source implementation of AlphaProof and HyperTree Proof Search.☆62Updated last week
- ☆31Updated 10 months ago
- Learning Universal Predictors☆81Updated last year
- Can Language Models Solve Olympiad Programming?☆123Updated last year
- This is the official repository for all the code of TheoremLlama☆47Updated 6 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…☆88Updated this week
- Implementation of SOAR☆49Updated 4 months ago
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆198Updated last year
- ☆483Updated 6 months ago