google-deepmind / alphaevolve_repository_of_problemsLinks
☆66Updated this 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:
- Harmonic Datasets☆51Updated last year
- Neural theorem proving tutorial, version II☆39Updated last year
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆40Updated 4 months ago
- Materials for ConceptARC paper☆105Updated last year
- LLMs + Lean, on your laptop or in the cloud☆192Updated 3 weeks ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆137Updated 6 months ago
- ☆198Updated 2 months ago
- Probabilistic programming with large language models☆141Updated last week
- Our solution for the arc challenge 2024☆183Updated 4 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆71Updated 9 months ago
- Scaling scaling laws with board games.☆53Updated 2 years ago
- Code associated to papers on superposition (in ML interpretability)☆33Updated 3 years ago
- An environment for learning formal mathematical reasoning from scratch☆71Updated last year
- Notebooks accompanying Anthropic's "Toy Models of Superposition" paper☆129Updated 3 years ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆102Updated last month
- A programming language for formal/informal computation.☆41Updated 3 months ago
- ☆32Updated 7 months ago
- Language-annotated Abstraction and Reasoning Corpus☆94Updated 2 years ago
- ☆73Updated 3 years ago
- Learning Universal Predictors☆81Updated last year
- Tutorial on neural theorem proving☆177Updated last year
- Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025☆41Updated 7 months ago
- The Automated LLM Speedrunning Benchmark measures how well LLM agents can reproduce previous innovations and discover new ones in languag…☆111Updated last month
- ☆33Updated 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…☆66Updated this week
- Unofficial but Efficient Implementation of "Mamba: Linear-Time Sequence Modeling with Selective State Spaces" in JAX☆89Updated last year
- The Energy Transformer block, in JAX☆61Updated last year
- ☆154Updated 2 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆27Updated 6 months ago