kitft / funsearchLinks
Genetic programming using LLMs
☆43Updated 5 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☆96Updated 8 months ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- ☆191Updated 2 years ago
- Retrieval-Augmented Theorem Provers for Lean☆291Updated 7 months ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆93Updated 5 months ago
- Neuroevolution Benchmark in JAX 🦕☆39Updated last year
- Tutorial on neural theorem proving☆174Updated last year
- A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)☆68Updated last year
- LLMs + Lean, on your laptop or in the cloud☆176Updated last month
- ☆53Updated 2 months ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆37Updated last year
- Benchmark for undergraduate-level formal mathematics☆108Updated 10 months ago
- Harmonic Datasets☆46Updated last year
- ☆52Updated 2 years ago
- Scaling scaling laws with board games.☆53Updated 2 years ago
- AlphaZero in JAX☆78Updated last year
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆154Updated last week
- MiniZero: An AlphaZero and MuZero Training Framework☆98Updated last month
- ☆71Updated 3 years ago
- Automatic solver for plane geometry problems.☆54Updated last week
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆91Updated 7 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆71Updated 7 months ago
- ☆202Updated 4 months ago
- Learning Universal Predictors☆79Updated last year
- Neural theorem proving tutorial, version II☆39Updated last year
- Learning Formal Mathematics from Intrinsic Motivation☆36Updated last month
- Efficient baselines for autocurricula in JAX.☆196Updated last year
- ☆23Updated last year
- llmstep: [L]LM proofstep suggestions in Lean 4.☆141Updated last year
- ☆10Updated 4 months ago