kitft / funsearchLinks
Genetic programming using LLMs
☆46Updated 6 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☆72Updated last year
- Benchmark for undergraduate-level formal mathematics☆108Updated 11 months ago
- Retrieval-Augmented Theorem Provers for Lean☆295Updated 7 months ago
- fast + parallel AlphaZero in JAX☆101Updated 9 months ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆91Updated 8 months ago
- Harmonic Datasets☆47Updated last year
- ☆54Updated 3 months ago
- ☆192Updated 2 years ago
- A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)☆68Updated last year
- Learning Formal Mathematics from Intrinsic Motivation☆36Updated 2 months ago
- ☆72Updated 3 years ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆98Updated 6 months ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆159Updated 3 weeks ago
- LLMs + Lean, on your laptop or in the cloud☆179Updated 2 months ago
- ☆52Updated 2 years ago
- AlphaZero in JAX☆78Updated last year
- ☆207Updated 5 months ago
- ☆31Updated 5 months ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆37Updated last year
- Tutorial on neural theorem proving☆177Updated last year
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆30Updated last month
- Scaling scaling laws with board games.☆53Updated 2 years ago
- ☆23Updated last year
- Neural theorem proving tutorial, version II☆39Updated last year
- llmstep: [L]LM proofstep suggestions in Lean 4.☆144Updated last year
- Neuroevolution Benchmark in JAX 🦕☆39Updated last year
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- Learn online intrinsic rewards from LLM feedback☆43Updated 9 months ago
- Code for [ICML2025]``Monte Carlo Tree Search for Comprehensive Exploration in LLM-Based Automatic Heuristic Design``.☆55Updated 4 months ago
- ☆187Updated last month