AlphaEvolve extends FunSearch by evolving entire code files (rather than single functions) using a 'search/replace' diff format and Gemini 2.0, achieving SOTA results across matrix multiplication (beating Strassen), 50+ open math problems, and Google...
AlphaEvolve extends FunSearch by evolving entire code files (rather than single functions) using a 'search/replace' diff format and Gemini 2.0, achieving SOTA results across matrix multiplication (beating Strassen), 50+ open math problems, and Google's production scheduling. The results are exceptionally strong and verified, including deployed improvements to Google's Borg scheduler (0.7% resource recovery) and TPU circuits. The critical takeaway is the move to diff-based full-file evolution and meta-prompt evolution (evolving the prompt instructions alongside the code), which allows the system to modify architecture and logic rather than just heuristics. This is a mandatory blueprint for the next iteration of our AlgoEvo and EvoCut projects.
2026-01-22 | Stanford University, NVIDIA, UC San Diego, Together AI, Astera Institute | 2601.16175
M=9P=10I=10
TTT-Discover introduces a method to fine-tune an LLM (gpt-oss-120b) during inference on a single test problem using RL, replacing the frozen-model evolutionary search of AlphaEvolve. They employ a novel 'entropic objective' that optimizes fo...
TTT-Discover introduces a method to fine-tune an LLM (gpt-oss-120b) during inference on a single test problem using RL, replacing the frozen-model evolutionary search of AlphaEvolve. They employ a novel 'entropic objective' that optimizes for the single best solution (discovery) rather than expected return, combined with PUCT-based state reuse. The results are empirically rigorous, setting new SOTA on Erdős’ problem, GPU kernel optimization, and AtCoder contests, directly beating AlphaEvolve and ShinkaEvolve. The critical takeaway is that for hard discovery tasks, shifting the model's distribution via online updates is superior to context-based search; we should immediately test their entropic objective in our AlgoEvo pipeline.
2025-11-28 | Microsoft, University of Washington, Carnegie Mellon University, University of Wisconsin-Madison, University of California, San Diego | 2511.23473
M=10P=9I=9
ThetaEvolve integrates test-time reinforcement learning (GRPO) directly into an AlphaEvolve-style loop, allowing a single 8B model to learn from its own successful mutations and achieve new SOTA bounds on Circle Packing and Autocorrelation inequaliti...
ThetaEvolve integrates test-time reinforcement learning (GRPO) directly into an AlphaEvolve-style loop, allowing a single 8B model to learn from its own successful mutations and achieve new SOTA bounds on Circle Packing and Autocorrelation inequalities. The results are rigorous, showing that RL applied to the dynamic environment (sampling from the evolving database) vastly outperforms RL on static prompts or pure inference search. The most stealable insight is the 'lazy penalty' mechanism—penalizing semantically equivalent code or stagnation—which forces the RL policy to learn genuine exploration strategies rather than memorization. This is a blueprint for the 'RL-infused evolution' milestone in our AlgoEvo roadmap.
2026-02-02 | Microsoft, The Ohio State University | 2602.02919
M=9P=10I=9
DeltaEvolve replaces the standard full-code history in evolutionary search with 'semantic deltas'—structured text summaries capturing the 'from/to' logic of modifications and their hypotheses. Across 5 domains (including BBOB and Symbolic Regression)...
DeltaEvolve replaces the standard full-code history in evolutionary search with 'semantic deltas'—structured text summaries capturing the 'from/to' logic of modifications and their hypotheses. Across 5 domains (including BBOB and Symbolic Regression), they demonstrate superior objective scores over AlphaEvolve while reducing token consumption by ~37%. The critical takeaway is the 'Progressive Disclosure' mechanism: treating history as a momentum vector (deltas) rather than a state archive (snapshots) allows us to fit a deeper evolutionary trajectory into the context window. We should immediately test their 'Delta Plan' prompt structure in AlgoEvo to improve sample efficiency and reduce costs.
LoongFlow replaces the standard stochastic mutation operator in LLM evolutionary search with a 'Plan-Execute-Summarize' (PES) cognitive loop. Instead of random code changes, a Planner retrieves the 'intent' and 'summary' of the parent solution's line...
LoongFlow replaces the standard stochastic mutation operator in LLM evolutionary search with a 'Plan-Execute-Summarize' (PES) cognitive loop. Instead of random code changes, a Planner retrieves the 'intent' and 'summary' of the parent solution's lineage to generate a directed hypothesis, which is then executed and summarized for the next generation. The authors demonstrate a 60% reduction in evaluations and a 100% success rate on AlphaEvolve tasks where standard methods fail or stagnate. The critical takeaway is the 'Lineage-Based Context Retrieval' mechanism: explicitly passing the parent's plan and retrospective summary to the child allows for directed rather than random walks in the search space. We must implement this PES loop in AlgoEvo immediately to fix our sample efficiency issues.
2025-10-13 | Nanyang Technological University, Singapore, Singapore Management University, Singapore, Nanjing University of Information Science and Technology, China | 2510.11121
M=9P=10I=9
Zhu et al. fine-tune a Qwen-14B model using Reinforcement Learning (DAPO) to generate C++ crossover operators for the state-of-the-art HGS solver. Unlike typical prompting papers, they demonstrate that a small, specialized model can improve upon expe...
Zhu et al. fine-tune a Qwen-14B model using Reinforcement Learning (DAPO) to generate C++ crossover operators for the state-of-the-art HGS solver. Unlike typical prompting papers, they demonstrate that a small, specialized model can improve upon expert-designed components in a highly optimized solver, achieving superior results on CVRPLIB (up to 1000 nodes) where GPT-4o fails. The most stealable insight is their AST-based anti-plagiarism reward, which penalizes the model for generating code structurally identical to the prompt examples, effectively forcing exploration and preventing mode collapse—a technique we should immediately adopt for our evolutionary search agents. This confirms we should pivot from pure prompting to RL-finetuning for our code-generation agents.
2025-09-26 | Sakana AI, Vector Institute, University of British Columbia, Canada CIFAR AI Chair | 2505.22954
M=10P=8I=10
DGM implements a population-based evolutionary loop where agents modify their own Python source code (tools, memory, flow) to improve performance on coding benchmarks, rather than just optimizing prompts or parameters. Results are strong and verified...
DGM implements a population-based evolutionary loop where agents modify their own Python source code (tools, memory, flow) to improve performance on coding benchmarks, rather than just optimizing prompts or parameters. Results are strong and verified: it boosts a base agent from 20% to 50% on SWE-bench Verified, matching handcrafted SoTA, with ablations proving the necessity of the population archive (open-endedness) over single-lineage hill climbing. Key Takeaway: The 'self-diagnosis' mechanism—feeding execution logs to a model to propose specific architectural code changes (e.g., implementing a 'str_replace' tool to fix granular editing errors)—is the exact mechanism we need to implement for evolving our heuristic searchers. This validates that LLM-driven code evolution is viable for complex logic improvement, not just toy tasks.
2025-09-09 | NVIDIA Research, University of Maryland | 2509.07367
M=9P=9I=10
SATLUTION extends LLM evolutionary search to full-scale C++ repositories, autonomously evolving SAT solvers that outperform 2025 human competition winners using only 2024 training data. The results are highly rigorous, backed by 90k CPU hours of dist...
SATLUTION extends LLM evolutionary search to full-scale C++ repositories, autonomously evolving SAT solvers that outperform 2025 human competition winners using only 2024 training data. The results are highly rigorous, backed by 90k CPU hours of distributed evaluation and strict correctness proofs (DRAT), showing a clear monotonic improvement trajectory. The single most stealable insight is the self-evolving rule system: the agent autonomously updates a persistent set of markdown constraints (e.g., forbidden patterns, testing protocols) based on post-cycle failure analysis, effectively creating 'institutional memory' that prevents regression in long-horizon search. We must implement this meta-learning loop in AlgoEvo immediately to move beyond single-file optimization.
TIDE introduces a nested evolutionary framework that strictly decouples algorithmic structure generation (via LLM) from numerical parameter tuning (via Differential Evolution), managed by a Tree Similarity Edit Distance (TSED) guided island model. Re...
TIDE introduces a nested evolutionary framework that strictly decouples algorithmic structure generation (via LLM) from numerical parameter tuning (via Differential Evolution), managed by a Tree Similarity Edit Distance (TSED) guided island model. Results on 9 COPs (TSP, BPP, etc.) show it consistently outperforms ReEvo and EoH, primarily because the DE layer optimizes constants at zero token cost, preventing the discard of structurally sound but poorly tuned heuristics. The critical takeaway is the necessity of a gradient-free tuning layer for LLM-generated code; relying on LLMs for numerical constants is inefficient and imprecise. We should immediately implement a similar parameter-tuning inner loop in our AlgoEvo framework.
2026-02-09 | Tsinghua University, Chinese Academy of Sciences, University of Chinese Academy of Sciences, AiRiA | 2601.22896
M=9P=9I=9
ASRO adapts Policy Space Response Oracles (PSRO) to code generation, treating heuristic discovery as a zero-sum game where a 'Solver' evolves to minimize gaps and a 'Generator' evolves to create adversarial instances. The results are compelling: it c...
ASRO adapts Policy Space Response Oracles (PSRO) to code generation, treating heuristic discovery as a zero-sum game where a 'Solver' evolves to minimize gaps and a 'Generator' evolves to create adversarial instances. The results are compelling: it consistently beats the static EoH baseline on TSPLIB and CVRPLIB, proving that adversarial training yields better generalization than training on fixed distributions. The critical takeaway is the architecture: explicitly co-evolving an 'Instance Generator' program alongside the solver prevents overfitting and exposes edge cases (like specific geometric traps in TSP) that static benchmarks miss. This is a direct upgrade to our AlgoEvo/AlphaEvolve pipelines, though it incurs higher computational costs due to the evaluation matrix required for the meta-game.
Research Front Landscape
5 active fronts | 77 new papers
Advanced AlphaEvolve Frameworks for Sample-Efficient Algorithmic Discovery
Inst:DeepMind 26% · Microsoft 9% · University of California 9% · Sakana AI 9%
This research front focuses on advancing AlphaEvolve-style LLM-guided evolutionary frameworks for automated algorithmic discovery and optimization. Papers explore critical enhancements to sample efficiency, directed search, and robustness, moving beyond brute-force mutation towards more intelligent and context-aware evolution. Key frameworks like ShinkaEvolve, LoongFlow, GigaEvo, ImprovEvolve, CodeEvolve, ThetaEvolve, DeltaEvolve, OpenEvolve, AlphaResearch, DeepEvolve, and SATLUTION are all building upon or competing with the foundational AlphaEvolve paradigm.
Significant contributions include ShinkaEvolve achieving new SOTA on circle packing with <150 samples via novelty rejection, and LoongFlow's Plan-Execute-Summarize (PES) paradigm improving evolutionary efficiency by 60% and achieving 100% success on AlphaEvolve tasks. AlphaEvolve itself established SOTA on matrix multiplication (beating Strassen) and 50+ math problems through diff-based full-file evolution. TTT-Discover and ThetaEvolve introduced test-time Reinforcement Learning (RL) with entropic objectives, setting new SOTA on Erdős’ problem and autocorrelation inequalities. ImprovEvolve achieved new SOTA on Hexagon Packing by evolving modular local search operators, while SATLUTION scaled LLM evolution to full C++ repositories, outperforming 2025 human SAT competition winners. GeoEvolve and DeepEvolve integrated RAG for domain knowledge injection and iterative debugging, improving geospatial modeling and execution success rates. DeltaEvolve reduced token consumption by ~37% using 'semantic deltas' while improving scores. However, a critical finding by Berthold et al. demonstrated that standard global NLP solvers can outperform AlphaEvolve on its own benchmarks, highlighting the need for rigorous validation and potentially hybrid approaches.
This front is rapidly emerging, characterized by intense innovation and direct competition among frameworks. The trajectory indicates a strong push towards integrating multiple successful strategies to create more efficient, robust, and capable systems for directed discovery. Future work will likely focus on combining test-time learning, semantic deltas, and knowledge injection, alongside scaling to complex, multi-file, real-world problems. The counter-evidence from classical solvers also suggests a growing need for hybrid approaches where LLMs generate structured models for traditional optimization techniques.
Inst:DeepMind 20% · Singapore 13% · Peking University 7% · Universit Z rich. 7%
This research front focuses on advancing LLM-guided program search, primarily building upon the FunSearch framework, by introducing sophisticated architectural and strategic enhancements. The unifying theme is the meta-optimization of the algorithm discovery process itself, moving beyond basic LLM prompting to integrate techniques like reinforcement learning, concept-guided search, co-evolution of operators and prompts, and robust evaluation mechanisms. These innovations aim to improve the efficiency, robustness, and discovery power of LLM-driven systems for a diverse range of combinatorial optimization and algorithm design problems.
Key contributions include the RL-finetuning of a Qwen-14B model to generate C++ crossover operators for Hybrid Genetic Search (HGS) in CVRP, achieving 0.03-0.08% gap improvements on CVRPLIB X instances, notably using an AST-based anti-plagiarism reward. The Contrastive Concept-Tree Search (CCTS) extracts hierarchical concepts from generated programs, using a Tree-structured Parzen Estimator (TPE) to bias parent selection, showing consistent improvements on tasks like Circle Packing. Generative Large Neighborhood Search (G-LNS) co-evolves destroy and repair operators for ALNS, outperforming FunSearch and OR-Tools on large TSP/CVRP instances by leveraging a 'Synergy Matrix'. QUBE enhances parent selection in FunSearch by using a UCB algorithm based on offspring quality, significantly outperforming score-based selection on Bin Packing and TSP. Other notable advancements include functional deduplication and single-hardest-instance optimization for deletion-correcting codes, the D-ID3 algorithm for local programmatic feature generation in decision trees, and Robusta's explanation-guided genetic search which uses a Heuristic Analyzer and Suggester LLM to achieve 28x improvement in worst-case performance for traffic engineering. Furthermore, EvoPH introduces co-evolution of prompts and heuristics with island models, dominating FunSearch on TSP and BPP.
This front is rapidly emerging, characterized by a deep exploration of how to make LLM-driven evolutionary search more intelligent, efficient, and reliable. The trajectory indicates a strong move towards integrating multiple advanced meta-learning techniques, automating complex human-in-the-loop steps, and developing robust engineering practices for handling LLM-generated code. Future work will likely focus on combining these architectural innovations, scaling them to even more complex real-world problems, and formalizing the underlying principles of LLM-guided algorithm discovery. The next papers will likely present frameworks that seamlessly blend concept learning, adaptive parent selection, and robust feedback loops to achieve unprecedented levels of autonomous algorithm design.
Inst:City University of. 42% · Southern University of. 25% · Southeast University 17% · Huawei Noah’s Ark. 8%
This research front focuses on advancing LLM-driven evolutionary program search (EPS) and automated heuristic design (AHD) by integrating sophisticated mechanisms beyond basic iterative prompting. Key frameworks like ReEvo, EoH, EvoTune, CALM, CAE, and STRCMP are explored, aiming to significantly improve sample efficiency, population diversity, and solution quality for complex combinatorial optimization problems such as Bin Packing, Traveling Salesman Problem (TSP), Capacitated Vehicle Routing Problem (CVRP), and Job Shop Scheduling.
Key contributions include the development of 'verbal gradients' and 'Thought-then-Code' prompting strategies (ReEvo, EoH) for reflective evolution, achieving high sample efficiency (e.g., ReEvo with ~100 evaluations). CAE introduces bi-dimensional structural-functional co-evolution, reducing TSP optimality gaps by 2-5% by evolving control flow graphs. STRCMP integrates Graph Neural Networks (GNNs) to encode structural priors, drastically cutting convergence times on MILP/SAT. EvoTune and CALM pioneer 'RL-infused evolution,' fine-tuning LLMs with DPO or GRPO during search, leading to superior heuristics and faster discovery; CALM notably outperforms GPT-4o baselines using a smaller, quantized model. For multi-objective problems, MEoH and E2OC leverage AST-based dissimilarity and strategy-first MCTS to manage diversity and operator coupling, yielding 16x faster TSP heuristics (MEoH) and +20% Hypervolume on FJSP (E2OC). Critically, Zhang et al. (2407.10873) benchmarked these methods, revealing that simple (1+1)-EPS often matches or surpasses complex population-based approaches, underscoring the need for robust baselines.
This front is rapidly emerging, transitioning from foundational LLM-in-the-loop evolution to more sophisticated, hybrid architectures. The trajectory indicates a strong emphasis on enhancing the efficiency, robustness, and generalizability of LLM-driven search through improved population management, structural awareness, and continuous LLM adaptation. Future work will likely focus on integrating these advanced mechanisms into unified, theoretically grounded frameworks, exploring their scalability to even more complex, real-world problems, and optimizing their computational budgets.
Inst:City University of. 18% · Peking University 9% · Huawei Noah Ark. 9% · Tsinghua University 9%
This research front is characterized by significant architectural and methodological advancements in LLM-guided evolutionary heuristic design, moving beyond basic "Evolution of Heuristics" (EoH) paradigms. Key innovations include nested evolutionary frameworks like TIDE for decoupling structural and parameter optimization, co-evolutionary approaches for prompts (e.g., [2]) and adversarial instances (ASRO [4]), and novel graph-based representations such as EvoLattice [9] for persistent population evolution. The focus is on enhancing the robustness, generalization, and efficiency of LLM-generated algorithms for combinatorial optimization problems like TSP, CVRP, and various scheduling tasks.
Papers in this front introduce specific frameworks and achieve notable quantitative improvements. TIDE [1] demonstrates a nested evolutionary framework with a parameter-tuning inner loop, reducing the gap on Constructive TSP N=50 by 7.35% compared to EoH. The co-evolution of Fireworks Algorithm operators and prompts [2] achieved a 105.34% performance on Aircraft Landing, significantly outperforming EoH (43.04%). EoH-S [3] introduced the concept of evolving heuristic sets, reducing optimality gaps by 40-60% on TSPLib and CVRPLib. ASRO [4] applied game-theoretic co-evolution with adversarial instance generation, outperforming EoH by 0.5-30% across OBP, TSP, and CVRP. EvoLattice [9] showcased a multi-alternative Quality-Diversity DAG representation, yielding +158.3%
on NAS-Bench-Suite-Zero by providing fine-grained performance signals. Other contributions include multi-agent systems (RoCo [6]), online operator design (LLM4EO [7]), and MCTS-guided interdependent operator evolution (E2OC [10]).
This front is rapidly emerging, characterized by a strong drive to overcome fundamental limitations of initial LLM-based algorithm design methods. The consistent introduction of novel architectural patterns (nested loops, co-evolution, multi-agent systems, graph representations) suggests a maturing understanding of how to effectively integrate LLMs into complex search processes. The next papers are likely to focus on scaling these advanced architectures to larger, more complex real-world problems, improving computational efficiency, and developing more sophisticated mechanisms for LLM-human collaboration in the design loop. Specifically, we can expect further work on dynamic curriculum generation (e.g., building on [5]), refined prompt engineering tactics (e.g., [11]), and robust handling of multi-objective and constrained optimization.
Inst:Victoria University of. 17% · Michigan State University 17% · DeepMind 17% · TU Berlin 17%
This research front explores advanced methods for LLM-driven automated algorithm design, focusing on frameworks like LLaMEA and the Evolution Transformer. A central theme is decoupling algorithm discovery from expensive real-world evaluations by generating symbolic problem proxies, alongside the development of sophisticated feedback mechanisms for guiding the evolutionary process.
Key contributions include Yin et al.'s LLaMEA framework, which uses Genetic Programming to evolve symbolic proxy functions that statistically mimic problem landscapes, outperforming baselines on photonics problems with significantly fewer real evaluations. Zhang et al. introduced an LLM-driven meta-evolutionary framework for symbolic regression, achieving state-of-the-art results on SRBench by evolving semantics-aware selection operators. Lange et al.'s Evolution Transformer learns evolutionary strategy updates and employs Self-Referential Algorithm Distillation (SR-EAD) for self-improvement, demonstrating strong generalization on Brax tasks. Further, LLaMEA-SAGE integrates Explainable AI (SHAP analysis of AST features) to provide structural feedback, guiding LLM mutations and accelerating convergence on black-box optimization benchmarks. Huang et al.'s EvoGit proposes a decentralized multi-agent code evolution system leveraging Git for managing lineage and concurrency.
This front is rapidly emerging, characterized by a strong emphasis on sample efficiency, interpretability, and robust feedback loops for LLM-driven algorithm design. The trajectory indicates a move towards more sophisticated integration of problem landscape understanding, code structure analysis, and decentralized collaboration. Future work will likely focus on unifying these diverse feedback mechanisms within scalable, self-improving frameworks and extending their applicability to more complex, high-dimensional, and multi-objective real-world optimization challenges.
LLM4DRD employs a dual-agent framework (Generator & Evaluator) to evolve priority dispatching rules for dynamic flexible assembly flow shops. The core contribution is the **Hybrid Evaluation** mechani...
E2OC introduces a hierarchical search framework where MCTS optimizes 'design thoughts' (textual strategies) rather than raw code, subsequently using these strategies to guide a coordinate-descent-styl...
Huang et al. introduce EvoGit, a framework where LLM agents asynchronously evolve code by treating Git commits as the population and using 3-way merges (based on Lowest Common Ancestor) as crossover. ...
Zhang et al. develop a meta-evolutionary framework to evolve selection operators for symbolic regression, achieving state-of-the-art results on SRBench by outperforming expert-designed methods like ε-...
TRUE SYNTHESISFront 1 → Front 8, Front 2, Front 0, Front 5
2025-08-20 · 2508.03082
EoH-S reformulates Automated Heuristic Design (AHD) to evolve a complementary *set* of heuristics rather than a single robust one, proving the objective is submodular and solvable via a greedy strateg...
Framework Genealogy
Tracking research lineages and framework evolution