kitft / funsearchLinks
Genetic programming using LLMs
☆53Updated 9 months ago
Alternatives and similar repositories for funsearch
Users that are interested in funsearch are comparing it to the libraries listed below
Sorting:
- fast + parallel AlphaZero in JAX☆107Updated 11 months ago
- ☆63Updated 2 months ago
- An environment for learning formal mathematical reasoning from scratch☆71Updated last year
- ☆194Updated 2 years ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆106Updated 3 weeks ago
- AlphaZero in JAX☆80Updated last year
- ☆74Updated 3 years ago
- Learn online intrinsic rewards from LLM feedback☆45Updated last year
- ☆53Updated 2 years ago
- Retrieval-Augmented Theorem Provers for Lean☆309Updated 10 months ago
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆31Updated 4 months ago
- Intrinsic Motivation from Artificial Intelligence Feedback☆133Updated 2 years ago
- Monte Carlo tree search in JAX, with functionality to continue search from a previous subtree☆25Updated 7 months ago
- [IEEE ToG] MiniZero: An AlphaZero and MuZero Training Framework☆115Updated 4 months ago
- Efficient baselines for autocurricula in JAX.☆201Updated last year
- Scaling scaling laws with board games.☆54Updated 2 years ago
- ☆31Updated 8 months ago
- ☆169Updated last week
- Benchmark for undergraduate-level formal mathematics☆113Updated last year
- Learning Universal Predictors☆81Updated last year
- A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)☆69Updated last year
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Updated last year
- LLMs + Lean, on your laptop or in the cloud☆197Updated 2 months ago
- An Open-Ended Agentic Simulator☆56Updated last year
- A project that provides help for using DeepMind's mctx on gym-style environments.☆63Updated last year
- Solving the Abstraction & Reasoning Corpus with DreamCoder☆54Updated last year
- Automatic solver for plane geometry problems.☆78Updated 3 months ago
- Harmonic Datasets☆52Updated last year
- ☆53Updated last year
- ☆23Updated last year