kitft / funsearchLinks
Genetic programming using LLMs
☆51Updated 8 months ago
Alternatives and similar repositories for funsearch
Users that are interested in funsearch are comparing it to the libraries listed below
Sorting:
- An environment for learning formal mathematical reasoning from scratch☆70Updated last year
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆106Updated 2 months ago
- ☆195Updated 2 years ago
- fast + parallel AlphaZero in JAX☆106Updated 11 months ago
- Retrieval-Augmented Theorem Provers for Lean☆307Updated 10 months ago
- Learn online intrinsic rewards from LLM feedback☆45Updated 11 months ago
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆31Updated 3 months ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Updated last year
- LLMs + Lean, on your laptop or in the cloud☆195Updated last month
- Solving the Abstraction & Reasoning Corpus with DreamCoder☆53Updated last year
- Learning Formal Mathematics from Intrinsic Motivation☆36Updated 4 months ago
- Benchmark for undergraduate-level formal mathematics☆113Updated last year
- Automatic solver for plane geometry problems.☆73Updated 3 months ago
- A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)☆69Updated last year
- Harmonic Datasets☆51Updated last year
- ☆60Updated last month
- AlphaZero in JAX☆79Updated last year
- ☆73Updated 3 years ago
- ☆150Updated last week
- Tutorial on neural theorem proving☆177Updated last year
- ☆214Updated 7 months ago
- Scaling scaling laws with board games.☆53Updated 2 years ago
- Supplementary Data for Evolving Reinforcement Learning Algorithms☆47Updated 4 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- ☆23Updated last year
- Monte Carlo tree search in JAX, with functionality to continue search from a previous subtree☆22Updated 6 months ago
- ☆21Updated 3 months ago
- Bootstrapping ARC☆148Updated last year
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆74Updated 10 months ago
- Efficient baselines for autocurricula in JAX.☆201Updated last year