A scalable multi-node asynchronous implementation of DeepMind’s FunSearch using RabbitMQ.
-
Updated
Mar 25, 2026 - Python
#
funsearch
Here are 5 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
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
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
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
Jun 9, 2026
Improve this page
Add a description, image, and links to the funsearch topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the funsearch topic, visit your repo's landing page and select "manage topics."