jonppe / funsearchLinks
Simple working implementation for google-deepmind FunSearch algorithm
☆20Updated last year
Alternatives and similar repositories for funsearch
Users that are interested in funsearch are comparing it to the libraries listed below
Sorting:
- [ICLR 2025 Oral] This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Lan…☆159Updated 3 weeks ago
- [NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"☆75Updated 9 months ago
- [ICML2025 Oral] LLM-SRBench: A New Benchmark for Scientific Equation Discovery with Large Language Models☆67Updated 3 weeks ago
- [ICLR 2024 Spotlight] This is the official code for the paper "SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-t…☆57Updated 10 months ago
- SR based on LLMs.☆109Updated 2 years ago
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆30Updated 2 weeks ago
- ☆63Updated 5 months ago
- Evaluation of neuro-symbolic engines☆39Updated last year
- Learning Universal Predictors☆79Updated last year
- Genetic programming using LLMs☆41Updated 5 months ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆93Updated 5 months ago
- Deep Generative Symbolic Regression Code☆26Updated last year
- Must-read Papers on Large Language Model (LLM) as Optimizers and Automatic Optimization for Prompting LLMs.☆246Updated last year
- ☆53Updated 2 months ago
- ☆70Updated 3 years ago
- ☆20Updated 6 months ago
- Code for☆27Updated 8 months ago
- Solving the Abstraction & Reasoning Corpus with DreamCoder☆52Updated 11 months ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Updated last year
- Neural theorem proving tutorial, version II☆38Updated last year
- ☆79Updated last week
- ☆143Updated last year
- ☆228Updated 2 weeks ago
- Brain-Inspired Modular Training (BIMT), a method for making neural networks more modular and interpretable.☆172Updated 2 years ago
- Materials for ConceptARC paper☆99Updated 9 months ago
- ☆12Updated last year
- Can Language Models Solve Olympiad Programming?☆119Updated 7 months ago
- AI for Mathematics (AI4Math) paper list☆174Updated 11 months ago
- ☆23Updated last year
- Bootstrapping ARC☆143Updated 9 months ago