A scalable multi-node asynchronous implementation of DeepMind’s FunSearch using RabbitMQ.
-
Updated
Mar 25, 2026 - Python
#
funsearch
Here are 11 public repositories matching this topic...
A Python package for Large Language Model-Based Automatic Heuristic Design
algorithms evolutionary-algorithms genetic-algorithms eoh llm automatic-algorithm-design funsearch llm-ahd
-
Updated
Dec 8, 2025 - Python
Companion page for "Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery." A curated four-axis index covering MWPs, LLMs and reasoning models, multimodal geometry, Lean theorem proving, and verified discovery (FunSearch, AlphaEvolve, Erdős problems).
awesome theorem-proving survey awesome-list formal-mathematics mathematical-reasoning lean4 math-word-problem large-language-models llm chain-of-thought ai4math autoformalization multimodal-reasoning reasoning-models alphaevolve math-reasoning funsearch alphageometry
-
Updated
Jul 26, 2026
An LLM writes trading strategies as code; a search loop calibrates each one and stress-tests it out of sample against a luck baseline, surfacing the few that hold up. Runs on any Yahoo Finance ticker.
python trading-strategies quantitative-finance algorithmic-trading evolutionary-algorithm backtesting claude overfitting yfinance llm anthropic funsearch
-
Updated
Sep 10, 2026 - Python
Finding better kubernetes schedulers using funsearch with an accelerated simulator
kubernetes optimization discovery evolutionary-algorithms optimization-methods kubernetes-scheduler llm-tools funsearch
-
Updated
Nov 16, 2025 - Python
Verifier-gated evolutionary discovery: only proven candidates survive. Zero dependencies.
-
Updated
Jul 13, 2026 - Python
FunSearch-style evolutionary program discovery for the L-shape Ramsey problem
-
Updated
May 13, 2025 - Python
Autonomous neuro-symbolic research agent synthesizing, verifying, and sandboxing algorithms with FunSearch, CEGIS (Z3), Lean 4 proofs, and Wasmtime JIT
webassembly formal-verification automated-reasoning cegis gitops gvisor fastapi neuro-symbolic wasmtime z3-solver autonomous-agent lean4 algorithm-discovery funsearch
-
Updated
Sep 5, 2026 - Python
An LLM rewrites your code, a fast Rust scorer grades it on held-out data, the best survives — thousands of iterations a night. Runs as a flat-fee Claude Code session, not a metered Anthropic API loop.
rust program-synthesis code-search evolutionary-algorithms backtesting llm llm-agents automated-search claude-code funsearch
-
Updated
May 27, 2026 - Rust
A fully-local engine that finds cross-domain structural bridges between research papers and evolves algorithms along them — 6 GB GPU, zero cloud calls.
-
Updated
Jul 22, 2026 - Python
NoemaEvolve extends LLM evolutionary program search with RL based reflection and a ReAct style coordination
-
Updated
Sep 9, 2026 - Python
Add this topic to your repo
To associate your repository with the funsearch topic, visit your repo's landing page and select "manage topics."