☆1,007Feb 5, 2024Updated 2 years ago
Alternatives and similar repositories for funsearch
Users that are interested in funsearch are comparing it to the libraries listed below
Sorting:
- ☆4,781Jan 13, 2026Updated last month
- Simple working implementation for google-deepmind FunSearch algorithm☆23Jan 25, 2024Updated 2 years ago
- [NeurIPS 2024] ReEvo: Large Language Models as Hyper-Heuristics with Reflective Evolution☆245Jan 24, 2026Updated last month
- Evolution of Heuristics☆266Sep 11, 2025Updated 5 months ago
- ☆2,548May 19, 2024Updated last year
- ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting wit…☆1,113Feb 22, 2024Updated 2 years ago
- LLMs as Copilots for Theorem Proving in Lean☆1,225Feb 17, 2026Updated last week
- ☆68Nov 7, 2025Updated 3 months ago
- All things prompt engineering☆5,739Jun 4, 2024Updated last year
- Tool for data extraction and interacting with Lean programmatically.☆770Jan 18, 2026Updated last month
- ☆13Jul 15, 2024Updated last year
- [DMLR] Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery☆38Mar 5, 2024Updated last year
- [ICLR 2025 Oral] This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Lan…☆214Jul 31, 2025Updated 7 months ago
- A Collection on Large Language Models for Optimization☆337Jan 4, 2026Updated last month
- Official Repository for "Eureka: Human-Level Reward Design via Coding Large Language Models" (ICLR 2024)☆3,117May 3, 2024Updated last year
- The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑🔬☆12,216Dec 19, 2025Updated 2 months ago
- Evaluation of neuro-symbolic engines☆41Aug 3, 2024Updated last year
- Official code implementation for the ACL 2024 Student Research Workshop paper "In-Context Symbolic Regression: Leveraging Large Language …☆17Sep 26, 2024Updated last year
- Code for Quiet-STaR☆741Aug 21, 2024Updated last year
- ☆1,095Mar 12, 2024Updated last year
- A list of awesome papers and resources of the intersection of Large Language Models and Evolutionary Computation.☆132Mar 18, 2025Updated 11 months ago
- Official implementation for the paper: "Code Generation with AlphaCodium: From Prompt Engineering to Flow Engineering""☆3,924Nov 25, 2024Updated last year
- official code for "Large Language Models as Optimizers"☆705Dec 4, 2024Updated last year
- A library for advanced large language model reasoning☆2,333Jun 10, 2025Updated 8 months ago
- Robust recipes to align language models with human and AI preferences☆5,506Sep 8, 2025Updated 5 months ago
- AgentTuning: Enabling Generalized Agent Abilities for LLMs☆1,477Oct 31, 2023Updated 2 years ago
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆13Nov 20, 2022Updated 3 years ago
- [NeurIPS 2023] Tree of Thoughts: Deliberate Problem Solving with Large Language Models☆5,851Jan 16, 2025Updated last year
- Official Implementation of "Graph of Thoughts: Solving Elaborate Problems with Large Language Models"☆2,607Dec 11, 2024Updated last year
- DSPy: The framework for programming—not prompting—language models☆32,381Updated this week
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆125Nov 25, 2025Updated 3 months ago
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,091Jun 1, 2023Updated 2 years ago
- [NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"☆81Nov 4, 2024Updated last year
- SR based on LLMs.☆129Nov 13, 2022Updated 3 years ago
- Recent research papers about Foundation Models for Combinatorial Optimization☆469Feb 19, 2026Updated last week
- Open-source implementation of AlphaEvolve☆5,456Feb 4, 2026Updated 3 weeks ago
- Official repository of Evolutionary Optimization of Model Merging Recipes☆1,399Nov 29, 2024Updated last year
- Train transformer language models with reinforcement learning.☆17,460Updated this week
- A Production-ready Reinforcement Learning AI Agent Library brought by the Applied Reinforcement Learning team at Meta.☆2,980Feb 6, 2026Updated 3 weeks ago