Skip to content

About

Stay current on high-quality work at the Operations Research × AI intersection. A research agent performs deep, multi-pass analysis of each paper, scores relevance, and curates what matters, helping you spot trends and gaps faster.

Topics

Resources

Stars

11 stars

Watchers

1 watching

Forks

Repository files navigation

Updated on 2026.10.20

Table of Contents
  1. LLMs for Algorithm Design
  2. Generative AI for OR
  3. OR for Generative AI

LLMs for Algorithm Design

🆕 Most Recent

Date Title Authors Affiliation Links
2026-09-04
CoSkill: Joint Reinforcement Learning of Reasoning and Meta-Skill Agents for Hierarchical Skill EvolutionCoSkill introduces a multi-agent reinforcement learning framework where a Reasoning Agent and a Meta-Skill Agent are jointly trained to co-evolve a hierarchical skill library alongside the reasoning policy. The results are rigorously backed by empirical data, achieving state-of-the-art success rates of 98.4% on ALFWorld and 90.6% on WebShop while demonstrating superior sample efficiency. The key insight is treating the skill editor (the Meta-Skill Agent) as a learnable policy rather than a frozen LLM prompt, updating it via RL using post-edit verification success as a delayed reward. This is highly relevant for LLM evolutionary search and multi-agent optimization, as it provides a concrete, RL-backed methodology for 'evolving the evolver' and maintaining a high-utility persistent memory of discovered procedures.
Jinyuan Feng et.al. ByteDance, Institute of Automation Chinese Academy of Sciences, Renmin University of China pdf / code
2026-09-02
RideSkill: A Hierarchical Algorithm for Generalized Ride Sharing with LLM-Driven Automatic EvolutionThis paper proposes RideSkill, a hierarchical ride-sharing dispatch algorithm where a skill repository, a skill combiner, and a vehicle repositioner are all generated offline via LLM-assisted evolutionary search. The results are backed by strong empirical evidence on large-scale NYC data (up to 1500 vehicles), outperforming MARL and prior LLM-based heuristics by 11-40% in reward while drastically reducing detour times. The key insight is the integration of a self-check audit loop where the LLM evaluates empirical rollout metrics against its intended design, alongside a zero-shot combiner that probes unknown objective functions at runtime to dynamically mix frozen skills. This is highly relevant for LLM evolutionary search and multi-agent optimization, as the self-auditing mechanism and multi-task fitness normalization directly address sample efficiency and search signal quality in automated algorithm design.
Zijian Zhao et.al. Huawei, The Hong Kong University of Science and Technology pdf / code
2026-08-25
Recursive Experiential-Working Memory Evolution for Long-Horizon Agent HarnessesRecuris introduces a recursive memory evolution architecture that couples Working Memory (for task state tracking) with Experiential Memory (for skill storage), using structured execution traces to localize failures and apply validation-gated updates to specific memory components. The results are backed by rigorous empirical evidence, showing massive gains on long-horizon tasks (e.g., +17.8 points for GPT-5.6 Sol and +15.6 for Claude Opus 5 on the $\tau$2-Retail benchmark). The key insight is using structured execution traces to localize failures to specific harness components (skill content, state tracking, invocation trigger, or verification checker) rather than rewriting the entire memory or prompt, enabling highly targeted and stable evolutionary updates. This is highly relevant for LLM evolutionary search and multi-agent optimization, as it provides a concrete mechanism for persistent memory evolution, step-by-step credit assignment, and safe recursive self-improvement.
Zhaochen Yu et.al. Princeton University, Stanford University, University of Oxford, NUS pdf / code
2026-08-25
RecurSE: Bounded Recursive Self-Evaluation for LLM Rubric JudgesRECURSE enables LLM judges to recursively self-improve via RL by using a synchronized copy of the policy as a process checker to provide scalar rewards, eliminating the need for external reward models. The method is backed by strong empirical results across Qwen and Gemma models, showing significant improvements on held-out transfer benchmarks like HealthBench and CheckEval. The key insight is 'interface decoupling'—structurally separating the judge's output format (YES/NO tokens) from the checker's reward format (0-4 scalar) to prevent the policy from exploiting token-copying shortcuts during self-play. Furthermore, tracking checker ranking fidelity on a small holdout set reliably prevents over-optimization. This is highly relevant for our work on process reward models and RL-infused search, providing a concrete mechanism to train reliable process evaluators without massive human annotation.
Kaiyuan Liu et.al. Zhejiang University, Meituan LongCat Team pdf / code
2026-08-24
FormuEvo: LLM-Guided Evolution for Discovering Solver-Efficient Mixed-Integer Programming FormulationsFormuEvo is an LLM-guided evolutionary framework that discovers solver-efficient mixed-integer programming (MIP) formulations by searching the symbolic space of executable modeling programs. Backed by strong empirical results, it accelerates solvers by up to 5.5x compared to expert-designed formulations and existing LLM-based cutting plane generation baselines across diverse OR benchmarks. THE KEY INSIGHT is the 'solver-informed diagnosis' mechanism, which translates fine-grained solver statistics (e.g., root gap, branch-and-bound node count, presolve reductions) into interpretable verbal gradients to guide LLM mutation, coupled with a structured memory of Condition-Strategy-Effect triplets. This is highly relevant to our work in LLM evolutionary search; adopting internal solver statistics as dense feedback signals rather than relying solely on end-to-end runtime fitness can drastically improve sample efficiency and search direction.
Haofeng Yuan et.al. Tsinghua University, Nanyang Technological University, Singapore Management University pdf / code

⭐ Best Papers

Score Date Title Authors Affiliation Links
27/30 2026-08-24
FormuEvo: LLM-Guided Evolution for Discovering Solver-Efficient Mixed-Integer Programming FormulationsFormuEvo is an LLM-guided evolutionary framework that discovers solver-efficient mixed-integer programming (MIP) formulations by searching the symbolic space of executable modeling programs. Backed by strong empirical results, it accelerates solvers by up to 5.5x compared to expert-designed formulations and existing LLM-based cutting plane generation baselines across diverse OR benchmarks. THE KEY INSIGHT is the 'solver-informed diagnosis' mechanism, which translates fine-grained solver statistics (e.g., root gap, branch-and-bound node count, presolve reductions) into interpretable verbal gradients to guide LLM mutation, coupled with a structured memory of Condition-Strategy-Effect triplets. This is highly relevant to our work in LLM evolutionary search; adopting internal solver statistics as dense feedback signals rather than relying solely on end-to-end runtime fitness can drastically improve sample efficiency and search direction.
Haofeng Yuan et.al. Tsinghua University, Nanyang Technological University, Singapore Management University pdf / code
25/30 2026-09-02
RideSkill: A Hierarchical Algorithm for Generalized Ride Sharing with LLM-Driven Automatic EvolutionThis paper proposes RideSkill, a hierarchical ride-sharing dispatch algorithm where a skill repository, a skill combiner, and a vehicle repositioner are all generated offline via LLM-assisted evolutionary search. The results are backed by strong empirical evidence on large-scale NYC data (up to 1500 vehicles), outperforming MARL and prior LLM-based heuristics by 11-40% in reward while drastically reducing detour times. The key insight is the integration of a self-check audit loop where the LLM evaluates empirical rollout metrics against its intended design, alongside a zero-shot combiner that probes unknown objective functions at runtime to dynamically mix frozen skills. This is highly relevant for LLM evolutionary search and multi-agent optimization, as the self-auditing mechanism and multi-task fitness normalization directly address sample efficiency and search signal quality in automated algorithm design.
Zijian Zhao et.al. Huawei, The Hong Kong University of Science and Technology pdf / code
25/30 2026-08-24
Autonomous Mathematical Discovery in an Open-World Multi-Agent EnvironmentThis paper introduces an open-world multi-agent environment where LLMs autonomously conduct mathematical research, write papers, and build on shared literature to solve complex construction problems. The results are rigorously backed by numbers, with the system discovering novel infinite families and exact configurations that outperform AlphaEvolve on several benchmarks (e.g., a 604-point kissing configuration in d=11). The key insight is that replacing rigid evolutionary pipelines with a persistent 'Archive Room' (shared memory) and 'Stagnation/Holiday' protocols allows agents to escape local optima and accumulate knowledge across generations. This is highly relevant for our work in LLM evolutionary search and multi-agent optimization, as adopting shared literature memory and stagnation-breaking mechanisms could significantly improve sample efficiency and prevent idea stagnation in automated heuristic discovery.
Stephen Chung et.al. University of Cambridge, University of California San Diego, University of Hong Kong, DualverseAI pdf / code
24/30 2026-09-04
CoSkill: Joint Reinforcement Learning of Reasoning and Meta-Skill Agents for Hierarchical Skill EvolutionCoSkill introduces a multi-agent reinforcement learning framework where a Reasoning Agent and a Meta-Skill Agent are jointly trained to co-evolve a hierarchical skill library alongside the reasoning policy. The results are rigorously backed by empirical data, achieving state-of-the-art success rates of 98.4% on ALFWorld and 90.6% on WebShop while demonstrating superior sample efficiency. The key insight is treating the skill editor (the Meta-Skill Agent) as a learnable policy rather than a frozen LLM prompt, updating it via RL using post-edit verification success as a delayed reward. This is highly relevant for LLM evolutionary search and multi-agent optimization, as it provides a concrete, RL-backed methodology for 'evolving the evolver' and maintaining a high-utility persistent memory of discovered procedures.
Jinyuan Feng et.al. ByteDance, Institute of Automation Chinese Academy of Sciences, Renmin University of China pdf / code
24/30 2026-08-25
Recursive Experiential-Working Memory Evolution for Long-Horizon Agent HarnessesRecuris introduces a recursive memory evolution architecture that couples Working Memory (for task state tracking) with Experiential Memory (for skill storage), using structured execution traces to localize failures and apply validation-gated updates to specific memory components. The results are backed by rigorous empirical evidence, showing massive gains on long-horizon tasks (e.g., +17.8 points for GPT-5.6 Sol and +15.6 for Claude Opus 5 on the $\tau$2-Retail benchmark). The key insight is using structured execution traces to localize failures to specific harness components (skill content, state tracking, invocation trigger, or verification checker) rather than rewriting the entire memory or prompt, enabling highly targeted and stable evolutionary updates. This is highly relevant for LLM evolutionary search and multi-agent optimization, as it provides a concrete mechanism for persistent memory evolution, step-by-step credit assignment, and safe recursive self-improvement.
Zhaochen Yu et.al. Princeton University, Stanford University, University of Oxford, NUS pdf / code
24/30 2026-08-19
Eureka: Task-Conditioned Meta-Agent Orchestration for Scientific DiscoveryManXis introduces Eureka, a task-conditioned Meta-Agent architecture that dynamically compiles long-horizon tasks into obligation graphs and forms specialized Macro-Agents with tailored state, memory, and verifiers during execution. The results are backed by extensive empirical validation, including a 57.8% reduction in median context usage across 12,000 dependency-update tasks and successful application to open mathematical conjectures. The key insight is governed evolution: rather than continuously mutating the agent, the system uses a mathematically grounded cost-benefit threshold to trigger architecture evolution only when the expected amortized savings exceed the fixed cost of diagnosis and migration. This is highly relevant to LLM evolutionary search and multi-agent optimization, as it provides a rigorous, actionable framework for improving sample efficiency, managing persistent memory, and dynamically scaling agent architectures.
Alizer Wong et.al. Duke University, Shanghai Jiao Tong University, Hokkaido University, South China Normal University, Guangdong University of Technology, ManXis pdf / code
23/30 2026-08-25
RecurSE: Bounded Recursive Self-Evaluation for LLM Rubric JudgesRECURSE enables LLM judges to recursively self-improve via RL by using a synchronized copy of the policy as a process checker to provide scalar rewards, eliminating the need for external reward models. The method is backed by strong empirical results across Qwen and Gemma models, showing significant improvements on held-out transfer benchmarks like HealthBench and CheckEval. The key insight is 'interface decoupling'—structurally separating the judge's output format (YES/NO tokens) from the checker's reward format (0-4 scalar) to prevent the policy from exploiting token-copying shortcuts during self-play. Furthermore, tracking checker ranking fidelity on a small holdout set reliably prevents over-optimization. This is highly relevant for our work on process reward models and RL-infused search, providing a concrete mechanism to train reliable process evaluators without massive human annotation.
Kaiyuan Liu et.al. Zhejiang University, Meituan LongCat Team pdf / code

🔬 Research Fronts

Status Front Name Papers Front Analysis
✅ Stable Architectural and Feedback Innovations in LLM-Guided Evolutionary Algorithm Discovery
75
  1. optimize_anything: A Universal API for Optimizing any Text Parameter (27)
  2. Harnessing Agentic Evolution (27)
  3. TIDE: Tuning-Integrated Dynamic Evolution for LLM-Based Automated Heuristic Design (27)
  4. Game-Theoretic Co-Evolution for LLM-Based Heuristic Discovery (27)
  5. Discovering Multiagent Learning Algorithms with Large Language Models (27)
  6. BEAM: Bi-level Memory-adaptive Algorithmic Evolution for LLM-Powered Heuristic Design (27)
  7. FlashEvolve: Accelerating Agent Self-Evolution with Asynchronous Stage Orchestration (26)
  8. LLaMEA-SAGE: Guiding Automated Algorithm Design with Structural Feedback from Explainable AI (26)
  9. Contrastive Concept-Tree Search for LLM-Assisted Algorithm Discovery (26)
  10. EvoLattice: Persistent Internal-Population Evolution through Multi-Alternative Quality-Diversity Graph Representations for LLM-Guided Program Discovery (26)
  11. CALM: Co-evolution of Algorithms and Language Model for Automatic Heuristic Design (26)
  12. Effective Harness Engineering for Algorithm Discovery with Coding Agents (26)
  13. DyACE: Dynamic Algorithm Co-evolution for Online Automated Heuristic Design with Large Language Model (26)
  14. Budget-Efficient Automatic Algorithm Design via Code Graph (25)
  15. Rethinking Code Similarity for Automated Algorithm Design with LLMs (25)
  16. Multi-objective Evolution of Heuristic Using Large Language Model (25)
  17. Automated Algorithmic Discovery for Scientific Computing through LLM-Guided Evolutionary Search: A Case Study in Gravitational-Wave Detection (25)
  18. LEVI: Stronger Search Architectures Can Substitute for Larger LLMs in Evolutionary Search (25)
  19. STRCMP: Integrating Graph Structural Priors with Language Models for Combinatorial Optimization (25)
  20. A2DEPT: Large Language Model-Driven Automated Algorithm Design via Evolutionary Program Trees (25)
  21. Learning to Evolve: A Self-Improving Framework for Multi-Agent Systems via Textual Parameter Graph Optimization (25)
  22. EoH-S: Evolution of Heuristic Set using LLMs for Automated Heuristic Design (25)
  23. DHEvo: Data-Algorithm Based Heuristic Evolution for Generalizable MILP Solving (25)
  24. ReEvo: Large Language Models as Hyper-Heuristics with Reflective Evolution (25)
  25. Evolution of Heuristics: Towards Efficient Automatic Algorithm Design Using Large Language Model (25)
  26. Breaking Validity-Induced Boundaries to Expand Algorithm Search Space: A Two-Stage AST-Based Operator for LLM-Driven Automated Heuristic Evolution (24)
  27. RF-Agent: Automated Reward Function Design via Language Agent Tree Search (24)
  28. HMACE: Heterogeneous Multi-Agent Collaborative Evolution for Combinatorial Optimization (24)
  29. PathWise: Planning through World Model for Automated Heuristic Design via Self-Evolving LLMs (24)
  30. Landscape-aware Automated Algorithm Design: An Efficient Framework for Real-world Optimization (24)
  31. Programmatic Representation Learning with Language Models (24)
  32. EvolveMem:Self-Evolving Memory Architecture via AutoResearch for LLM Agents (24)
  33. Evolution Transformer: In-Context Evolutionary Optimization (24)
  34. QUBE: Enhancing Automatic Heuristic Design via Quality-Uncertainty Balanced Evolution (24)
  35. Enhancing CVRP Solver through LLM-driven Automatic Heuristic Design (24)
  36. Property-Guided LLM Program Synthesis for Planning (24)
  37. Algorithm Discovery With LLMs: Evolutionary Search Meets Reinforcement Learning (24)
  38. ArchAgent: Agentic AI-driven Computer Architecture Discovery (23)
  39. CreativeBench: Benchmarking and Enhancing Machine Creativity via Self-Evolving Challenges (23)
  40. Code-Space Response Oracles: Generating Interpretable Multi-Agent Policies with Large Language Models (23)
  41. Weights to Code: Extracting Interpretable Algorithms from the Discrete Transformer (23)
  42. Amplifying human performance in combinatorial competitive programming (23)
  43. Experience-Guided Reflective Co-Evolution of Prompts and Heuristics for Automatic Algorithm Design (23)
  44. FunBO: Discovering Acquisition Functions for Bayesian Optimization with FunSearch (23)
  45. Evolutionary Discovery of Reinforcement Learning Algorithms via Large Language Models (23)
  46. Behaviour Space Analysis of LLM-driven Meta-heuristic Discovery (23)
  47. StitchCUDA: An Automated Multi-Agents End-to-End GPU Programing Framework with Rubric-based Agentic Reinforcement Learning (23)
  48. KernelFoundry: Hardware-aware evolutionary GPU kernel optimization (23)
  49. RubricEM: Meta-RL with Rubric-guided Policy Decomposition beyond Verifiable Rewards (23)
  50. Online Operator Design in Evolutionary Optimization for Flexible Job Shop Scheduling via Large Language Models (22)
  51. AlphaInventory: Evolving White-Box Inventory Policies via Large Language Models with Deployment Guarantees (22)
  52. Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical Discovery (22)
  53. CoupleEvo: Evolving Heuristics for Coupled Optimization Problems Using Large Language Models (22)
  54. How Should We Meta-Learn Reinforcement Learning Algorithms? (22)
  55. Out-of-Distribution Generalization in the ARC-AGI Domain: Comparing Execution-Guided Neural Program Synthesis and Test-Time Fine-Tuning (22)
  56. HSEvo: Elevating Automatic Heuristic Design with Diversity-Driven Harmony Search and Genetic Algorithm Using LLMs (22)
  57. ImprovEvolve: Ask AlphaEvolve to Improve the Input Solution and Then Improvise (21)
  58. CASTER: Breaking the Cost-Performance Barrier in Multi-Agent Orchestration via Context-Aware Strategy for Task Efficient Routing (21)
  59. Adapting AlphaEvolve to Optimize Fully Homomorphic Encryption on TPUs (21)
  60. Automatic Design of Optimization Test Problems with Large Language Models (21)
  61. Mining Generalizable Activation Functions (21)
  62. LLM-Assisted Automatic Dispatching Rule Design for Dynamic Flexible Assembly Flow Shop Scheduling (20)
  63. Reinforced Generation of Combinatorial Structures: Ramsey Numbers (20)
  64. Understanding the Importance of Evolutionary Search in Automated Heuristic Design with Large Language Models (20)
  65. Automatic programming via large language models with population self-evolution for dynamic job shop scheduling problem (20)
  66. ProxyWar: Dynamic Assessment of LLM Code Generation in Game Arenas (19)
  67. Learning to Evolve for Optimization via Stability-Inducing Neural Unrolling (19)
  68. LLM-Guided Search for Deletion-Correcting Codes (19)
  69. Structuring Collective Action with LLM-Guided Evolution: From Ill-Structured Problems to Executable Heuristics (19)
  70. Graph-Grounded Optimization: Rao-Family Metaheuristics, Classical OR, and SLM-Driven Formulation over Knowledge Graphs (19)
  71. tnGPS: Discovering Unknown Tensor Network Structure Search Algorithms via Large Language Models (LLMs) (19)
  72. RankEvolve: Automating the Discovery of Retrieval Algorithms via LLM-Driven Evolution (18)
  73. Autonomous Algorithm Discovery for Ptychography via Evolutionary LLM Reasoning (18)
  74. LLM Guided Evolution -- The Automation of Models Advancing Models (18)
  75. EvoVLMA: Evolutionary Vision-Language Model Adaptation (18)
View analysisThis research front focuses on advancing LLM-guided evolutionary search for automated algorithm discovery, moving beyond basic generate-and-test loops. The core theme involves developing sophisticated architectural designs and feedback mechanisms to enhance the efficiency, robustness, and discovery capabilities of frameworks like AlphaEvolve, FunSearch, and EoH. Key innovations include multi-agent orchestration, bi-level optimization, graph-based program representations, and dynamic adaptation of the evolutionary process itself.

Papers in this front introduce novel techniques such as FlashEvolve for asynchronous evolutionary orchestration (up to 4.9x throughput), LEVI for cost-efficient search using role-aware LLM routing and proxy benchmarks (3.3-6.7x lower cost), and BEAM for bi-level optimization with import-based memory (37.84% gap reduction on CVRP). Feedback mechanisms are critical, with LLaMEA-SAGE using AST features and SHAP for structural guidance, BehaveSim measuring algorithmic similarity via execution trajectories (7.8% gap reduction on TSP), and Property-Guided LLM Program Synthesis leveraging counterexamples for 7.4x lower LLM cost. Other contributions include EvoLattice's multi-alternative DAGs for component-level credit assignment, DyACE's dynamic algorithm co-evolution with look-ahead rollouts, and AlphaInventory's RL-infused evolution with statistical certification for inventory policies.

This front is rapidly maturing, characterized by a shift from demonstrating LLM capability in algorithm design to rigorously improving the underlying search infrastructure and feedback loops. The trajectory indicates a strong focus on sample efficiency, generalization, and architectural robustness, with a clear move towards integrating advanced concepts from meta-learning, multi-agent systems, and program analysis. The likely next papers will focus on formalizing the theoretical guarantees of LLM-evolved algorithms, developing more adaptive and self-improving meta-evolutionary systems, and scaling these techniques to real-world, high-stakes problems with strict performance and safety constraints.
📈 Growing Adaptive and Meta-Evolutionary LLM Frameworks for Algorithmic Discovery
67
  1. AlphaEvolve: A coding agent for scientific and algorithmic discovery (30)
  2. Learning to Discover at Test Time (29)
  3. Heuristic Search as Language-Guided Program Optimization (28)
  4. LoongFlow: Directed Evolutionary Search via a Cognitive Plan-Execute-Summarize Paradigm (28)
  5. Autonomous Code Evolution Meets NP-Completeness (28)
  6. Darwin Godel Machine: Open-Ended Evolution of Self-Improving Agents (28)
  7. ThetaEvolve: Test-time Learning on Open Problems (28)
  8. Refining Hybrid Genetic Search for CVRP via Reinforcement Learning-Finetuned LLM (28)
  9. Hyperagents (28)
  10. DeltaEvolve: Accelerating Scientific Discovery through Momentum-Driven Evolution (28)
  11. AdaEvolve: Adaptive LLM Driven Zeroth-Order Optimization (27)
  12. EvoX: Meta-Evolution for Automated Discovery (27)
  13. SeaEvo: Advancing Algorithm Discovery with Strategy Space Evolution (27)
  14. Vector Policy Optimization: Training for Diversity Improves Test-Time Search (27)
  15. From Understanding to Excelling: Template-Free Algorithm Design through Structural-Functional Co-Evolution (26)
  16. Can Large Language Models Invent Algorithms to Improve Themselves?: Algorithm Discovery for Recursive Self-Improvement through Reinforcement Learning (26)
  17. AVO: Agentic Variation Operators for Autonomous Evolutionary Search (26)
  18. Advancing Automated Algorithm Design via Evolutionary Stagewise Design with LLMs (26)
  19. Robust Heuristic Algorithm Design with LLMs (26)
  20. Let the Barbarians In: How AI Can Accelerate Systems Performance Research (26)
  21. ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolution (26)
  22. Kernel-Smith: A Unified Recipe for Evolutionary Kernel Optimization (26)
  23. ResearchEVO: An End-to-End Framework for Automated Scientific Discovery and Documentation (25)
  24. RoboPhD: Evolving Diverse Complex Agents Under Tight Evaluation Budgets (25)
  25. ReVEL: Multi-Turn Reflective LLM-Guided Heuristic Evolution via Structured Performance Feedback (25)
  26. CliffSearch: Structured Agentic Co-Evolution over Theory and Code for Scientific Algorithm Discovery (25)
  27. Teacher-Aware Evolution of Heuristic Programs from Learned Optimization Policies (25)
  28. MetaAgent-X : Breaking the Ceiling of Automatic Multi-Agent Systems via End-to-End Reinforcement Learning (25)
  29. CausalEvolve: Towards Open-Ended Discovery with Causal Scratchpad (25)
  30. G-LNS: Generative Large Neighborhood Search for LLM-Based Automatic Heuristic Design (25)
  31. Mathematical exploration and discovery at scale (25)
  32. MadEvolve: Evolutionary Optimization of Cosmological Algorithms with Large Language Models (24)
  33. SkillOS: Learning Skill Curation for Self-Evolving Agents (24)
  34. READY: Reward Discovery for Meta-Black-Box Optimization (24)
  35. CodeEvolve: an open source evolutionary coding agent for algorithm discovery and optimization (24)
  36. Evolutionary Ensemble of Agents (24)
  37. Evolving Interdependent Operators with Large Language Models for Multi-Objective Combinatorial Optimization (24)
  38. Scientific Algorithm Discovery by Augmenting AlphaEvolve with Deep Research (24)
  39. ParEVO: Synthesizing Code for Irregular Data: High-Performance Parallelism through Agentic Evolution (24)
  40. Beyond Algorithm Evolution: An LLM-Driven Framework for the Co-Evolution of Swarm Intelligence Optimization Algorithms and Prompts (24)
  41. Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning (24)
  42. TacoMAS: Test-Time Co-Evolution of Topology and Capability in LLM-based Multi-Agent Systems (24)
  43. Magellan: Autonomous Discovery of Novel Compiler Optimization Heuristics with AlphaEvolve (24)
  44. C-Evolve: Consensus-based Evolution for Prompt Groups (24)
  45. Reinforced Generation of Combinatorial Structures: Hardness of Approximation (23)
  46. Barbarians at the Gate: How AI is Upending Systems Research (23)
  47. LLM-Meta-SR: In-Context Learning for Evolving Selection Operators in Symbolic Regression (23)
  48. Beyond the Training Distribution: Mapping Generalization Boundaries in Neural Program Synthesis (23)
  49. GeoEvolve: Automating Geospatial Model Discovery via Multi-Agent Large Language Models (23)
  50. COvolve: Adversarial Co-Evolution of Large-Language-Model-Generated Policies and Environments via Two-Player Zero-Sum Game (23)
  51. RoCo: Role-Based LLMs Collaboration for Automatic Heuristic Design (23)
  52. GigaEvo: An Open Source Optimization Framework Powered By LLMs And Evolution Algorithms (23)
  53. CVEvolve: Autonomous Algorithm Discovery for Unstructured Scientific Data Processing (22)
  54. Procedural Generation of Algorithm Discovery Tasks in Machine Learning (22)
  55. EvoGit: Decentralized Code Evolution via Git-Based Multi-Agent Collaboration (22)
  56. MAS$^2$: Self-Generative, Self-Configuring, Self-Rectifying Multi-Agent Systems (22)
  57. CDEoH: Category-Driven Automatic Algorithm Design With Large Language Models (22)
  58. Global Optimization for Combinatorial Geometry Problems Revisited in the Era of LLMs (21)
  59. Talking to Yourself: Defying Forgetting in Large Language Models (20)
  60. The Art of Being Difficult: Combining Human and AI Strengths to Find Adversarial Instances for Heuristics (20)
  61. AlphaResearch: Accelerating New Algorithm Discovery with Language Models (20)
  62. PRIME: Training Free Proactive Reasoning via Iterative Memory Evolution for User-Centric Agent (20)
  63. Algorithmic Prompt-Augmentation for Efficient LLM-Based Heuristic Design for A Search (20)
  64. GR-Evolve: Design-Adaptive Global Routing via LLM-Driven Algorithm Evolution (19)
  65. Persona Generators: Generating Diverse Synthetic Personas at Scale (19)
  66. WirelessAgent++: Automated Agentic Workflow Design and Benchmarking for Wireless Networks (19)
  67. Explainable AI-assisted Optimization for Feynman Integral Reduction (18)
View analysisThis research front is defined by the rapid advancement of LLM-driven evolutionary search for automated algorithm design and optimization. It extends foundational frameworks like AlphaEvolve, FunSearch, and EoH by incorporating sophisticated meta-evolutionary, adaptive, and co-evolutionary mechanisms. The core theme revolves around enhancing the search process itself, moving beyond simple LLM prompting to tackle complex problems in combinatorial optimization, scientific discovery, heuristic design, GPU kernel optimization, and multi-agent systems.

Key contributions include architectural innovations such as EvoX and DGM-Hyperagents, which jointly evolve solutions and the search strategies themselves, demonstrating "evolving the evolver" capabilities. Adaptive frameworks like AdaEvolve and LoongFlow introduce hierarchical controllers and cognitive Plan-Execute-Summarize loops for improved sample efficiency, while SeaEvo leverages strategy-space layers for diverse parent selection. Co-evolutionary paradigms are prominent, with G-LNS optimizing interdependent destroy/repair operators, COvolve adversarially co-evolving policies and environments via PSRO, and MAS2 enabling self-generative, self-rectifying multi-agent systems. Papers like ThetaEvolve, Kernel-Smith, and VPO integrate Reinforcement Learning (e.g., GRPO, DAPO) to fine-tune LLMs as mutation operators, achieving new SOTA on Circle Packing and GPU kernel optimization (e.g., 3.70x speedup on KernelBench). Empirical results are robust, with SATLUTION outperforming 2025 SAT competition winners and G-LNS beating OR-Tools on large CVRP instances. However, Berthold et al. provide a crucial reality check, showing that classical global NLP solvers can outperform AlphaEvolve on some benchmarks, suggesting hybrid approaches.

This front is in a highly dynamic and rapidly maturing phase, characterized by a shift from brute-force LLM prompting to intelligent, self-improving search architectures. The trajectory indicates a strong focus on refining feedback loops, developing persistent memory mechanisms, and enabling meta-learning within the evolutionary process. Future work will likely concentrate on formalizing convergence guarantees for agent-guided operators, integrating multi-modal and physics-informed feedback, and scaling to truly open-ended scientific discovery with minimal human intervention, potentially through automated curriculum generation and cross-task transfer learning.
📋 Full list (203 papers, sorted by date)

Score Date Title Authors Affiliation Venue Links
24/30 2026-09-04
CoSkill: Joint Reinforcement Learning of Reasoning and Meta-Skill Agents for Hierarchical Skill EvolutionCoSkill introduces a multi-agent reinforcement learning framework where a Reasoning Agent and a Meta-Skill Agent are jointly trained to co-evolve a hierarchical skill library alongside the reasoning policy. The results are rigorously backed by empirical data, achieving state-of-the-art success rates of 98.4% on ALFWorld and 90.6% on WebShop while demonstrating superior sample efficiency. The key insight is treating the skill editor (the Meta-Skill Agent) as a learnable policy rather than a frozen LLM prompt, updating it via RL using post-edit verification success as a delayed reward. This is highly relevant for LLM evolutionary search and multi-agent optimization, as it provides a concrete, RL-backed methodology for 'evolving the evolver' and maintaining a high-utility persistent memory of discovered procedures.
Jinyuan Feng et.al. ByteDance, Institute of Automation Chinese Academy of Sciences, Renmin University of China pdf / code
25/30 2026-09-02
RideSkill: A Hierarchical Algorithm for Generalized Ride Sharing with LLM-Driven Automatic EvolutionThis paper proposes RideSkill, a hierarchical ride-sharing dispatch algorithm where a skill repository, a skill combiner, and a vehicle repositioner are all generated offline via LLM-assisted evolutionary search. The results are backed by strong empirical evidence on large-scale NYC data (up to 1500 vehicles), outperforming MARL and prior LLM-based heuristics by 11-40% in reward while drastically reducing detour times. The key insight is the integration of a self-check audit loop where the LLM evaluates empirical rollout metrics against its intended design, alongside a zero-shot combiner that probes unknown objective functions at runtime to dynamically mix frozen skills. This is highly relevant for LLM evolutionary search and multi-agent optimization, as the self-auditing mechanism and multi-task fitness normalization directly address sample efficiency and search signal quality in automated algorithm design.
Zijian Zhao et.al. Huawei, The Hong Kong University of Science and Technology pdf / code
24/30 2026-08-25
Recursive Experiential-Working Memory Evolution for Long-Horizon Agent HarnessesRecuris introduces a recursive memory evolution architecture that couples Working Memory (for task state tracking) with Experiential Memory (for skill storage), using structured execution traces to localize failures and apply validation-gated updates to specific memory components. The results are backed by rigorous empirical evidence, showing massive gains on long-horizon tasks (e.g., +17.8 points for GPT-5.6 Sol and +15.6 for Claude Opus 5 on the $\tau$2-Retail benchmark). The key insight is using structured execution traces to localize failures to specific harness components (skill content, state tracking, invocation trigger, or verification checker) rather than rewriting the entire memory or prompt, enabling highly targeted and stable evolutionary updates. This is highly relevant for LLM evolutionary search and multi-agent optimization, as it provides a concrete mechanism for persistent memory evolution, step-by-step credit assignment, and safe recursive self-improvement.
Zhaochen Yu et.al. Princeton University, Stanford University, University of Oxford, NUS pdf / code
23/30 2026-08-25
RecurSE: Bounded Recursive Self-Evaluation for LLM Rubric JudgesRECURSE enables LLM judges to recursively self-improve via RL by using a synchronized copy of the policy as a process checker to provide scalar rewards, eliminating the need for external reward models. The method is backed by strong empirical results across Qwen and Gemma models, showing significant improvements on held-out transfer benchmarks like HealthBench and CheckEval. The key insight is 'interface decoupling'—structurally separating the judge's output format (YES/NO tokens) from the checker's reward format (0-4 scalar) to prevent the policy from exploiting token-copying shortcuts during self-play. Furthermore, tracking checker ranking fidelity on a small holdout set reliably prevents over-optimization. This is highly relevant for our work on process reward models and RL-infused search, providing a concrete mechanism to train reliable process evaluators without massive human annotation.
Kaiyuan Liu et.al. Zhejiang University, Meituan LongCat Team pdf / code
27/30 2026-08-24
FormuEvo: LLM-Guided Evolution for Discovering Solver-Efficient Mixed-Integer Programming FormulationsFormuEvo is an LLM-guided evolutionary framework that discovers solver-efficient mixed-integer programming (MIP) formulations by searching the symbolic space of executable modeling programs. Backed by strong empirical results, it accelerates solvers by up to 5.5x compared to expert-designed formulations and existing LLM-based cutting plane generation baselines across diverse OR benchmarks. THE KEY INSIGHT is the 'solver-informed diagnosis' mechanism, which translates fine-grained solver statistics (e.g., root gap, branch-and-bound node count, presolve reductions) into interpretable verbal gradients to guide LLM mutation, coupled with a structured memory of Condition-Strategy-Effect triplets. This is highly relevant to our work in LLM evolutionary search; adopting internal solver statistics as dense feedback signals rather than relying solely on end-to-end runtime fitness can drastically improve sample efficiency and search direction.
Haofeng Yuan et.al. Tsinghua University, Nanyang Technological University, Singapore Management University the Proceedings of EMNLP 2026 pdf / code
25/30 2026-08-24
Autonomous Mathematical Discovery in an Open-World Multi-Agent EnvironmentThis paper introduces an open-world multi-agent environment where LLMs autonomously conduct mathematical research, write papers, and build on shared literature to solve complex construction problems. The results are rigorously backed by numbers, with the system discovering novel infinite families and exact configurations that outperform AlphaEvolve on several benchmarks (e.g., a 604-point kissing configuration in d=11). The key insight is that replacing rigid evolutionary pipelines with a persistent 'Archive Room' (shared memory) and 'Stagnation/Holiday' protocols allows agents to escape local optima and accumulate knowledge across generations. This is highly relevant for our work in LLM evolutionary search and multi-agent optimization, as adopting shared literature memory and stagnation-breaking mechanisms could significantly improve sample efficiency and prevent idea stagnation in automated heuristic discovery.
Stephen Chung et.al. University of Cambridge, University of California San Diego, University of Hong Kong, DualverseAI pdf / code
23/30 2026-08-21
AsmEvo: Agentic Assembly-Level Optimization of AMD GPU Kernels with Functional Equivalence VerificationAsmEvo uses a long-horizon LLM agent to optimize compiled AMD GPU kernels at the assembly level, relying on the original binary as a differential oracle to verify functional equivalence before measuring performance. The paper presents strong empirical results on real hardware (MI308X/MI300X), achieving up to 3.88x speedups on KernelBench and 1.18x geometric-mean speedups on production vLLM/SGLang Triton kernels. The key insight is the strict separation between the LLM proposer and a deterministic, correctness-gated verification harness (using real-dispatch capture for a non-hackable fitness signal), which prevents the search from exploiting fast but incorrect programs. This is highly relevant for our work in LLM evolutionary search and LLM serving optimization, as the architecture for verified composition and anti-stall memory can be directly adapted to improve the robustness and sample efficiency of our own agentic search frameworks.
Ji Liu et.al. Advanced Micro Devices, Inc. (AMD), Southern University of Science and Technology pdf / code
24/30 2026-08-19
Eureka: Task-Conditioned Meta-Agent Orchestration for Scientific DiscoveryManXis introduces Eureka, a task-conditioned Meta-Agent architecture that dynamically compiles long-horizon tasks into obligation graphs and forms specialized Macro-Agents with tailored state, memory, and verifiers during execution. The results are backed by extensive empirical validation, including a 57.8% reduction in median context usage across 12,000 dependency-update tasks and successful application to open mathematical conjectures. The key insight is governed evolution: rather than continuously mutating the agent, the system uses a mathematically grounded cost-benefit threshold to trigger architecture evolution only when the expected amortized savings exceed the fixed cost of diagnosis and migration. This is highly relevant to LLM evolutionary search and multi-agent optimization, as it provides a rigorous, actionable framework for improving sample efficiency, managing persistent memory, and dynamically scaling agent architectures.
Alizer Wong et.al. Duke University, Shanghai Jiao Tong University, Hokkaido University, South China Normal University, Guangdong University of Technology, ManXis pdf / code
19/30 2026-08-17
Improving the matrix multiplication exponent with modern optimization and AlphaEvolveThis paper applies gradient-based optimization and AlphaEvolve to the combination loss analysis problem, improving the theoretical upper bound on the matrix multiplication exponent to ω < 2.371177. The results are rigorously verified using rational arithmetic, proving a genuine state-of-the-art advance over the previous 2.371339 bound. The key insight for LLM evolutionary search is the preparation pipeline: the authors relaxed discrete max-entropy constraints into a differentiable tensor program using the Sinkhorn-Knopp algorithm and Jax, enabling hardware parallelization up to 7 million parameters. They then applied AlphaEvolve using 'evolving constructions' to iteratively refine the optimizer while passing the best solution state between generations. This is highly relevant for our work, as it demonstrates how to successfully scale LLM-driven algorithm discovery for massive, highly constrained combinatorial problems.
Emilien Dupont et.al. Google DeepMind, MIT, Carnegie Mellon University, Columbia University pdf / code
23/30 2026-08-17
GoalEvolve: From Handcrafted Algorithm Priors to Goal-Driven Evolution of Physical Design AlgorithmsGoalEvolve is an LLM-based evolutionary search framework that optimizes physical design algorithms by targeting final full-flow metrics rather than stage-local objectives. The results are backed by strong empirical evidence, demonstrating a 30.67% improvement in total negative slack over default OpenROAD and outperforming standard Codex goal mode under matched evaluation budgets. The key insight is the use of 'effect-debt analysis' combined with an Evolutionary Program Database (EPD), which tracks whether a local algorithmic change causes downstream degradation and stores this as persistent mechanism memory to guide future LLM prompts. This is highly relevant to our research in LLM evolutionary search; the team can adapt the EPD and effect-debt tracking to improve sample efficiency and credit assignment in our own multi-stage optimization pipelines, such as routing or scheduling.
Haixu Liu et.al. Fudan University pdf / code
25/30 2026-08-17
Competing at Every Price Point with Agentic Evolution over a Menu of LLMsBorthwick introduces a cost-targeted evolutionary meta-agent that writes Python programs utilizing a menu of differently-priced LLMs to optimize the cost-accuracy Pareto frontier. The results are highly rigorous, Pareto-dominating nearly all baselines (including hand-engineered systems) on two AstaBench tasks using only 66 to 100 training examples. The key insight is that exposing a priced menu of LLMs to the evolutionary search and using a graded cost-penalty objective (pricing cost overages in error-equivalents) naturally forces the discovery of cheap-first cascades and selective strong-model escalation. This is essential reading for our work in LLM evolutionary search and multi-agent optimization, as it provides a concrete, proven mechanism for managing inference costs and sample efficiency during automated agent design.
Andrew Borthwick et.al. pdf / code
27/30 2026-08-12
$\varepsilon$-MemEvo: Adaptive Cross-Task Memory Transfer for LLM Program Evolutionε-MemEvo introduces a cross-task memory framework for LLM program evolution that stores natural-language strategy summaries from prior tasks and uses a contextual Thompson Sampling gate to control their injection into new tasks. The results are rigorously backed by empirical data, demonstrating an 8.7% improvement in convergence area (AUCC) and a 9.4% boost in early-stage convergence across 8 optimization benchmarks using GPT-5. The key insight is that cross-task memory transfer in evolutionary coding is fundamentally a safety problem; naive memory injection causes catastrophic negative transfer, but an adaptive bandit gate successfully suppresses mismatched tactics while retaining the benefits of aligned ones. This is exceptionally relevant to our research in LLM evolutionary search, providing a concrete, low-overhead mechanism to safely reuse algorithmic discoveries across different optimization domains without sacrificing search stability.
Aofan Liu et.al. pdf / code
26/30 2026-08-11
MEGA: Self-Evolving Agent Optimization Infrastructure via Wisdom GraphMEGA is a three-layer infrastructure for self-evolving agent optimization that distills execution traces into a structured 'Wisdom Graph' and uses a multi-agent loop to iteratively improve agent workflows. The results are backed by strong empirical numbers, achieving a 76.55 aggregate score on four benchmarks (HotpotQA, IFBench, HoVer, PUPA) and outperforming SOTA optimizers like GEPA and TextGrad. The key insight is the 'Seed-Epoch' evaluation regime—which fixes the evaluation seed during an optimization epoch to eliminate data variance and isolate the true impact of strategy changes—alongside the decomposition of memory into atomic Primary-Context-Resultant (PCR) triplets for logical reasoning. This is highly relevant to our work in LLM evolutionary search and multi-agent optimization, offering concrete architectural blueprints for persistent memory and reliable fitness attribution across search runs.
Jung Hwan Lee et.al. megacode.ai pdf / code
24/30 2026-08-09
Hierarchical Self-Improvement: A Framework for Task-Specific Evolvable Agent HarnessesZhou introduces Hierarchical Self-Improvement (HSI), a framework where a single frozen LLM evolves both its task-specific execution harness and the evolutionary search strategy used to improve that harness. The results are backed by strong empirical evidence on the BALROG benchmark, showing massive gains (e.g., +39.3% on BabyAI, +33.0% on Crafter) using DeepSeek-V4-Flash, with ablation studies proving that evolving the search strategy itself contributes significantly to the performance. The key insight is the three-layer hierarchical architecture (task harness, evolver, meta-evolver) bounded by a frozen outer anchor, which allows the system to safely rewrite its own seed selection and commit policies without unbounded self-reference. This is highly relevant to our work in LLM evolutionary search, as it provides a concrete, implementable blueprint for 'evolving the evolver' to improve search efficiency and discovery quality.
Tailin Zhou et.al. HKUST pdf / code
25/30 2026-08-07
PACE: Primitive-Aware Code Evolution for Automated Algorithm DesignXie et al. introduce Primitive-Aware Code Evolution (PACE), which improves LLM-based automated algorithm design by extracting and preserving useful local logic as reusable Executable Algorithmic Primitives (EAPs). The method demonstrates strong empirical results, outperforming recent baselines like ReEvo and MCTS-AHD on zero-shot transfer for TSP (e.g., achieving a cost of 28.13 vs 50.29 on 1000-node TSP-ACO) and continuous control tasks. The key insight is using Thompson Sampling to evaluate the parent-relative performance improvement of individual EAPs, effectively solving the credit assignment problem for sub-components without requiring extra evaluation budgets. This is highly relevant to our work in LLM evolutionary search, as it provides a concrete, implementable architecture for persistent memory and modular code generation that directly improves search efficiency.
Zhuoliang Xie et.al. Southern University of Science and Technology, Shenzhen University pdf / code
25/30 2026-08-06
Relay, Don't Route: Adaptive Population Handoff for Cost-Efficient LLM-Driven EvolutionRelayEvolve is a training-free framework that reduces the cost of LLM-driven evolutionary search by using a cheap model to explore and curate a quality-diverse population, which is then handed off to a strong model for refinement. The results are backed by solid empirical evidence, showing it outperforms single-model and call-level routing baselines in 11 of 12 budget-benchmark settings across four program evolution tasks. The key insight is that because evolutionary search is stateful, budget allocation should focus on population handoff rather than individual mutation steps; cheap models can efficiently capture front-loaded progress to build a diverse seed bank. This is highly relevant for our research in LLM evolutionary search, offering a concrete, implementable strategy to drastically reduce API costs while maintaining or improving search quality.
Sichun Luo et.al. Carnegie Mellon University, The University of Hong Kong, City University of Hong Kong, JIUTIAN Research, China Mobile pdf / code
24/30 2026-08-04
MuEvo: LLM-Driven Evolution of Multi-Heuristic EnsembleMuEvo introduces an LLM-driven co-evolutionary framework that simultaneously optimizes multiple interacting heuristics within an algorithmic solver (like ACO or Selection Hyper-Heuristics) rather than isolating a single component. The results are backed by extensive numerical evidence across TSP, CVRP, BPP, and Flowshop, showing consistent improvements over human-designed defaults and single-component LLM-AHD baselines (e.g., reducing the TSP-L optimality gap from 6.26% to 5.24%). KEY INSIGHT: To prevent a component from overfitting to a specific set of collaborators, candidate heuristics should be evaluated across multiple contexts (e.g., the current best ensemble, the initial ensemble, and a diverse secondary ensemble), while an LLM summarizes cross-component interaction history to guide joint pair evolution. This is highly relevant to our work in LLM evolutionary search; the multi-ensemble evaluation and dynamic component lifecycle directly address the co-adaptation challenges we face when evolving complex, multi-operator routing and scheduling solvers.
Haoze Lv et.al. Southern University of Science and Technology, The Hong Kong University of Science and Technology pdf / code
27/30 2026-08-01
DGA$_2$D: Directed Graph-Guided Automated Algorithm Design with Large Language ModelsDGA2D is an LLM-driven automated algorithm design framework that represents the search space as a directed graph, allowing simultaneous evolution of both the algorithmic pipeline structure and the underlying operator implementations. The results are rigorously backed by numbers across 12 combinatorial optimization problems (including routing and scheduling), showing a reduction in the optimality gap by up to 10.96 percentage points compared to state-of-the-art baselines like EoH and ReEvo. The KEY INSIGHT is the first-order path-dependent credit assignment mechanism, which evaluates the fitness of a specific code implementation based on its immediate topological context (the preceding operator) rather than just the end-to-end score. This is highly relevant to our work in LLM evolutionary search, as it provides a concrete architectural upgrade over fixed-template generation and directly solves the sparse reward problem in long algorithmic pipelines.
Jiale Zhao et.al. Beihang University pdf / code
22/30 2026-07-31
MOT-SR: Multi-Objective Tool-Augmented Scientific Equation Discovery with Large Language ModelsWang et al. propose MOT-SR, an LLM-based evolutionary search framework for symbolic regression that uses a meta-strategy LLM to analyze data residuals with external tools and maintains a multi-objective Pareto front to guide equation generation. The results are rigorously backed by numbers, achieving state-of-the-art NMSE on 40 benchmark tasks and a 26.8x error reduction on a real-world astrophysics dataset compared to prior LLM-SR methods. The key insight is the 'Meta Strategy Generator' which autonomously invokes external analysis tools on the residuals of the current Pareto-optimal candidates to synthesize a natural language search strategy for the generator LLM, effectively acting as an automated planner for the evolutionary process. This is highly relevant for our work in LLM evolutionary search; the dual-LLM strategy-generation loop and their AST-based structural diversity sampling could be directly adapted to improve sample efficiency and population diversity in automated heuristic design.
Boxiao Wang et.al. Institute of Automation, Chinese Academy of Sciences, University of the Chinese Academy of Sciences, Goethe University Frankfurt arXiv.org pdf / code
25/30 2026-07-31
MOSAIC: Adversarial Co-evolution of Specialist Heuristics and Problem Instances for LLM-based Automated Heuristic DesignMOSAIC introduces an adversarial co-evolution framework for LLM-based automated heuristic design, simultaneously evolving problem instances and specialist heuristics within a Quality-Diversity (QD) grid archive. The results are rigorously backed by numbers, showing up to a 52% reduction in optimality gap on TSP and 33% on CVRP compared to state-of-the-art methods like ReEvo and EoH-S. The key insight is replacing global scalar feedback with contrastive multi-directional reflection: an LLM analyzes pairs of heuristics on adversarially generated instances, and a decision tree anchors these insights to specific feature-space regions in the QD archive to form a persistent, region-aware memory. This paper is highly significant for LLM evolutionary search, as it provides a concrete, implementable architecture for improving sample efficiency, memory, and fitness signaling when discovering algorithms for combinatorial optimization.
Oguzhan Gungordu et.al. Georgia Institute of Technology pdf / code
27/30 2026-07-30
Frontis-MA1: Training an AI4AI Model towards Recursive Self-Improvement in Machine Learning EngineeringYang et al. introduce OpenMLE, a full-stack framework that post-trains an LLM via execution-grounded RL to act as the variation engine for long-horizon evolutionary search in machine learning engineering. The results are highly rigorous and backed by extensive numbers, showing their 35B model improving from a 39.4% to 71.2% medal rate on MLE-Bench Lite, surpassing GPT-5.5. The key insight is the meta-evolutionary loop: instead of using a frozen LLM, they explicitly train atomic operators (Draft, Improve, Debug, Crossover) using RL with adaptive bounds and entropic advantages, and deploy them in a search harness that uses multi-factor parent selection (quality, progress, novelty) and lazy, operator-conditioned memory synthesis. This is a must-read for LLM evolutionary search, as the structured experience cards and RL-infused operator training directly address the community's core challenges in sample efficiency, memory, and scalability.
Junlin Yang et.al. Horizon Research, Frontis.AI, Tsinghua University, Zhejiang University, Shanghai Jiao Tong University, Georgia Institute of Technology arXiv.org pdf / code
24/30 2026-07-29
Budget-Aware LLM Discovery via Cost-Calibrated Frontier UtilityThis paper introduces CostAda, an adaptive controller for LLM evolutionary search that allocates compute across search frontiers based on cost-calibrated utility (progress divided by realized token cost) and remaining budget. The results are rigorously backed by empirical evaluations across 8 benchmarks using GLM-5 and GPT-5.4, demonstrating that CostAda reaches the full-budget quality of state-of-the-art baselines (AdaEvolve, EvoX) using only half the token budget. The key insight is that progress-only credit is fundamentally flawed when search actions (e.g., short refinements vs. long-context guidance) have vastly different token costs; dividing fitness gains by the log of realized cost and shifting weight from local to global progress as the budget drains drastically improves search efficiency. This is highly relevant to our focus on sample efficiency and scalability in LLM evolutionary search, providing a concrete, implementable utility formulation to optimize massively parallel evolution runs and reduce compute costs.
Yansen Zhang et.al. Mohamed bin Zayed University of Artificial Intelligence (MBZUAI), City University of Hong Kong, International Digital Economy Academy (IDEA) arXiv.org pdf / code
23/30 2026-07-29
EvoPINN: Agentic Discovery of Executable Algorithms for Physics-Informed Neural NetworksEvoPINN is an LLM-driven evolutionary framework that autonomously discovers novel neural architectures and training programs for Physics-Informed Neural Networks (PINNs). Backed by rigorous empirical results, the framework evaluated only 56 candidates to discover algorithms that outperformed expert-designed baselines by up to 35% on complex PDE benchmarks. The key insight is its decoupled, module-wise evolution strategy: it uses a UCB scheduler to dynamically allocate LLM mutation budget between different algorithm components, combined with AST-based structural verification to filter out cosmetic LLM edits before triggering expensive evaluations. This is highly relevant for LLM evolutionary search research, as the telemetry-guided generation and modular credit assignment directly address the sample efficiency and sparse reward challenges inherent in automated heuristic discovery.
Peng Yin et.al. Institute of Automation, Chinese Academy of Sciences, University of Chinese Academy of Sciences arXiv.org pdf / code
23/30 2026-07-29
FunL2O: LLM-Guided Feature Function Design for Learning to OptimizeFunL2O uses an LLM in an evolutionary loop to automatically generate executable feature extraction code for Learning-to-Optimize (L2O) pipelines, replacing hand-crafted representations. Results are rigorously backed by numbers, showing consistent improvements across eight L2O baselines (e.g., reducing MILP solver wall time by 11-55% and LP objective gaps by 16-49%) while controlling for feature width and LLM sampling budgets. The key insight is the use of 'semantic feature contracts' to statically and dynamically validate LLM-generated tensor operations before triggering expensive model retraining, effectively constraining the search space. This is highly relevant to our work in LLM evolutionary search for operations research, demonstrating that evolving the state representation can be just as impactful as evolving the heuristic itself.
Bingheng Li et.al. IBM Research, University of Southern California, University of Wisconsin–Madison, Michigan State University arXiv.org pdf / code
20/30 2026-07-28
A Control System, a Dataset, and a Recipe for Making Frozen LLM Agents Learn a DomainThis paper formulates LLM agent harness optimization (prompts, tools, memory, planning) as a discrete control problem and evaluates online RL (bandits, REINFORCE) against a static DSPy-optimized baseline. Backed by rigorous empirical results across multiple domains and models, the authors find that online RL consistently underperforms the static DSPy baseline within practical episode budgets (e.g., 62% vs 96% success on tool-use). The key insight is that starting online controllers from a uniform prior over a discrete harness space is severely sample-inefficient; dynamic harness optimization must be bootstrapped from a metric-guided static optimizer to be viable. This is highly relevant for our work in LLM evolutionary search and agent optimization, as it provides concrete evidence on the sample efficiency bottlenecks of dynamic harness tuning and offers a practical deployment recipe.
Debjyoti Paul et.al. arXiv.org pdf / code
20/30 2026-07-27
VPR-Evolve: Multi-Agent-Driven Algorithm Evolution for FPGA Place and RouteWu et al. introduce VPR-Evolve, a multi-agent LLM framework that specializes FPGA place-and-route algorithms by directly evolving the tool's source code for specific hardware designs. The results are backed by rigorous empirical evaluation on VTR-9 benchmarks, showing up to a 9.8% reduction in critical-path delay and outperforming Bayesian hyperparameter tuning with significantly fewer evaluations. The key insight is the framework's architecture, which uses staged evolution to optimize different algorithmic components sequentially and employs an 'Inspiration Collector' agent that injects new literature-based ideas specifically when the search plateaus. This is highly relevant for our research in LLM evolutionary search, as the multi-agent memory and plateau-recovery mechanisms can be directly adapted to improve search efficiency in our automated heuristic design pipelines.
Qihang Wu et.al. Arizona State University arXiv.org pdf / code
25/30 2026-07-26
SpecAHD: Localize to Specialize for Automated Heuristic Design in Large-Scale Routing ProblemsSpecAHD introduces a bilevel LLM evolutionary search framework that co-evolves an upper-level program to expose local repair regions and a lower-level repertoire of specialized constructive heuristics to repair them. The results are rigorously backed by extensive empirical evidence, showing cost reductions of up to 57.7% against state-of-the-art AHD baselines (like EoH and ReEvo) on large-scale routing benchmarks including CVRP and VRPTW up to 10,000 nodes. The key insight is the 'Repair Response Archive'—a memory mechanism that logs heuristic performance on specific local structures during training, allowing a k-NN router to dynamically select the best specialized heuristic for new regions at inference time. This is highly relevant for our work in LLM evolutionary search and large-scale routing, as it provides a concrete, scalable architecture for within-instance specialization and memory-augmented heuristic selection.
Kezhao Lai et.al. Guangdong University of Technology arXiv.org pdf / code
19/30 2026-07-26
NeurGO: Learning to Generate Elite Candidates for Meta-Black-Box Expensive OptimizationNeurGO is a generative meta-black-box optimization framework that uses a Transformer encoder to capture population search trends and an MLP decoder to directly synthesize a small set of elite candidates for expensive optimization tasks. The method is backed by strong empirical results on CEC 2008 and COCO BBOB benchmarks (D=10), demonstrating faster convergence and better final performance than Bayesian Optimization and other MetaBBO baselines under a strict 300-evaluation budget. The key insight is that instead of generating raw candidate coordinates, the decoder outputs contribution weights used to recombine the existing population's representations, ensuring generated candidates remain anchored to known promising regions and avoiding out-of-distribution proposals. This architectural design is highly relevant for continuous latent-space optimization and could be directly adapted to improve sample efficiency when optimizing continuous representations of algorithms or heuristics.
Jintao He et.al. China University of Geosciences arXiv.org pdf / code
27/30 2026-07-24
Teaching LLMs to Self-Evolve: Cultivating Core Meta-Skills with Reinforcement LearningWu et al. introduce METAEVOLVE, a framework that uses reinforcement learning (GRPO) to explicitly train LLMs to perform iterative self-evolution and refinement. The results are rigorously backed by execution-based metrics, showing a 24% absolute improvement over AlphaEvolve on out-of-distribution coding tasks and a 46% relative speedup on open-ended algorithm optimization benchmarks. The key insight is that instead of relying on zero-shot prompting in an evolutionary loop, researchers can synthesize evolution trajectories (current code, fitness, history) from static datasets and use execution feedback as a verifiable reward to fine-tune the mutator LLM. This is a highly significant paper for our work in LLM evolutionary search, as it provides an actionable, scalable blueprint for RL-infused evolution that directly improves sample efficiency and search quality.
Shujin Wu et.al. University of Illinois Urbana-Champaign arXiv.org pdf / code
21/30 2026-07-21
From Monolithic to Modular: Segment-level Automatic Prompt OptimizationSAPO improves automatic prompt optimization by decomposing prompts into explicit segments (role, context, tasks, format) and applying targeted mutations only to weak segments identified via contrastive training examples. The results are backed by solid empirical evidence, showing a 5-7% average improvement over strong baselines like OPRO and EvoPrompt across five datasets (including GSM8K) using GPT-4o-mini. The key insight is the use of contrastive evidence (top-5 successes vs. bottom-5 failures) to explicitly classify components as 'strong' (to be frozen) or 'weak' (to be mutated), which prevents destructive interference during iterative search. This is highly relevant for LLM evolutionary search, as this segment-level diagnosis can be directly adapted to evolve specific sub-components of heuristic code or meta-prompts rather than relying on monolithic rewrites.
Nikita Kulin et.al. ITMO University, AXXX the IJCAI-ECAI 2026 Workshop on Robustifying Generative AI for Reliable pdf / code
23/30 2026-07-20
Autonomous Discovery of Wireless Communications AlgorithmsAït Aoudia et al. introduce AITE, an LLM-driven evolutionary search framework that uses a two-tier orchestrator-worker architecture with agentic tool-use to autonomously discover wireless communication algorithms. The framework produces real, empirically validated results, discovering an OTFS equalizer that is 3.6x faster than the state-of-the-art with better error rates, and the first explainable pilotless OFDM receiver matching neural network performance. The most transferable methodological insights are the post-processing adherence check (where an LLM verifies if the generated code actually implemented the assigned idea before updating the orchestrator's leaderboard) and the prompt refinement stage (which critiques worker execution journals to improve instructions for the next generation). This is highly relevant to our work in LLM evolutionary search; while the telecom application is outside our scope, the architectural enhancements for agentic code generation, adherence filtering, and prompt refinement directly address sample efficiency and search observability.
Fayçal Aït Aoudia et.al. NVIDIA arXiv.org pdf / code
25/30 2026-07-20
Automated Discovery Has No Universally Superior HarnessGupta et al. systematically decompose and evaluate LLM-guided discovery harnesses across 3.1 million rollouts to show that no single fixed harness universally generalizes across models and problems. The results are highly rigorous, utilizing budget-matched statistical bootstrap tests to prove that complex evolutionary machinery often underperforms simpler tree-search or epsilon-greedy baselines. The key insight is that early search progress strongly predicts final performance, enabling an online adaptive allocation strategy that prunes weak partial runs and reallocates compute to surviving trajectories. This is a must-read for our work in LLM evolutionary search, as it dictates a shift away from engineering complex, fixed search harnesses toward implementing dynamic, early-stopping compute allocation to maximize sample efficiency.
Akshat Gupta et.al. UC Berkeley, MIT, MIT-IBM Watson AI Lab, Weizmann Institute of Science arXiv.org pdf / code
25/30 2026-07-15
How to Guide LLM Generation: Dual-Surrogate Guided Search for Automated Heuristic DesignWang et al. introduce Dual-Surrogate Guided Search (DGS) to improve sample efficiency in LLM-based automated heuristic design by learning which parent heuristics and mutation operators to select before querying the LLM. The results are backed by solid empirical evidence, showing superior performance over strong baselines like FunSearch and EoH across five combinatorial optimization tasks (including TSP and CVRP) within a strict 200-query budget. The key insight is the use of a transition surrogate that predicts the latent distribution of an ungenerated child heuristic based on the parent and operator, coupled with a utility surrogate to estimate its performance. This is highly relevant to our focus on LLM evolutionary search, as it provides a concrete, implementable mechanism to drastically reduce expensive LLM calls by shifting from post-generation filtering to pre-generation action selection.
Yuhan Wang et.al. The Hong Kong Polytechnic University, Nankai University, South China Agricultural University arXiv.org pdf / code
25/30 2026-07-15
Reward-Free Evolving Agents via Pairwise ValidatorLiu et al. replace the expensive scalar task reward in self-evolving agentic loops with a training-free pairwise LLM validator that compares parent and child candidates. The results are backed by rigorous empirical evaluations across prompt and code evolution engines, including ShinkaEvolve, demonstrating that this reward-free approach matches or exceeds full-reward baselines. The key insight is the 'Soft Elo' mechanism, which uses pairwise LLM verdicts to update candidate ratings for parent selection, entirely eliminating the need for scalar validation rewards. This is a must-read for our work in LLM evolutionary search, as it provides a highly actionable, drop-in replacement for costly reward engineering while maintaining search quality.
Minghao Liu et.al. Accenture arXiv.org pdf / code
18/30 2026-07-15
Harness Engineering: Anatomy, Architecture, and Evolution of Coding Agents -- A Source-Code Study of Eleven SystemsThis paper conducts a massive source-code analysis of 11 production LLM coding agents (including Claude Code, Codex, and OpenHands) to catalog their architectural patterns across loops, memory, tools, and multi-agent orchestration. The findings are backed by rigorous code audits rather than benchmark scores, revealing 29 recurring design patterns and two major 'absences' in production systems. The KEY INSIGHT is that production agents universally eschew heavy frameworks (e.g., LangChain, AutoGen) in favor of hand-rolled async loops, and rely on deterministic retrieval (ripgrep, ASTs) rather than vector-based RAG. This is highly relevant for our work in multi-agent optimization and LLM evolutionary search; adopting these production-grade architectural patterns—and dropping bloated frameworks—can significantly improve the scalability, debuggability, and reliability of our search scaffolds.
Paul Barbaste et.al. Inclusive Brains, Wavestone AI Lab pdf / code
26/30 2026-07-11
GAE: Graph-Augmented Evolution for Scientific Discovery via Reinforcement OptimizationChen et al. introduce Graph-Augmented Evolution (GAE), which enhances LLM-guided evolutionary search by integrating a GNN-based RL meta-controller for mutation selection and online GRPO fine-tuning for the LLM operator. The results are rigorously backed by empirical data, showing that GAE significantly outperforms static baselines like OpenEvolve and PACEvolve on symbolic regression benchmarks. The key insight is that replacing structurally blind, prompt-driven mutations with a learned policy (Discrete SAC) and continuously updating the LLM weights via group-relative rewards drastically improves sample efficiency and search trajectory. This is a critical read for our work in LLM evolutionary search, as the three-pillar architecture provides a concrete blueprint for implementing RL-infused evolution and overcoming the limitations of static LLM operators in heuristic discovery.
Xuanzhou Chen et.al. Georgia Institute of Technology, Shanghai Academy of AI for Science ICML pdf / code
27/30 2026-07-06
MetaSkill-Evolve: Recursive Self-Improvement of LLM Agents via Two-Timescale Meta-Skill EvolutionMetaSkill-Evolve introduces a two-timescale framework where a multi-agent pipeline recursively evolves its own meta-skills (diagnosis, retrieval, allocation, proposal) alongside task-specific skills. The results are backed by solid empirical evidence, demonstrating up to an 8-point accuracy gain over fixed-operator evolution on QA benchmarks using a frozen 31B model. The key insight is that evolutionary operators can be parameterized as standard text files and optimized by the exact same pipeline used for task skills, guided by a 'meta-productivity' score that measures a branch's ability to generate strong descendants. This is a must-read for our work in LLM evolutionary search, providing a concrete architecture for 'evolving the evolver' and preventing search stagnation.
Zefeng Wang et.al. LMU Munich, The Chinese University of Hong Kong, MCML, MemAgents Lab arXiv.org pdf / code
24/30 2026-07-06
QDEvo: A Multi-Objective Quality-Diversity Framework for Automated Heuristic DesignQDEvo integrates Quality-Diversity optimization into LLM-based heuristic generation by maintaining an archive of semantically diverse algorithms using pre-trained code embeddings and hierarchical reflection. Backed by strong empirical results, it outperforms the state-of-the-art MEoH baseline in Hypervolume and IGD across constructive routing, bin packing, and real-world scheduling tasks. The most actionable takeaway is using dense code embeddings to cluster generated heuristics and applying local Pareto competition within clusters, which effectively prevents the LLM from converging on homogeneous code structures. This is highly relevant for LLM evolutionary search, offering a concrete architectural improvement to maintain population diversity and improve exploration in automated algorithm design.
Nam Do Khanh et.al. George Mason University, Hanoi University of Science and Technology Proceedings of the Genetic and Evolutionary Computation Conference Companion pdf / code
26/30 2026-07-04
Harness-Aware Self-Evolving: Co-Evolving Model Weights, Harness, and Task SolutionsHASE introduces an agentic reinforcement learning framework that allows a single LLM to co-evolve its policy weights, task solutions, and surrounding harness (prompts, memory, evaluators) within a unified multi-turn action space. Backed by strong empirical results, an 8B model matches or outperforms 120B models on text classification and alpha factor mining, and matches AlphaEvolve state-of-the-art on circle packing while successfully repairing an initially broken evaluator. The key insight is the divergence-driven evaluator repair mechanism, where the model edits the local evaluator only when its proxy score diverges from a sparse real-world oracle score, providing a safe way to fix flawed reward signals without unconstrained reward hacking. This is highly relevant for LLM evolutionary search and automated algorithm design, as it provides a concrete methodology for evolving the search pipeline itself and improving sample efficiency through dynamic harness optimization and RL-infused evolution.
Haochen Luo et.al. The University of Hong Kong, China Mobile, Jiutian Research, Grace Investment Machine arXiv.org pdf / code
18/30 2026-07-02
Symbolic Discovery of Iterative Algorithms: A Continuous Latent Space Bayesian Optimization FrameworkLiu and Mitrai propose a framework that maps discrete expression trees of iterative optimization algorithms into a continuous latent space using a Variational Autoencoder, enabling Bayesian Optimization to search for novel update rules. The results are backed by numbers but limited to a very small scale, showing that the method can discover a state-dependent step-size rule outperforming standard gradient descent on two 2-variable toy functions. The key insight is that transforming the discrete algorithm search space into a continuous one allows sample-efficient Bayesian Optimization to replace expensive combinatorial MINLP solvers. This is highly relevant to our research in continuous optimization for automated algorithm design, as it provides a concrete, non-LLM baseline methodology that we should compare against our generative approaches.
Tongjia Liu et.al. The University of Texas at Austin pdf / code
25/30 2026-07-02
SwarmResearch: Orchestrating Coding Agents for Open-Ended DiscoverySWARMRESEARCH introduces an orchestrator-subagent architecture for LLM-driven open-ended discovery that uses Git branching to maintain parallel code lineages and prevent premature convergence. The framework demonstrates strong empirical results, outperforming state-of-the-art baselines like EvoX and CORAL on 13 of 15 mathematical, heuristic, and systems optimization tasks. The key insight is that isolating agent context via separate Git branches—rather than relying on shared memory or long conversation histories—forces the exploration of diverse high-level approaches instead of greedy local micro-optimizations. This is highly relevant for our work in multi-agent evolutionary search and algorithm discovery, as adopting a Git-backed state management system could significantly improve the diversity and quality of our generated heuristics.
Yuvraj Virk et.al. University of Illinois Urbana-Champaign arXiv.org pdf / code
25/30 2026-06-30
RAISE: LLM-based Automated Heuristic Design with Robust Adversary Instance SearchThis paper introduces a bi-level evolutionary framework (RAISE) that couples an LLM-driven heuristic search with an LLM-free adversarial instance generator to evolve distributionally robust heuristics. The results are strongly backed by empirical data; on Online Bin Packing, RAISE reduces waste by up to 19x compared to standard LLM-based methods under severe distribution shifts, and shows similar robustness gains on vehicle routing and scheduling tasks. The key insight is to avoid expensive LLM calls for adversarial generation by using a lightweight, LLM-free evolutionary inner loop that parameterizes instance distributions as a mixture of basis functions and projects them onto an epsilon-ball around the training data. This is highly relevant for LLM evolutionary search, providing a concrete, compute-efficient mechanism to ensure evolved heuristics generalize to real-world distributional shifts rather than just memorizing the training set.
Fei Liu et.al. University of Zurich, ETH Zurich arXiv.org pdf / code
24/30 2026-06-29
AlgoSkill: Learning to Design Algorithms by Scheduling Human-Like SkillsAlgoSkill frames LLM-based algorithm design as a sequential decision-making process, using Monte Carlo Tree Search to schedule a library of 20 typed algorithmic skills (e.g., constraint reading, state design, complexity refinement) guided by verification feedback. The method is backed by strong empirical results, significantly improving time-optimality and correctness over direct generation and free-form refinement on competitive programming and combinatorial optimization benchmarks (e.g., +44% time-optimality on a rule-based benchmark). The key insight is that constraining the LLM's search space to a discrete set of verifiable, typed algorithmic skills—rather than free-form code mutations—makes the search process more interpretable and efficient. This is highly relevant for LLM evolutionary search and automated algorithm discovery; the community could adopt typed skill operators as mutation strategies to improve sample efficiency and structural correctness in search-based frameworks.
Xinyuan Song et.al. Emory University, The University of Tokyo, LocationMind arXiv.org pdf / code
24/30 2026-06-28
MeEvo: Metacognitive Evolution Combined with Natural Evolution for Automatic Heuristic DesignMeEvo is an automatic heuristic design framework that cyclically alternates between Natural Evolution (LLM-mediated crossover and mutation on code) and Metacognitive Evolution (LLM reflection on accumulated reasoning and fitness history). Backed by extensive experiments, it significantly outperforms state-of-the-art LLM-based methods like FunSearch, EoH, and ReEvo across five optimization problems, including routing and complex constrained tasks, though at a roughly 7x higher token cost. The key insight is the explicit separation of reasoning traces (treated as heritable genotype) from executable code (phenotype), utilizing a two-step pipeline where the LLM first generates a strategic 'Meta Insight' from historical data before mapping it to new code. This is highly relevant to our work in LLM evolutionary search, providing a concrete architectural blueprint for integrating persistent memory and metacognitive reflection to improve search efficiency and escape local optima.
Zishang Qiu et.al. University of Nottingham, University of Nottingham Ningbo China arXiv.org pdf / code
21/30 2026-06-27
CHIA: An open-source framework for principled, agentic AI-driven hardware/software co-design researchCui et al. introduce CHIA, an open-source, Ray-based framework for orchestrating and scaling agentic AI and evolutionary search workflows across heterogeneous compute clusters. The authors demonstrate strong empirical results in hardware design, such as automatically implementing RISC-V extensions that pass 25+ trillion instructions of SPEC06 and achieving a 2x frequency increase in critical path optimization. The key insight is the framework's architectural design, which uses graph-based orchestration with built-in caching, bypassing, and fault tolerance to solve major ergonomic and scalability bottlenecks in long-running LLM evolutionary search. This is highly relevant for our work in scaling multi-agent optimization and LLM evolutionary search, as the engineering patterns used to manage distributed evaluator nodes can directly inform our infrastructure.
Angela Cui et.al. University of California, Berkeley arXiv.org pdf / code
26/30 2026-06-25
Scientific discovery as meta-optimization: a combinatorial optimization case studyZhang et al. introduce a multi-agent meta-optimization framework that co-evolves both algorithm designs and their evaluation criteria using Monte Carlo Graph Search. The results are backed by strong empirical evidence, showing a reduction in the scaling exponent of a 3-SAT MemComputing solver from N^2.51 to N^1.33, yielding a 67x speedup at N=1810. The key insight is 'consensus objective aggregation', which combines multiple LLM-generated proxy objectives via correlation-weighted voting and age decay to create a stable, self-correcting fitness signal that resists reward hacking. This is a fundamental advance for LLM evolutionary search, providing a concrete method to dynamically improve evaluation strategies and prevent the search from exploiting flawed proxy metrics.
Yuan-Hang Zhang et.al. University of California San Diego arXiv.org pdf / code
19/30 2026-06-24
EVOM: Agentic Meta-Evolution of Actor-Critic Architectures for Reinforcement LearningEVOM introduces a bi-level LLM evolutionary search framework that designs actor-critic neural network architectures by using an LLM for mutation and crossover, while evaluating candidates via a low-fidelity reinforcement learning training loop. The authors demonstrate real empirical gains, outperforming manually designed architectures and baseline LLM-guided searches on MuJoCo continuous control tasks. The key insight is the explicit decoupling of the evolutionary search from full evaluation by using a low-budget proxy fitness signal, which makes population-level LLM search computationally feasible. This is highly relevant for our work in LLM evolutionary search; adopting low-fidelity proxy evaluators (such as testing generated heuristics on small-scale routing or scheduling instances) could significantly improve our sample efficiency and search scalability.
Boyun Zhang et.al. Xidian University arXiv.org pdf / code
20/30 2026-06-24
AlgoEvolve: LLM-driven Meta-evolution of Algorithmic Trading ProgramsThis paper introduces a bi-level LLM evolutionary framework that synthesizes algorithmic trading programs in an inner loop while a meta-evolutionary outer loop optimizes the search prompts guiding the synthesis. The results are backed by empirical backtesting, showing the meta-evolutionary approach achieves a 5.60 annualized Sharpe ratio and successfully escapes the 'zero-trade' stagnation trap that plagues static-prompt baselines. The key insight is the use of a structured 'Prompt Genome' (separating mutation style, creative focus, constraints, and reasoning) combined with 'Informed Meta-Mutation,' where a Meta-LLM rewrites specific prompt genes based on a structured performance report (learning curves, error rates) from the inner loop. This is highly relevant for our work in LLM evolutionary search; the team can directly adapt this meta-evolutionary outer loop to improve search efficiency and prevent stagnation when discovering heuristics for combinatorial optimization.
Dhruv Sharma et.al. Indraprastha Institute of Information Technology, Delhi arXiv.org pdf / code
21/30 2026-06-23
Project Auto-World: Towards Automated Benchmarking of Neural Relational ReasonersThis paper adapts FunSearch and an autonomous agentic loop to evolve Python priority functions that generate adversarial knowledge graph instances to stress-test neural relational reasoners. The authors provide strong empirical evidence showing both methods successfully drive down the accuracy of state-of-the-art Edge Transformers, and that training on these generated instances improves model robustness. The key insight is that a single autonomous coding agent iteratively refining a priority function can independently discover the same structural difficulty signals as a full population-based FunSearch pipeline, and can even break models that FunSearch fails to challenge. This is highly relevant for our work in LLM evolutionary search and automated benchmarking, as it suggests agentic iterative refinement can be a viable, sometimes superior, alternative to complex population-based evolution.
Anirban Das et.al. Cardiff University, University of Pennsylvania NeurIPS pdf / code
20/30 2026-06-22
Discovering Crystal Structure Prediction Algorithms with an AI Co-ScientistThis paper introduces HACO, an AI co-scientist system that uses tree-based LLM search and sparse human steering to discover a novel masked generative model (MaskGXT) for crystal structure prediction. The results are backed by strong empirical evidence, achieving state-of-the-art match rates (79.06% METRe) on standard MP-20 and MPTS-52 benchmarks compared to continuous diffusion baselines. The key insight is the system's architecture for 'sparse human steering'—where humans inject high-level objectives or mechanisms while the agent handles code implementation—combined with a 'cross-domain idea operator' that explicitly searches literature outside the target domain to seed the evolutionary tree. This is highly relevant to our research in LLM evolutionary search; the team should evaluate adopting this specific orchestrator pattern to improve observability and human-in-the-loop intervention in our automated algorithm design systems.
Kiyoung Seong et.al. KAIST arXiv.org pdf / code
24/30 2026-06-09
Beyond Static Evaluation: Co-Evolutionary Mechanisms for LLM-Driven Strategy Evolution in Adversarial GamesLi et al. introduce an LLM-driven code evolution framework for multi-agent adversarial games that combats search stagnation using evaluator co-evolution, hierarchical deep evaluation, and weakness pressure. The results are rigorously backed by empirical data, demonstrating a 20% performance gain over existing baselines in a 3v3 capture-the-flag environment and securing 1st place in an AAMAS competition. The key insight is that static evaluation in LLM code evolution leads to overfitting; dynamically updating the test pool with past champions and up-weighting the hardest test cases (weakness pressure) sustains selective pressure and yields more robust algorithmic innovations. This is highly relevant for our work in LLM evolutionary search, offering concrete, implementable techniques to improve fitness signals and evaluation efficiency when evolving complex heuristics.
Haoran Li et.al. Baidu AI Cloud, University of Chinese Academy of Sciences, Peking University, The University of Sydney, Southeast University arXiv.org pdf / code
24/30 2026-06-09
Towards Diverse Scientific Hypothesis Search with Large Language ModelsThis paper introduces EvoDiverse, a parallel-tempered evolutionary framework that maintains multiple candidate pools at different selection pressures (temperatures) and exchanges them to balance exploration and exploitation in LLM-based search. The results are rigorously backed by empirical data across molecular, equation, and algorithm discovery (e.g., circle packing), demonstrating significant improvements in both solution quality and diversity under fixed evaluation budgets compared to standard single-pool or isolated-ensemble baselines. The key insight is the use of a Metropolis-Hastings acceptance gate for swapping candidates between high-temperature (exploratory) and low-temperature (exploitative) pools, which prevents disruptive candidates from destroying the exploitative pool while still allowing productive information flow. This is highly relevant for our work in LLM evolutionary search and automated algorithm design, offering a principled, easy-to-implement architectural pattern to prevent premature convergence and improve sample efficiency.
Haorui Wang et.al. University of Cambridge, University of California, Berkeley, Microsoft Research New England, Carnegie Mellon University, Georgia Institute of Technology, Virginia Tech ICML pdf / code
25/30 2026-06-04
MLEvolve: A Self-Evolving Framework for Automated Machine Learning Algorithm DiscoveryMLEvolve is a multi-agent framework for automated algorithm discovery that replaces standard tree search with Progressive Monte Carlo Graph Search (MCGS) and integrates retrospective memory with hierarchical code generation. Backed by strong empirical numbers, it achieves a state-of-the-art 65.3% medal rate on MLE-Bench in half the standard time and outperforms AlphaEvolve on 11 of 15 mathematical optimization tasks. The key insight is the Progressive MCGS architecture, which enables cross-branch information flow (fusion and aggregation) and uses an entropy-based schedule to shift from broad exploration to elite-guided exploitation, effectively solving the branch isolation problem. This is highly relevant for our work in LLM evolutionary search and multi-agent optimization, providing concrete, implementable mechanisms for memory reuse and cross-trajectory crossover that improve sample efficiency and search quality.
Shangheng Du et.al. Shanghai Artificial Intelligence Laboratory, East China Normal University arXiv.org pdf / code
23/30 2026-06-01
HarnessForge: Joint Harness and Policy Evolution for Adaptive Agent SystemsHarnessForge co-evolves an LLM agent's external execution harness (code for planning, action, memory) and its internal reasoning policy (via LoRA adapters) using a meta-agent for fault-guided tailoring. The results are backed by strong empirical evidence, showing up to 12% improvement on API and QA benchmarks using Qwen3-4B/8B, outperforming both search-only (e.g., AFlow, ADAS) and policy-only (e.g., GRPO, RLOO) baselines. The key insight is the sample-efficient co-evolution loop: using the meta-agent to evolve the code structure, filtering for successful trajectories, and immediately reusing those trajectories to fine-tune a harness-specific LoRA adapter without requiring additional rollouts. This is highly relevant for LLM evolutionary search, providing a concrete architecture for combining code-level evolutionary search with weight-level policy adaptation.
Mingju Chen et.al. Tsinghua University, Beihang University arXiv.org pdf / code
25/30 2026-06-01
Adaptive Auto-Harness: Sustained Self-Improvement for Agentic System Deployment on Open-Ended Task StreamsAdaptive Auto-Harness introduces a framework for open-ended task streams that uses a stateful multi-agent evolver, a git-based harness tree for solve-time routing, and human-in-the-loop steering to prevent overfitting to early tasks. The results are rigorously backed by empirical data across three diverse benchmarks, showing significant improvements over baselines like A-Evolve and Meta-Harness. The key insight is the transition from a single dense harness to a git-based harness tree, where the evolver creates regime-specific branches for prompts and tools, and a solve-time router selects the optimal branch per task. This directly addresses the artifact dilution problem and is highly relevant to our focus on continuous learning, persistent memory, and expert-in-the-loop observability in LLM evolutionary search.
Zewen Liu et.al. Amazon, Emory University, UIUC, The Pennsylvania State University, Northeastern University arXiv.org pdf / code
24/30 2026-05-30
LLM-Driven Co-Evolutionary Automated Heuristic Design for Bi-Component Coupled Combinatorial OptimizationCoEvo-AHD introduces a dual-population co-evolutionary framework that uses LLMs to automatically design and co-evolve paired heuristics for bi-component combinatorial optimization problems like the Traveling Thief Problem. The results are backed by empirical numbers, showing competitive performance against traditional metaheuristics on small-to-medium instances, though it trails specialized state-of-the-art solvers on large-scale instances. The key insight is the use of 'cross-component joint crossover' and a 'shared information memory' dictionary, which allow the LLM to rewrite highly synergistic operator pairs together and pass soft search guidance between heterogeneous components. This is highly relevant for our work in multi-agent LLM evolutionary search, providing concrete architectural patterns for co-evolving interdependent algorithmic components.
Mingen Kuang et.al. Xi’an Jiao Tong University, Northwestern Polytechnical University arXiv.org pdf / code
22/30 2026-05-29
MetaEvo: A Meta-Optimization Framework for Experience-Driven Agent EvolutionMetaEvo introduces a two-stage framework for agent evolution that first fine-tunes an LLM via Direct Preference Optimization (DPO) to improve its ability to abstract revision principles, and then iteratively accumulates these principles in a structured memory. The approach is backed by strong empirical results, demonstrating a 9.6% absolute accuracy gain on GSM8K for LLaMA-3.1-8B and consistent improvements across MATH, MMLU, and BBH compared to baselines like SE-GPT. The key insight is the 'meta-optimization' step: using a stronger model to generate preferred principles and applying DPO to the base model so it learns how to extract actionable, contrast-driven feedback rather than just memorizing task-specific corrections. This is highly relevant for our work in LLM evolutionary search; the team could directly adapt the DPO-based meta-optimization and Contrast-Driven Abstraction to train 'evolver' agents, thereby improving the quality of heuristic revisions and overall sample efficiency.
Bowen Ren et.al. Beijing Institute of Technology, BIT Southeast Academy of Information Technology arXiv.org pdf / code
24/30 2026-05-28
Evolve as a Team: Collaborative Self-Evolution for LLM-based Multi-Agent SystemsThis paper introduces Meta-Team, a framework for multi-agent system self-evolution where agents retain local execution contexts and communicate post-task to collaboratively update individual behaviors, interaction profiles, and team coordination rules. The approach is backed by strong empirical results, showing an average 6.3% improvement over the strongest MAS evolution baseline across six challenging, long-horizon benchmarks (including SWE-bench Pro and GAIA). The key insight is that flattening multi-agent trajectories for a centralized meta-optimizer creates a context bottleneck and degrades failure attribution; instead, evolution should be distributed, allowing agents to reflect locally and exchange evidence to pinpoint failures. This is highly relevant for our work in multi-agent evolutionary search, as the decentralized reflection and multi-scale update mechanism provides a concrete architectural blueprint for improving sample efficiency and credit assignment in complex optimization tasks.
Zhezheng Hao et.al. Tencent, Zhejiang University, Hong Kong University of Science and Technology arXiv.org pdf / code
22/30 2026-05-28
AI-PROPELLER: Warehouse-Scale Interprocedural Code Layout Optimization with AlphaEvolveAI-PROPELLER applies an AlphaEvolve-based framework to discover fine-grained, interprocedural code layout heuristics for warehouse-scale binaries. The results are backed by rigorous hardware metrics, demonstrating statistically significant execution time reductions of 0.23% to 1.6% on massive applications like LLVM Clang and production search services. The key insight is the extreme lengths taken to ensure a noise-free reward signal for the LLM evolutionary loop; by locking CPU frequencies and disabling ASLR/Turbo Boost, they reduced run-to-run variance to under 0.05%, allowing the agent to accurately learn from micro-optimizations. This is highly relevant to our work in LLM evolutionary search, as it provides a concrete blueprint for scaling these methods to combinatorially massive search spaces by engineering high-fidelity empirical reward signals.
Chaitanya Mamatha Ananda et.al. Google DeepMind, Google, University of California, Riverside arXiv.org pdf / code
27/30 2026-05-21
Vector Policy Optimization: Training for Diversity Improves Test-Time SearchBahlous-Boldi et al. introduce Vector Policy Optimization (VPO), an RL post-training method that trains LLMs to generate diverse candidate sets by combining multi-answer autoregressive generation with stochastic reward scalarization. The results are rigorously backed by empirical data, demonstrating that VPO continuously scales with test-time compute and successfully solves hard LiveCodeBench problems inside an AlphaEvolve-style evolutionary loop where standard GRPO completely stalls. The key insight is that collapsing vector rewards (such as per-test-case correctness) into a single scalar during RL causes mode collapse; instead, sampling random weightings from a Dirichlet distribution forces the policy to maintain a Pareto-diverse set of strategies. This is a fundamental advance for LLM evolutionary search, as applying VPO to mutator or generator models directly addresses sample efficiency and prevents premature convergence in automated algorithm design.
Ryan Bahlous-Boldi et.al. MIT, Sakana AI, Improbable AI Lab, MIT-IBM Computing Research Lab arXiv.org pdf / code
27/30 2026-05-19
optimize_anything: A Universal API for Optimizing any Text ParameterAgrawal et al. introduce optimize_anything, a unified LLM-based evolutionary search API that optimizes arbitrary text artifacts (code, prompts, agent architectures) using Pareto-based selection and diagnostic side information. Results are highly rigorous and backed by numbers, including a controlled ablation showing it beats OpenEvolve on circle packing in 3x fewer evaluations, and achieving SOTA on ARC-AGI (89.5%), cloud scheduling, and CUDA kernel generation. The most actionable takeaway is the combination of multi-task search with a shared Pareto frontier, allowing optimization patterns discovered in one task to transfer to related tasks, alongside the formalization of Side Information (SI) as a first-class 'text gradient' to drive targeted mutations rather than blind evolution. This is a landmark paper for LLM evolutionary search; the team should immediately evaluate adopting the multi-task Pareto frontier and structured SI contracts to improve sample efficiency and cross-problem transfer in our own automated algorithm design frameworks.
Lakshya A Agrawal et.al. UC Berkeley, MIT Proceedings of the ACM Conference on AI and Agentic Systems (CAIS 26), May 26-29, 2026, San Jose, CA, USA pdf / code
24/30 2026-05-18
Property-Guided LLM Program Synthesis for PlanningThis paper replaces scalar fitness scores in LLM heuristic synthesis with a counterexample-guided repair loop that checks formal properties and feeds specific failure states back to the LLM. The results are backed by strong empirical evidence on 10 planning domains, showing a 7.4x reduction in LLM generation cost, a 1000x reduction in evaluation compute, and higher task coverage compared to the previous sample-and-select state of the art. The key insight is that using verifiable properties to generate concrete, localized counterexamples (e.g., 'at state X, your heuristic gave value Y, but successors gave Z') is vastly more sample-efficient than end-to-end scalar rewards. This is highly relevant for LLM evolutionary search and automated algorithm design; the community should investigate defining checkable properties for routing or scheduling heuristics to replace or augment standard scalar fitness evaluations, drastically reducing LLM sample complexity.
André G. Pereira et.al. University of Oxford, Linköping University, Federal University of Rio Grande do Sul arXiv.org pdf / code
21/30 2026-05-14
Adapting AlphaEvolve to Optimize Fully Homomorphic Encryption on TPUsThis paper applies the AlphaEvolve framework to automatically optimize Fully Homomorphic Encryption (FHE) kernels for TPU execution, using LLM-driven code generation guided by hardware-in-the-loop latency feedback and strict correctness checks. The results are real and backed by physical hardware deployments, achieving up to a 2.5x speedup over human-engineered state-of-the-art baselines on TPUv5e chips. The key insight is that optimizing isolated operations often fails to yield end-to-end speedups; instead, co-evolving multiple components and scoring them against complete system execution, while feeding back low-level execution traces (e.g., Xprof) to the LLM, is necessary to discover non-obvious compiler and scheduling optimizations. This is highly relevant for our work in LLM evolutionary search, as the methodology of using execution traces as diagnostic feedback and enforcing end-to-end co-evolution directly informs how we should structure reward signals and evaluation environments for automated algorithm design.
Shruthi Gorantala et.al. Google DeepMind, Google, Georgia Institute of Technology arXiv.org pdf / code
25/30 2026-05-14
MetaAgent-X : Breaking the Ceiling of Automatic Multi-Agent Systems via End-to-End Reinforcement LearningMetaAgent-X is an end-to-end reinforcement learning framework that jointly optimizes a meta-agent (Designer) that generates multi-agent workflows and the downstream agents (Executors) that run them. The results are backed by strong empirical evidence, showing up to 21.7% improvement over baselines on math and code benchmarks using Qwen3-8B. The key insight is the Executor-Designer Hierarchical Rollout combined with stagewise co-evolution: by sampling M designs and executing each N times, the system isolates the designer's reward from the executor's reward, while alternating training phases stabilizes the non-stationary RL environment. This is highly relevant to our work in LLM evolutionary search and multi-agent optimization, providing a concrete, implementable architecture for RL-infused meta-agent training and credit assignment.
Yaolun Zhang et.al. Amazon AGI, UCSD, Oregon State University, Pennsylvania State University, AG2AI, Inc. arXiv.org pdf / code
19/30 2026-05-13
Graph-Grounded Optimization: Rao-Family Metaheuristics, Classical OR, and SLM-Driven Formulation over Knowledge GraphsThis paper introduces a graph-grounded optimization paradigm where operations research problem components are sourced directly from property knowledge graphs via Cypher queries, rather than from lossy natural language descriptions. The results are backed by strong empirical numbers across 7 real-world KGs, demonstrating that while classical solvers and metaheuristics succeed, frontier SLMs (including the MILP-tuned OptiMind) fail almost completely at zero-shot formulation. The key insight is the identification of a 'data-binding pathology': LLMs generate syntactically valid optimization code that silently fails or returns trivial solutions because it binds to hallucinated data structures instead of the actual operational database. This is highly relevant for our OR benchmarking and evaluation work, as it proves that evaluating LLMs purely on text-to-math translation ignores the critical, failure-prone step of grounding the formulation in real-world data schemas.
Madhulatha Mandarapu et.al. Samyama.ai arXiv.org pdf / code
27/30 2026-05-13
Harnessing Agentic EvolutionZhang et al. introduce AEVO, a framework that formulates LLM evolutionary search as an interactive environment where a meta-agent edits the underlying search procedure or agent context rather than directly generating candidate solutions. The results are backed by strong empirical evidence, achieving state-of-the-art performance on Anthropic's Kernel optimization task (1138 cycles) and outperforming baselines like OpenEvolve and HyperAgents across multiple open-ended discovery and reasoning benchmarks. The key insight is separating the candidate generation loop from a meta-editing phase, allowing the system to dynamically revise its own selection rules, feedback summaries, and memory structures when search plateaus. This is a must-read for our work in LLM evolutionary search, as it provides a concrete, actionable architecture for 'evolving the evolver' and maintaining long-horizon search without agent drift.
Jiayi Zhang et.al. Tsinghua University, Université de Montréal & Mila, The Hong Kong University of Science and Technology (Guangzhou), Nanyang Technological University, Shanghai Jiao Tong University, Singapore University of Technology and Design, DeepWisdom arXiv.org pdf / code
24/30 2026-05-13
EvolveMem:Self-Evolving Memory Architecture via AutoResearch for LLM AgentsEVOLVEMEM introduces a self-evolving memory architecture for LLM agents that autonomously optimizes its retrieval infrastructure (e.g., fusion weights, context budgets) using an LLM-powered diagnosis module that analyzes failure logs. The results are backed by strong empirical evidence, showing a 25.7% relative improvement over the state-of-the-art on the LoCoMo benchmark and positive transfer to MemBench. The key insight is treating the retrieval configuration as a structured action space and using an LLM to propose targeted adjustments based on per-question failure logs, safeguarded by a revert-on-regression mechanism. This is highly relevant to our work in LLM evolutionary search and multi-agent memory systems, as the closed-loop AutoResearch methodology can be directly adapted to evolve hyperparameters or retrieval strategies in our own agentic architectures.
Jiaqi Liu et.al. UNC-Chapel Hill, UC Berkeley, UCSC arXiv.org pdf / code
26/30 2026-05-13
Effective Harness Engineering for Algorithm Discovery with Coding AgentsVesper introduces a novel execution harness for LLM-driven algorithm discovery that replaces stateless LLM API calls with autonomous coding agents capable of multi-step reasoning, debugging, and codebase inspection. Backed by concrete numbers, Vesper outperforms OpenEvolve and matches AlphaEvolve on the Circle Packing benchmark under strict token and cost budgets, achieving higher scores with significantly fewer generated algorithms. The key insight is that under a fixed budget, scaling the reasoning quality per algorithm (using expensive, multi-step coding agents) is vastly more efficient than scaling the number of evolutionary generations (using cheap, single-shot API calls). This is highly relevant for our work in LLM evolutionary search; the team should immediately evaluate shifting our mutation operators from single-shot prompts to agentic loops and adopt Git worktree isolation for safe, parallel execution.
Yoichi Ishibashi et.al. NEC Corporation arXiv.org pdf / code
22/30 2026-05-12
CVEvolve: Autonomous Algorithm Discovery for Unstructured Scientific Data ProcessingCVEvolve is an LLM-based evolutionary search framework that autonomously discovers data-processing algorithms using a generate-tune-evolve loop, lineage-aware sampling, and SQL-backed persistent memory. The results are backed by strong empirical evidence, showing significant improvements over baselines, such as reducing X-ray image registration error from 0.98 to 0.12. The key insight is the use of a relational SQL database to manage search history and lineage (avoiding context bloat) combined with a dedicated holdout-test agent to prevent over-optimization on small development sets. This is highly relevant for our work in LLM evolutionary search; the team could directly adopt the SQL memory architecture and holdout-test agent to improve the scalability and generalization of our own automated heuristic design frameworks.
Ming Du et.al. Argonne National Laboratory arXiv.org pdf / code
25/30 2026-05-11
Budget-Efficient Automatic Algorithm Design via Code GraphThis paper proposes a graph-based search framework for LLM-driven automatic algorithm design where algorithms are represented as paths in a directed acyclic graph (DAG) of code blocks, allowing the LLM to generate composable corrections rather than full rewrites. The approach is backed by strong empirical results on TSP, LRP, and BRP, demonstrating up to 22% smaller optimality gaps than full-algorithm baselines at equal token budgets. The key insight is the use of a Random Forest surrogate model combined with Shapley values to perform correction-level credit assignment, effectively isolating the impact of specific code edits from the overall algorithm fitness. This is highly relevant for LLM evolutionary search; the DAG representation and Shapley-based credit assignment provide a concrete architectural blueprint for drastically improving sample efficiency, search signal quality, and observability in automated heuristic discovery.
Maxime Bouscary et.al. Massachusetts Institute of Technology, University of California, Berkeley arXiv.org pdf / code
25/30 2026-05-11
Teacher-Aware Evolution of Heuristic Programs from Learned Optimization PoliciesThis paper introduces a teacher-aware evolutionary framework that uses pre-trained neural optimization policies to provide step-by-step behavioral feedback to guide the LLM-based evolution of symbolic heuristics. The results are backed by strong empirical numbers, showing consistent improvements over standard performance-driven baselines (EoH, ReEvo) on scheduling, routing, and graph optimization benchmarks, while maintaining the fast inference of static code. The key insight is that instead of relying solely on delayed endpoint performance, one can query a black-box neural policy on the specific states visited by a candidate heuristic and use the behavioral discrepancies (top-1 action agreement) to prompt targeted LLM revisions. This is highly relevant for research in LLM evolutionary search, as it provides a concrete, actionable implementation of a process reward model that directly improves search guidance and sample efficiency.
Minyu Chen et.al. Shanghai Jiao Tong University, Shenzhen Technology University, Shanghai Polytechnic University arXiv.org pdf / code
23/30 2026-05-11
RubricEM: Meta-RL with Rubric-guided Policy Decomposition beyond Verifiable RewardsLi et al. introduce RubricEM, an RL framework for long-horizon LLM agents that uses dynamically generated rubrics to structure trajectories, assign stage-wise process rewards via Stage-Structured GRPO, and train a reflection memory bank for cross-episode transfer. The results are rigorously backed by numbers, showing their 8B model outperforming 30B+ open models and approaching proprietary systems on four long-form research benchmarks. The key insight is that rubrics can serve as a shared interface across the entire RL loop, acting simultaneously as structural priors for planning, dynamic process reward models for intermediate credit assignment, and structured memory for experience reuse. This is highly relevant for our work in LLM evolutionary search and multi-agent optimization, as the asynchronous reflection pipeline and stage-structured credit assignment directly address our core challenges in sample efficiency, process reward modeling, and persistent memory across search runs.
Gaotang Li et.al. Google Cloud AI Research, University of Illinois Urbana-Champaign arXiv.org pdf / code
25/30 2026-05-10
LEVI: Stronger Search Architectures Can Substitute for Larger LLMs in Evolutionary SearchLEVI introduces a cost-efficient framework for LLM-guided evolutionary search that replaces expensive frontier-model reliance with a stronger search architecture. The authors demonstrate that by combining a CVT-MAP-Elites archive, role-aware LLM routing (using small models for local edits and large models only for structural paradigm shifts), and rank-preserving proxy benchmarks, they can outperform existing frameworks like ShinkaEvolve and GEPA on systems-research and prompt-optimization tasks at 3.3 to 6.7x lower cost. The results are rigorously backed by empirical cost and performance metrics across 11 benchmarks. The key insight is the decoupling of mutation roles: routing 90% of mutations to cheap, open-weight models for local refinement while reserving frontier models strictly for escaping local optima via 'paradigm shifts.' This is a must-read for our work in LLM evolutionary search, as the role-aware routing and proxy benchmark techniques offer immediate, concrete ways to drastically improve the sample efficiency and scalability of our own optimization pipelines.
Temoor Tanveer et.al. Independent Researcher arXiv.org pdf / code
24/30 2026-05-10
TacoMAS: Test-Time Co-Evolution of Topology and Capability in LLM-based Multi-Agent SystemsTacoMAS introduces a test-time co-evolution framework for LLM multi-agent systems that updates agent capabilities rapidly (via memory refinement) and communication topology slowly (via birth-death operations and edge edits). The results are backed by strong empirical evidence, achieving an average 13.3% accuracy improvement over 20 baselines across four diverse benchmarks. The key insight is the separation of evolution into two time scales—fast capability updates to handle immediate subtasks and slow topology updates to preserve coordination stability—which prevents the system from diverging during test-time adaptation. Furthermore, using a meta-judge to assign contribution scores to individual agents effectively acts as a process reward model to guide the replicator dynamics. This is highly relevant for our research in multi-agent optimization and LLM evolutionary search; the fast-slow update schedule and the meta-judge scoring mechanism are concrete techniques we should evaluate for our own multi-agent frameworks.
Chen Xu et.al. Carnegie Mellon University, University of Science and Technology of China, National University of Singapore, Shanghai AI Lab arXiv.org pdf / code
24/30 2026-05-09
Evolutionary Ensemble of AgentsYu and Yang introduce Evolutionary Ensemble (EvE), a framework that co-evolves functional code solvers alongside the guidance and skills of the coding agents that produce them. The results are backed by rigorous ablations on a complex positional-encoding design task, demonstrating that continuous agent evolution prevents the phase mismatch and stagnation seen with static or frozen agents. The key insight is the dual-population credit assignment mechanism, which evaluates and evolves agent guidance based strictly on the downstream performance gains of the code they generate in a synchronous race. This is highly relevant for our work in LLM evolutionary search and multi-agent optimization, offering a concrete method to adapt search strategies dynamically as the optimization landscape shifts.
Zongmin Yu et.al. National University of Singapore arXiv.org pdf / code
24/30 2026-05-08
HMACE: Heterogeneous Multi-Agent Collaborative Evolution for Combinatorial OptimizationHMACE decomposes LLM-based heuristic generation into a multi-agent workflow (Proposer, Generator, Evaluator, Reflector) to automate heuristic design for combinatorial optimization problems. Backed by strong empirical numbers, it achieves lower optimality gaps on TSP and Online BPP than SOTA baselines like EoH and CORAL, while using significantly fewer tokens (e.g., 0.13M vs 0.24M for TSP). The key insight is the integration of a CVT-MAP-Elites archive as a 'Reflector' memory to enable behavior-aware retrieval of past heuristics, which, combined with a lightweight deterministic pre-filter, drastically improves the sample efficiency of the evolutionary search. This is highly relevant to our work in multi-agent optimization and LLM evolutionary search, offering actionable techniques to reduce API costs and prevent premature convergence in heuristic discovery.
Yuping Yan et.al. Westlake University arXiv.org pdf / code
26/30 2026-05-08
FlashEvolve: Accelerating Agent Self-Evolution with Asynchronous Stage OrchestrationFlashEvolve accelerates LLM-based agent evolution by replacing synchronized execution stages with asynchronous workers and queues, allowing proposal, rollout, and evaluation to overlap. Backed by strong empirical numbers, it achieves up to 4.9x higher proposal throughput and reaches higher validation scores significantly faster on benchmarks like IFBench and HotpotQA compared to synchronous baselines. The key insight is 'Reflective Async' for handling data staleness: unlike continuous weights in RL, stale language artifacts (prompts or code) are inspectable and can be semantically patched by the LLM to incorporate recent pool updates, preventing wasted compute. This is highly critical for scaling LLM evolutionary search and optimizing LLM serving scheduling, providing a concrete architectural blueprint to drastically reduce the wall-clock time of evolutionary discovery pipelines.
Zhengding Hu et.al. University of California, San Diego, Georgia Institute of Technology arXiv.org pdf / code
23/30 2026-05-08
Kernel Foundry: A Diagnosis-driven Evolutionary Kernel Optimizer with Multi-ExpertsKernel Foundry proposes a multi-island evolutionary framework for GPU kernel optimization that uses retrieval-augmented initialization and a diagnosis-driven feedback loop to iteratively refine Triton kernels. The results are rigorously backed by empirical evaluations on KernelBench, demonstrating up to 100% correctness on complex multi-operator pipelines and consistent speedups over strong baselines like AutoTriton. The key insight is the integration of an 'Experience Library' and a 'Diagnosis Engine' that translate raw execution errors and performance bottlenecks into structured, reusable natural language hints, providing a far richer evolutionary signal than scalar fitness scores. This is highly relevant for our work in LLM evolutionary search, as the architecture for accumulating persistent optimization knowledge and structured feedback can be directly adapted to improve sample efficiency in automated algorithm discovery.
Zixuan Huang et.al. Huawei, The Chinese University of Hong Kong arXiv.org pdf / code
22/30 2026-05-07
CoupleEvo: Evolving Heuristics for Coupled Optimization Problems Using Large Language ModelsCoupleEvo extends LLM-driven heuristic evolution to coupled optimization problems by generating interacting Large Neighborhood Search (LNS) destroy operators using sequential, iterative, or integrated prompting strategies. Results are backed by empirical evaluations on the Inventory Routing Problem and a multi-robot pre-marshalling problem, showing the approach outperforms classical matheuristics but slightly trails highly specialized state-of-the-art solvers. The key insight is that decomposing the evolution of interacting heuristics into sequential or iterative phases yields significantly better and more stable convergence than integrated generation, which overwhelms the LLM's search complexity. This is highly relevant for our research in LLM evolutionary search and vehicle routing, as it provides a concrete architectural blueprint for evolving multi-component ALNS operators.
Thomas Bömer et.al. Karlsruhe Institute of Technology GECCO 2026 pdf / code
24/30 2026-05-07
SkillOS: Learning Skill Curation for Self-Evolving AgentsSkillOS trains a dedicated skill curator model using Grouped Reward Policy Optimization (GRPO) to insert, update, and delete reusable skills in a persistent repository for a frozen agent executor. The results are backed by strong empirical evidence, showing up to a 9.8% relative performance improvement and a 6.0% reduction in interaction steps on ALFWorld, WebShop, and math reasoning benchmarks compared to strong memory baselines. The key insight is the training recipe for delayed memory feedback: grouping related tasks sequentially so that skills extracted from early tasks are explicitly rewarded based on their utility in solving later tasks, augmented by intermediate process rewards for skill conciseness and quality. This is highly relevant for LLM evolutionary search and multi-agent optimization, as it provides a scalable, RL-driven mechanism to maintain a persistent, cross-run memory of successful heuristics or strategies without relying on static rules.
Siru Ouyang et.al. Google Cloud AI Research, Massachusetts Institute of Technology, University of Illinois Urbana-Champaign arXiv.org pdf / code
22/30 2026-05-07
Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical DiscoveryBäuerle et al. present a qualitative user study and interactive dashboard for AlphaEvolve, formalizing the iterative human-AI workflow into 'intentmaking' (problem definition) and 'sensemaking' (result interpretation). While results are qualitative (based on observations of 11 mathematicians running 2,300+ experiments) rather than algorithmic benchmarks, the operational insights are highly valuable. The key actionable insight is the implementation of a 'critique agent' and a low-cost test stage during experiment setup, which helps users catch underspecified constraints and prevent evolutionary reward hacking before launching expensive, multi-day compute jobs. This is highly relevant for our work in LLM evolutionary search, as adopting these pre-run validation steps can directly improve sample efficiency, reduce wasted compute, and enhance system observability.
Alex Bäuerle et.al. Google DeepMind arXiv.org pdf / code
22/30 2026-05-01
AlphaInventory: Evolving White-Box Inventory Policies via Large Language Models with Deployment GuaranteesAlphaInventory uses an RL-fine-tuned LLM (via GRPO) to iteratively evolve and certify white-box inventory policies for non-stationary environments. Backed by strong empirical results on synthetic and real-world retail data, it outperforms classical and deep learning baselines, discovering novel structural extensions to the Capped Base Stock policy (Tilted-CBS and Tilted-PIC). The key insight is the integration of a confidence-interval-based certification gate during the evolutionary search, which ensures that generated heuristics are statistically safe for future deployment by bridging the gap between historical replay and online performance. This is highly relevant for our work in LLM evolutionary search; the team should consider adopting the statistical certification framework and GRPO-based proposal training for evolving robust heuristics in stochastic routing and scheduling problems.
Chenyu Huang et.al. Tsinghua University, Boston College, Shanghai Jiao Tong University, The Chinese University of Hong Kong, Shenzhen, Shanghai University of Finance and Economics arXiv.org pdf / code
23/30 2026-04-30
Beyond the Training Distribution: Mapping Generalization Boundaries in Neural Program SynthesisVoigt et al. evaluate the out-of-distribution generalization limits of transformers in program synthesis by mapping arithmetic programs into continuous syntactic and semantic manifolds. Backed by rigorous evaluation on millions of programs, they demonstrate that while transformers can extrapolate semantically using known syntax, they suffer a massive >30% performance drop when forced to extrapolate to novel syntactic structures. The key insight is that pure autoregressive scaling yields strictly log-linear returns for structural extrapolation, exposing a fundamental bottleneck in LLMs that cannot be overcome by compute alone. This is highly relevant for LLM evolutionary search, as it provides empirical proof that evolutionary algorithms are strictly necessary to navigate beyond the learned data manifold. Furthermore, the community could directly adopt their dual-manifold projection technique to measure and enforce population diversity during evolutionary search.
Henrik Voigt et.al. Friedrich Schiller University Jena arXiv.org pdf / code
25/30 2026-04-27
A2DEPT: Large Language Model-Driven Automated Algorithm Design via Evolutionary Program TreesA2DEPT advances LLM-driven algorithm design by evolving complete, open-ended solver programs via a tree-structured search with hierarchical operators and an automated dependency repair loop. The results are rigorously backed by empirical data, showing a 9.8% reduction in the mean normalized optimality gap relative to state-of-the-art baselines (FunSearch, EoH, ReEvo) across standard combinatorial optimization benchmarks like CVRP and FJSP. The key insight is the decoupling of mutations into hierarchical operators (macro-mutation for workflow restructuring vs. micro-tuning for local refinement) paired with a closed-loop dependency repair mechanism, which allows the LLM to safely rewrite system-level logic without permanently breaking executability. This is highly relevant for LLM evolutionary search research, as it provides a concrete, implementable mechanism to escape the performance ceiling of fixed algorithmic templates and synthesize entirely novel solver architectures.
Bin Chen et.al. National University of Defense Technology, University of Electronic Science and Technology of China, Academy of Military Medical Sciences arXiv.org pdf / code
27/30 2026-04-27
SeaEvo: Advancing Algorithm Discovery with Strategy Space EvolutionSeaEvo augments LLM-driven evolutionary search by maintaining a persistent, population-level memory of natural-language strategy descriptions, clustering them to ensure diverse parent selection and tracking strategy saturation. Backed by strong empirical results, it achieves up to a 66% improvement on systems optimization tasks (like GPU model placement) over state-of-the-art backbones like ShinkaEvolve, while reducing cumulative API costs. The key insight is the Stratified Experience Retrieval (SER) module, which clusters candidate strategies using text embeddings and selects parents based on behavioral complementarity rather than just fitness, preventing premature convergence on syntactic variants of the same flawed idea. This is a must-read for our work in LLM evolutionary search, as it provides a concrete, implementable architecture for persistent memory and sample efficiency, directly tested on the exact LLM serving and scheduling problems we target.
Sichun Luo et.al. The University of Hong Kong, City University of Hong Kong, JIUTIAN Research, China Mobile arXiv.org pdf / code
19/30 2026-04-24
GR-Evolve: Design-Adaptive Global Routing via LLM-Driven Algorithm EvolutionGR-Evolve applies an LLM-driven evolutionary search framework to automatically specialize C++ global routing algorithms for specific chip designs. The results are empirically strong, demonstrating up to an 8.72% reduction in post-detailed-routing wirelength over established baselines like FastRoute and CUGR. The key insight is the use of 'warm-start evolution'—evolving heuristics on smaller, cheaper-to-evaluate instances and transferring the modified codebase as the initialization for larger instances—combined with a stateless, Git-backed persistent memory to avoid context degradation. This is highly relevant to our work in LLM evolutionary search; the warm-start curriculum and stateless memory architecture are concrete techniques we should adopt to improve sample efficiency when evolving heuristics for large-scale optimization problems.
Taizun Jafri et.al. Arizona State University arXiv.org pdf / code
25/30 2026-04-22
Learning to Evolve: A Self-Improving Framework for Multi-Agent Systems via Textual Parameter Graph OptimizationHe et al. introduce Textual Parameter Graph Optimization (TPGO), a framework that optimizes multi-agent systems by representing their configurations as modular graphs and evolving them using textual gradients. The results are backed by solid empirical evidence, demonstrating a 7-10% absolute success rate improvement on complex benchmarks like MCP-Universe and GAIA over strong baselines (ReAct, MiroFlow). The key insight is the Group Relative Agent Optimization (GRAO) mechanism, which maintains an 'Optimization Experience Memory' of past successful and failed graph edits, clustering and retrieving them to teach the LLM optimizer how to generate better updates over time. This is highly relevant for our work in LLM evolutionary search; adopting the graph-based representation and historical experience retrieval could significantly improve the sample efficiency and stability of our evolutionary algorithms.
Shan He et.al. Future Living Lab of Alibaba arXiv.org pdf / code
27/30 2026-04-14
BEAM: Bi-level Memory-adaptive Algorithmic Evolution for LLM-Powered Heuristic DesignBEAM reformulates LLM-based automatic heuristic design as a bi-level optimization problem, using a Genetic Algorithm to evolve high-level algorithmic structures and Monte Carlo Tree Search to implement specific function placeholders. The results are strongly backed by empirical evidence, showing a 37.84% aggregate reduction in optimality gap for CVRP hybrid algorithm design compared to existing LLM hyper-heuristics, and even outperforming the SOTA KaMIS solver on Maximum Independent Set problems. The key insight is the Adaptive Memory mechanism: instead of forcing the LLM to rewrite or patch long code blocks in every generation, BEAM stores high-performing functions in a repository and allows the LLM to simply `import` them by name, drastically reducing token consumption and improving sample efficiency. This is a must-read for our work on LLM evolutionary search, as the bi-level structure and import-based memory directly solve the scalability and context-limit bottlenecks inherent in AlphaEvolve-style frameworks.
Chuyang Xiang et.al. arXiv.org pdf / code
20/30 2026-04-08
PRIME: Training Free Proactive Reasoning via Iterative Memory Evolution for User-Centric AgentPRIME is a gradient-free framework that improves LLM agents by distilling multi-turn interaction trajectories into a structured memory library and optimizing it via evolutionary operators (mutation, crossover, generalization, pruning). The results are backed by strong empirical evidence, showing competitive performance with GRPO-trained models on 8 benchmarks while requiring 5-6x fewer GPU hours and demonstrating cross-architecture transferability. The key insight is the combination of multi-turn credit assignment (Reward-to-Go) to isolate pivotal decision steps for distillation, alongside LLM-driven evolutionary operators that continuously refine text-based memories into generalized strategies. This is highly relevant for research in LLM evolutionary search and multi-agent optimization, as the team can directly adapt the memory evolution operators and the three-zone (success, failure, preference) structured memory architecture for persistent heuristic discovery and multi-agent debate systems.
Prince Zizhuang Wang et.al. Carnegie Mellon University arXiv.org pdf / code
25/30 2026-04-07
ResearchEVO: An End-to-End Framework for Automated Scientific Discovery and DocumentationResearchEVO is an end-to-end framework that combines LLM-guided bi-dimensional co-evolution for algorithm discovery with a sentence-level RAG pipeline to autonomously generate scientific papers explaining the discovered algorithms. Results are backed by rigorous empirical evidence, demonstrating novel, human-interpretable algorithmic discoveries for Quantum Error Correction (using real hardware data) and PINN training stability, alongside compilable papers with zero hallucinated citations. The key insight is the bi-dimensional search space—explicitly separating the evolution of internal module logic from the overall algorithm architecture—combined with feeding structured execution errors back into the LLM for corrective guidance. This is highly relevant for LLM evolutionary search research, as it provides concrete mechanisms to escape local optima in template-based generation and offers a novel paradigm for making black-box evolutionary discoveries interpretable.
Zhe Zhao et.al. City University of Hong Kong arXiv.org pdf / code
25/30 2026-04-06
RoboPhD: Evolving Diverse Complex Agents Under Tight Evaluation BudgetsRoboPhD optimizes LLM agent evolution under tight evaluation budgets by replacing traditional validation sets with an Elo-based tournament on training data and allowing agents to evolve their own diagnostic instrumentation. The results are backed by solid empirical comparisons, outperforming GEPA and Autoresearch on 3 out of 4 benchmarks (ARC-AGI, Text2SQL, DocFinQA) under a strict 1,500 evaluation budget. The single most useful takeaway we can steal is 'self-instrumenting agents'—seeding the initial agent with print() statements and letting the evolutionary process grow its own logging to provide richer Actionable Side Information (ASI) to the LLM optimizer. This paper matters immensely for AlgoEvo; we should immediately test dropping our validation splits in favor of Elo tracking and implement self-instrumenting diagnostics to improve our evolutionary signal without increasing API costs.
Andrew Borthwick et.al. Independent Researchers arXiv.org pdf / code
24/30 2026-04-03
Breaking Validity-Induced Boundaries to Expand Algorithm Search Space: A Two-Stage AST-Based Operator for LLM-Driven Automated Heuristic EvolutionThis paper introduces a two-stage AST-based evolutionary operator for LLM-driven automated heuristic design that intentionally generates invalid code structures via AST crossover and mutation, followed by an LLM repair phase to produce executable heuristics. The approach is backed by empirical results on TSP and Online Bin Packing, demonstrating that integrating this operator into frameworks like EoH and ReEvo improves optimization performance while reducing token consumption by 18-45%. The key insight is that forcing the LLM to repair structurally broken code, rather than generating valid code end-to-end, breaks the model's pre-trained semantic biases and expands the algorithm search space. This is highly relevant for our research in LLM evolutionary search; decoupling structural perturbation (via cheap AST operations) from semantic repair is a concrete technique we should adopt to improve exploration diversity and sample efficiency.
Sun Shengming et.al. Xi’an Jiaotong University arXiv.org pdf / code
25/30 2026-04-01
CliffSearch: Structured Agentic Co-Evolution over Theory and Code for Scientific Algorithm DiscoveryCliffSearch is an LLM-based evolutionary framework that co-evolves algorithm theory and code, using specialized agents for crossover, two-path mutation (exploration vs. repair), and explicit reviewer gating. The results are backed by concrete empirical runs on nanoGPT optimizer discovery and transformer hyper-connection search, demonstrating the discovery of genuinely novel geometric routing and optimizer variants rather than trivial hyperparameter tweaks. The single most useful takeaway is the 'reviewer-gated selection' where an LLM explicitly scores candidates on originality and correctness as a hard survival gate before benchmark scores are considered. This is highly relevant for our AlgoEvo project; we should immediately steal the two-path mutation (novelty vs repair) and the originality hard-gate to prevent our populations from converging on unoriginal benchmark-hacking.
Youssef Mroueh et.al. IBM Research arXiv.org pdf / code
23/30 2026-03-30
Evolutionary Discovery of Reinforcement Learning Algorithms via Large Language ModelsThis paper evolves executable reinforcement learning update rules using LLMs as macro-mutation and crossover operators, explicitly forbidding standard RL mechanisms to force the discovery of novel algorithms. The results are backed by solid empirical evaluations on Gymnasium benchmarks, showing the evolved algorithms match or beat standard baselines like PPO and SAC on several tasks, though they struggle on a few complex continuous control environments. The single most useful takeaway for us is their diversity-aware crossover, which uses normalized Levenshtein distance to penalize recombining near-duplicate parents, alongside a post-evolution step where the LLM proposes bounds for internal scalar parameters before a final sweep. We should immediately test the Levenshtein-penalized crossover in AlgoEvo to prevent diversity collapse, and adopt the LLM-bounded HPO step to ensure we aren't discarding good heuristics simply because of bad default scalar parameters.
Alkis Sygkounas et.al. Machine Perception and Interaction Lab, Örebro University, Sweden GECCO 2026 pdf / code
23/30 2026-03-30
COvolve: Adversarial Co-Evolution of Large-Language-Model-Generated Policies and Environments via Two-Player Zero-Sum GameCOvolve uses LLMs to adversarially co-evolve Python code for both environments (tasks) and policies (agents), using Policy Space Response Oracles (PSRO) to compute a mixed-strategy Nash equilibrium (MSNE) that prevents catastrophic forgetting. The results are backed by solid empirical data across MiniGrid, PyGame, and CARLA, demonstrating that the MSNE approach maintains robust performance across a growing historical archive of environments much better than greedy retention. WHAT WE LEARNED: The use of an empirical payoff matrix and MSNE to evaluate new code against an archive of past opponents/environments is a powerful memory and evaluation mechanism for LLM evolution. This matters immensely for us: we can steal this exact architecture for AlgoEvo or EvoCut by co-evolving hard OR instances (environments) alongside our solver heuristics (policies), using MSNE to ensure our heuristics do not overfit to specific instance types.
Alkis Sygkounas et.al. Örebro University GECCO 2026 pdf / code
26/30 2026-03-30
Kernel-Smith: A Unified Recipe for Evolutionary Kernel OptimizationKernel-Smith combines an evaluation-driven evolutionary agent with a step-centric reinforcement learning recipe to generate high-performance GPU kernels. The results are backed by strong empirical evidence, achieving state-of-the-art speedups on KernelBench (3.70x average vs Claude-4.6-opus's 3.33x) and resulting in merged pull requests for production engines like SGLang and LMDeploy. The key insight is that when training an LLM for evolutionary search, one should not train on full trajectories (which causes shortcut learning) or initial steps (which are too easy); instead, apply RL exclusively to the highest-gain atomic revision steps to optimize the model as a powerful local improver. This is a must-read for our work in LLM evolutionary search, as it provides a validated, reproducible recipe for fine-tuning models to act as highly efficient mutation operators.
He Du et.al. Shanghai AI Laboratory, Fudan University, MetaX arXiv.org pdf / code
26/30 2026-03-25
AVO: Agentic Variation Operators for Autonomous Evolutionary SearchChen et al. (NVIDIA) introduce Agentic Variation Operators (AVO), replacing the fixed mutation and crossover pipelines in LLM evolutionary search with an autonomous coding agent that iteratively plans, implements, tests, and debugs candidate solutions. The results are highly rigorous and backed by hardware benchmarks, showing the evolved kernels outperform expert-tuned cuDNN (up to 3.5%) and FlashAttention-4 (up to 10.5%) on Blackwell B200 GPUs. The critical takeaway is elevating the LLM from a single-turn candidate generator to a self-directed variation operator with access to persistent memory, profiling feedback, and domain documentation, allowing it to perform multi-step hardware-level reasoning before committing a candidate. This is a must-read for LLM evolutionary search, as it directly challenges the standard FunSearch paradigm and provides a concrete architectural blueprint for integrating general-purpose coding agents into evolutionary optimization loops.
Terry Chen et.al. NVIDIA arXiv.org pdf / code
28/30 2026-03-19
HyperagentsZhang et al. introduce DGM-Hyperagents, a self-referential evolutionary search framework where the task agent and the meta-agent (the evolver) are unified into a single editable program. The results are rigorously backed by empirical evaluations across coding, robotics reward design, and math grading, showing significant gains over fixed-meta-agent baselines like the original Darwin Gödel Machine. The key insight is 'metacognitive self-modification': by allowing the LLM to edit the improvement procedure itself, the system autonomously develops persistent memory, performance tracking, and compute-aware planning without explicit human prompting. This is a must-read for our work in LLM evolutionary search, as it provides a concrete blueprint for moving beyond fixed, handcrafted evolutionary operators to fully self-improving search architectures.
Jenny Zhang et.al. Meta, University of British Columbia, Vector Institute, University of Edinburgh, New York University, Canada CIFAR AI Chair arXiv.org pdf / code
22/30 2026-03-18
Procedural Generation of Algorithm Discovery Tasks in Machine LearningThis paper introduces DiscoGen, a procedural generator that combinatorially creates millions of algorithm discovery tasks (varying domains, editable modules, and datasets) with strict meta-train/meta-test splits to evaluate and train Algorithm Discovery Agents (ADAs). The results are backed by extensive empirical evaluation of open-source LLMs on a fixed subset (DiscoBench), demonstrating that current ADAs struggle with multi-module discovery and that prompt-tuning over a diverse set of procedurally generated tasks significantly improves generalization. The single most useful takeaway is the combinatorial task generation approach (toggling which modules are editable vs. fixed), which provides a brilliant blueprint for creating an autocurriculum to train our 'evolver' agents. This matters immensely for us; we should immediately consider using DiscoGen to evaluate AlgoEvo, and adapt their procedural task generation strategy to create diverse OR/routing environments for our own RL-infused evolutionary search training.
Alexander D. Goldie et.al. University of Oxford, University College London, University of California, Santa Barbara, University of Wisconsin–Madison, Delft University of Technology arXiv.org pdf / code
25/30 2026-03-15
CausalEvolve: Towards Open-Ended Discovery with Causal ScratchpadCausalEvolve enhances LLM evolutionary search frameworks (like AlphaEvolve and ShinkaEvolve) by introducing a causal scratchpad that extracts outcome- and procedure-level factors to explicitly guide program mutations via a Multi-Armed Bandit. The results are backed by solid empirical numbers, showing it outperforms the state-of-the-art ShinkaEvolve across four algorithmic and mathematical tasks (Hadamard, Autocorrelation, Circle Packing, AIME) by up to 9.1% in best-found scores. The single most useful takeaway for us is their 'surprise detection' module: using LLMs to perform abductive reasoning when a seemingly good combination of factors yields a score drop, thereby uncovering hidden confounders and generating new search directions. This is highly relevant to our work; we should immediately evaluate their MAB-driven causal intervention strategy and procedure-level factor extraction to improve the sample efficiency and memory mechanisms in AlgoEvo.
Yongqiang Chen et.al. Carnegie Mellon University, MBZUAI, Hong Kong Baptist University, The University of Sydney arXiv.org pdf / code
23/30 2026-03-12
CreativeBench: Benchmarking and Enhancing Machine Creativity via Self-Evolving ChallengesWang et al. introduce CreativeBench to evaluate LLM code generation creativity and propose EvoRePE, a representation engineering technique that extracts a 'creativity vector' from AlphaEvolve search trajectories to steer model activations at inference time. The results are backed by solid empirical evaluations, showing that injecting this vector improves novelty and correctness even without running the full evolutionary search. THE SINGLE MOST USEFUL TAKEAWAY: We can run our evolutionary search (e.g., AlgoEvo) offline to collect (base_heuristic, evolved_heuristic) pairs, compute the PCA of their hidden state differences, and inject this vector during standard inference to force the model into an exploratory mode. This is highly relevant to our work as it offers a completely new, training-free mechanism to solve the sample efficiency and scalability bottlenecks in LLM evolutionary search.
Zi-Han Wang et.al. Tsinghua University, Peking University, Southern University of Science and Technology, University of Bristol, The Hong Kong University of Science and Technology (Guangzhou), Xi’an Jiaotong University ACL pdf / code
23/30 2026-03-12
KernelFoundry: Hardware-aware evolutionary GPU kernel optimizationKernelFoundry is an LLM-based evolutionary framework for GPU kernel optimization that combines MAP-Elites quality-diversity search with meta-prompt co-evolution and gradient-informed mutation hints. The results are rigorously backed by numbers, showing a 2.1x speedup over the AI CUDA Engineer baseline on KernelBench L2 and successful optimization of Llama 3 operations. The single most useful takeaway for us is their 'Gradient-Informed Evolution' technique: they track parent-to-child fitness transitions in the MAP-Elites archive to compute pseudo-gradients across behavioral dimensions, which are then translated into specific natural language mutation hints for the LLM (e.g., 'positive gradient in memory -> hint: add shared memory tiling'). While we do not write low-level GPU kernels, this exact architectural improvement—alongside their meta-prompting to prevent context pollution—is highly transferable and should be immediately tested in AlgoEvo and EvoCut to improve our search signal and sample efficiency.
Nina Wiedemann et.al. Intel Corporation arXiv.org pdf / code
20/30 2026-03-11
Reinforced Generation of Combinatorial Structures: Ramsey NumbersNagda et al. (DeepMind) apply the AlphaEvolve framework to discover novel stochastic search algorithms that improve lower bounds for five classical Ramsey numbers and match SoTA on 23 others. The results are mathematically verified and represent genuine SoTA advances in extremal combinatorics, proving the framework's capability to generate highly specialized, non-trivial heuristics. The single most useful takeaway for us is their meta-algorithm's scoring function: instead of only rewarding valid states, they evaluate a larger, infeasible 'prospect' state and provide a dense, continuous reward based on its violation count relative to a random baseline. We should immediately steal this 'prospect evaluation' trick for AlgoEvo to smooth the reward landscape when evolving heuristics for highly constrained OR problems like VRP, where finding strictly feasible intermediate solutions is a bottleneck.
Ansh Nagda et.al. Google DeepMind, Google, University of California, Berkeley arXiv.org pdf / code
23/30 2026-03-10
Code-Space Response Oracles: Generating Interpretable Multi-Agent Policies with Large Language ModelsThis paper replaces the deep RL oracle in Policy-Space Response Oracles (PSRO) with an LLM that generates interpretable Python code policies, using AlphaEvolve to iteratively refine the code against opponent meta-strategies. The results are backed by solid empirical metrics, showing that the AlphaEvolve variant achieves competitive exploitability and higher population returns than RL baselines (IMPALA) and CFR+ on Repeated Rock-Paper-Scissors and Leduc Poker. The single most useful takeaway for us is their 'context abstraction' technique—using an LLM to summarize opponent code into natural language to bypass context window limits during evolutionary search. This is highly relevant for our AlgoEvo project; we should immediately discuss implementing their two-level loop (outer meta-game equilibrium, inner AlphaEvolve refinement) and context abstraction for our multi-agent evolutionary search.
Daniel Hennes et.al. Google DeepMind Proceedings of the 25th International Conference on Autonomous Agents and Multiagent Systems pdf / code
26/30 2026-03-09
Advancing Automated Algorithm Design via Evolutionary Stagewise Design with LLMsEvoStage enhances LLM-based automated algorithm design by decomposing the generation process into sequential stages, using a multi-agent system (coordinator and coders) to iteratively refine code based on real-time intermediate execution feedback. The results are highly credible and backed by strong empirical numbers; it achieves state-of-the-art HPWL on 16 chip placement benchmarks and beats AlphaEvolve/EoH on Bayesian Optimization tasks using an incredibly small budget of just 9 to 25 evaluations. The single most useful takeaway is the shift from black-box end-to-end evaluation to stagewise intermediate feedback, where a coordinator agent reflects on mid-execution metrics to guide the next stage of heuristic design. This matters immensely for our AlgoEvo and MASPRM projects; we should immediately test pausing our VRP/scheduling environments mid-execution to feed intermediate state metrics to a coordinator LLM, which could drastically reduce the number of LLM samples we need to find optimal heuristics.
Chen Lu et.al. Nanjing University, Huawei Noah’s Ark Lab arXiv.org pdf / code
22/30 2026-03-08
CDEoH: Category-Driven Automatic Algorithm Design With Large Language ModelsThis paper extends the EoH framework by using an LLM to classify generated heuristics into algorithmic categories (e.g., greedy, DP) and applying a two-stage selection strategy to explicitly maintain diversity, alongside a standard reflection loop for code repair. The authors demonstrate empirical improvements over EoH, FunSearch, and ReEvo on Online Bin Packing and TSP, though they lack statistical significance testing. The single most useful takeaway is the 'category pool' concept: prompting the LLM to label the paradigm of the generated code and ensuring the top-1 of each discovered paradigm survives to the next generation. This matters directly for our AlgoEvo project, as it offers a cheap, explicit way to maintain search space exploration without the massive computational overhead of FunSearch's multi-island model.
Yu-Nian Wang et.al. City University of Hong Kong, Nanjing University, Hohai University arXiv.org pdf / code
26/30 2026-03-07
DyACE: Dynamic Algorithm Co-evolution for Online Automated Heuristic Design with Large Language ModelDyACE reformulates LLM-driven automated heuristic design from a static optimization task into a dynamic control problem, using a receding horizon architecture to continuously co-evolve phase-specific heuristic operators alongside the solution population. The results are backed by strong empirical numbers on JSSP, TSP, and CVRP, significantly outperforming state-of-the-art static baselines like ReEvo and FunSearch (e.g., reducing the optimality gap on CVRP CMT1 from ReEvo's 12.5% to 3.1%). The single most useful takeaway is the 'Look-Ahead Rollout Search' combined with a decoupled Diagnosis Agent: instead of evaluating an algorithm end-to-end, they run short rollouts to extract 'Search Trajectory Features' (landscape kinematics, operator telemetry) which an LLM translates into 'Verbal Gradients' to guide the next code mutation. This is a must-read for our AlgoEvo project; it directly addresses our bottlenecks in sample efficiency and search signaling by proving that dynamic, state-aware operator adaptation beats static heuristic generation, giving us a concrete architecture to steal.
Guidong Lu et.al. arXiv.org pdf / code
18/30 2026-03-05
Autonomous Algorithm Discovery for Ptychography via Evolutionary LLM ReasoningThis paper applies LLM-guided evolutionary search (similar to FunSearch/AlphaEvolve) to discover novel regularization algorithms for ptychographic image reconstruction. The results are backed by solid empirical metrics, showing up to +0.26 SSIM improvements over unregularized baselines across multiple datasets. The most useful takeaway for us is twofold: first, their 'semantically-guided crossover' explicitly prompts the LLM to analyze two successful parent algorithms and intentionally merge their complementary mathematical strengths, rather than blindly recombining code. Second, the LLM autonomously discovered the benefit of embedding stateful optimizers (like Adam) and iterative sub-loops directly inside a single heuristic step. This matters for our AlgoEvo and VRP work because we should immediately steal this semantic crossover prompting strategy and ensure our evaluation API permits the LLM to generate stateful, multi-pass operators rather than just stateless, single-pass functions.
Xiangyu Yin et.al. Argonne National Laboratory, Rice University arXiv.org pdf / code
25/30 2026-03-05
ReVEL: Multi-Turn Reflective LLM-Guided Heuristic Evolution via Structured Performance FeedbackReVEL enhances LLM-guided heuristic evolution by clustering candidate heuristics into behaviorally coherent groups and using multi-turn reflection to iteratively refine them based on group-level performance feedback. Backed by strong empirical numbers, it consistently outperforms state-of-the-art baselines like EoH and ReEvo on standard combinatorial optimization benchmarks including TSP, TSPLib, Online BPP, and CVRP. The key insight is the shift from pairwise comparison to group-wise reflection (inspired by GRPO), where heuristics are clustered using both performance profiles and semantic similarity (CodeBLEU) to provide the LLM with a richer, more stable context for proposing refinements. This is highly relevant for our work in LLM evolutionary search, as it directly addresses sample efficiency and the quality of the feedback signal, offering a concrete architectural improvement over existing evolutionary frameworks.
Cuong Van Duc et.al. Hanoi University of Science and Technology, VinUniversity, Phenikaa University arXiv.org pdf / code
25/30 2026-03-03
Rethinking Code Similarity for Automated Algorithm Design with LLMsZhang et al. propose BehaveSim, a metric that measures algorithmic similarity by applying Dynamic Time Warping (DTW) to the sequence of intermediate solutions (trajectories) generated during execution, rather than relying on static code analysis. By integrating this into FunSearch and EoH to enforce behavioral diversity, they achieve significant performance gains, notably reducing the optimality gap on TSP by ~7.8% compared to standard FunSearch. **Key Takeaway:** We must stop using code hashes or embedding cosine similarity for population diversity in AlgoEvo; instead, we should instrument generated heuristics to log intermediate states (e.g., partial VRP routes) and cluster them via DTW to prevent convergence to behaviorally identical local optima. This is a mandatory upgrade for our evolutionary search infrastructure.
Rui Zhang et.al. City University of Hong Kong ICLR pdf / code
19/30 2026-03-03
Learning to Evolve for Optimization via Stability-Inducing Neural UnrollingGao et al. propose L2E, a meta-learned neural optimizer that uses Mamba blocks to parameterize evolutionary operators within a stability-enforcing unrolled loop (Krasnosel'skii-Mann iteration). Results on BBOB and LSGO-1000D are strong, showing it outperforms Transformer-based L2O methods (GLHF) and classical heuristics (DE) in sample efficiency and zero-shot generalization. **Key Takeaway:** We should investigate replacing Transformer-based population encoders in AlgoEvo with Mamba blocks to reduce complexity from quadratic to linear ($O(N)$), enabling larger population sizes in our meta-heuristic search. The theoretical framing of evolution as a fixed-point iteration also offers a rigorous stability constraint we could inject into our RL-guided search policies.
Jiaxin Gao et.al. The Hong Kong Polytechnic University, The University of Hong Kong pdf / code
24/30 2026-03-03
ParEVO: Synthesizing Code for Irregular Data: High-Performance Parallelism through Agentic EvolutionParEVO synthesizes high-performance parallel algorithms for irregular data by combining fine-tuned LLMs with an Evolutionary Coding Agent (ECA) that uses compilers, dynamic race detectors, and hardware profilers as absolute fitness functions. The results are highly rigorous and backed by extensive hardware benchmarks, showing up to a 106x speedup on ParEval and matching or beating expert human baselines on complex graph problems (e.g., 4.1x speedup on Maximal Independent Set). The single most useful takeaway for us is their evolutionary architecture: they use MAP-Elites (categorizing by code length, cyclomatic complexity, and sync primitives) to prevent diversity collapse, and they fine-tune their base models using Direct Preference Optimization (DPO) on past evolutionary trajectories to drastically improve sample efficiency. This is a must-read paper that directly advances our primary focus on LLM evolutionary search, providing concrete techniques we should immediately steal for AlgoEvo.
Liu Yang et.al. Google DeepMind, Yale University arXiv.org pdf / code
23/30 2026-03-03
StitchCUDA: An Automated Multi-Agents End-to-End GPU Programing Framework with Rubric-based Agentic Reinforcement LearningStitchCUDA automates end-to-end GPU program generation using a multi-agent framework, but its core contribution is a training recipe that solves reward hacking in code optimization. They decompose expensive multi-turn agentic RL into single-turn 'atomic skills' (generation vs. refinement) and use GRPO with an LLM-evaluated 'Rubric Reward' (e.g., 'Did you use tiling?') rather than just sparse outcome metrics. This prevents the model from gaming the system (e.g., wrapping PyTorch code) and forces actual optimization behavior. We should steal the atomic skill decomposition to drastically reduce training costs for AlgoEvo and implement Rubric Rewards to fix our process reward models.
Shiyang Li et.al. University of Minnesota-Twin Cities arXiv.org pdf / code
19/30 2026-02-28
WirelessAgent++: Automated Agentic Workflow Design and Benchmarking for Wireless NetworksTong et al. automate the design of LLM agent workflows for wireless tasks using a domain-adapted MCTS over a code-structured search space. The results are rigorously backed by numbers, showing significant improvements over baselines like AFlow and ADAS with a total search cost under $5. The single most useful takeaway for us is their method for handling search efficiency and noise: they use a zero-cost rule-based 'heuristic critic' to pre-screen code mutations via AST analysis before expensive LLM evaluation, and a 3-class experience replay (using an epsilon-threshold) to prevent the optimizer from chasing evaluation noise. While we do not care about wireless networks, we should absolutely steal these two tricks to reduce API costs and stabilize fitness signals in our AlgoEvo pipeline.
Jingwen Tong et.al. The Hong Kong University of Science and Technology, Shenzhen University arXiv.org pdf / code
24/30 2026-02-27
RF-Agent: Automated Reward Function Design via Language Agent Tree SearchRF-Agent frames LLM-based reward function design as a Monte Carlo Tree Search problem, using specialized expansion actions (mutation, crossover, path reasoning) and LLM self-verification to efficiently explore the code space. The results are real and backed by strong empirical numbers; it significantly outperforms Eureka and Revolve on 17 IsaacGym and Bi-DexHands tasks, achieving higher success rates with the same number of LLM samples, even when using the cheaper GPT-4o-mini model. The most stealable insights for us are the 'Path Reasoning' operator (prompting the LLM with the historical trajectory of code changes rather than just a single parent) and the 'Self-verify' score (using the LLM to predict code quality to bias MCTS selection before running expensive environment evaluations). Additionally, the 'thought-alignment' trick—regenerating the design thought after the code compiles to prevent hallucination drift—is a brilliant engineering fix. This is highly actionable for our work; we should immediately test the MCTS structure, path reasoning, and self-verify PRM-lite scoring in AlgoEvo to improve our sample efficiency.
Ning Gao et.al. Beihang University arXiv.org pdf / code
27/30 2026-02-26
EvoX: Meta-Evolution for Automated DiscoveryEvoX introduces a two-level LLM-driven evolutionary framework that jointly evolves candidate solutions and the search strategies (parent selection rules, variation operators) used to generate them. The results are highly rigorous and backed by extensive numbers, demonstrating state-of-the-art performance across nearly 200 real-world optimization tasks (math, systems, Frontier-CS) and outperforming AlphaEvolve, OpenEvolve, and ShinkaEvolve. The single most useful takeaway is their use of a 'population state descriptor' combined with a sliding window stagnation detector; when progress stalls, EvoX prompts the LLM with this descriptor and a history of past strategies to generate a new, state-aware search policy (e.g., switching from free-form variation to UCB-guided structural variation). This paper is a mandatory read for us: it is a direct, high-quality implementation of our 'Evolving the Evolver' concept, and we should immediately steal their meta-evolution loop and state descriptor design to fix stagnation issues in AlgoEvo.
Shu Liu et.al. UC Berkeley, Stanford University, Bespoke Labs arXiv.org pdf / code
24/30 2026-02-26
Enhancing CVRP Solver through LLM-driven Automatic Heuristic DesignThis paper integrates LLM-driven evolutionary search into the AILS framework to evolve 'ruin' heuristics for CVRP, employing a Chain-of-Thought 'voting' mechanism to filter out poor heuristics before expensive evaluation. The results are empirically strong: they claim 8 new Best-Known Solutions on the CVRPLib large-scale benchmark, outperforming HGS and AILS-II. **Key Takeaway:** We should steal the 'acceleration mechanism'—using the LLM to predict heuristic quality via CoT prior to execution—to address the sample efficiency bottleneck in our own evolutionary search loops. This is a direct proof-of-concept that LLM-evolved components can beat hand-crafted SOTA on hard OR instances.
Zhuoliang Xie et.al. City University of Hong Kong, Southern University of Science and Technology arXiv.org pdf / code
23/30 2026-02-25
ArchAgent: Agentic AI-driven Computer Architecture DiscoveryGupta et al. (Google/DeepMind) apply AlphaEvolve to generate C++ cache replacement policies, achieving ~1-5% IPC gains over SOTA (Mockingjay/SHiP) on SPEC and Google traces. The results are rigorous and demonstrate that LLM-driven evolution can outperform human experts in mature hardware domains 3-5x faster. WE LEARNED: The documentation of 'simulator escapes'—where the agent exploited a compiler optimization bug to delete memory writes and artificially boost scores—is a critical warning for our own automated benchmarking; we must harden our OR evaluators against adversarial optimization. Additionally, their 'hyperspecialization' approach (tuning policies per workload) validates our interest in instance-specific heuristic evolution.
Raghav Gupta et.al. Google DeepMind, Google, University of California, Berkeley arXiv.org pdf / code
27/30 2026-02-23
AdaEvolve: Adaptive LLM Driven Zeroth-Order OptimizationAdaEvolve replaces static evolutionary schedules with a three-tier adaptive controller: local exploration intensity based on an 'accumulated improvement signal' (pseudo-gradient), global compute allocation via a normalized bandit, and meta-level 'tactic' generation when stagnation occurs. Results are highly convincing, showing SOTA on Circle Packing (beating AlphaEvolve) and 185 other tasks while using the same LLM backbone as baselines, proving the gains are algorithmic. The most stealable insight is the $G_t$ signal metric—an exponential moving average of squared normalized improvements—which allows auto-tuning exploration rates without manual intervention. This is a direct upgrade for our AlgoEvo architecture, specifically addressing our sample efficiency and stagnation bottlenecks.
Mert Cemri et.al. University of California, Berkeley, Bespoke Labs arXiv.org pdf / code
18/30 2026-02-18
RankEvolve: Automating the Discovery of Retrieval Algorithms via LLM-Driven EvolutionRankEvolve applies AlphaEvolve with MAP-Elites to evolve Python retrieval functions, achieving significant gains over BM25 on BEIR/BRIGHT by rediscovering concepts like soft stop-words and PMI-based scoring. The results are empirically rigorous, showing that 'Freeform' seeds (defining only I/O contracts) significantly outperform 'Composable' or 'Constrained' seeds, albeit at a 10x latency cost. For our AlgoEvo work, the key takeaway is the concrete evidence that constraining the search space to 'clean' components prematurely caps performance; we should adopt their 'Freeform' approach but add an explicit latency/cost constraint to the fitness function to manage the resulting complexity.
Jinming Nian et.al. Walmart Global Tech, Santa Clara University, Independent Researcher arXiv.org pdf / code
27/30 2026-02-18
Discovering Multiagent Learning Algorithms with Large Language ModelsDeepMind applies AlphaEvolve to discover new variants of CFR and PSRO by evolving Python code for regret accumulation and meta-strategy solving. They identify VAD-CFR and SHOR-PSRO, which outperform human-designed SOTA (DCFR, PCFR+) on benchmarks like Leduc Poker and Liar's Dice; results are rigorous, using exact exploitability. The critical takeaway is the shift from evolving static functions to evolving **stateful classes** (e.g., tracking volatility via EWMA inside the accumulator), allowing the LLM to discover dynamic, adaptive schedules—a technique we should immediately port to AlgoEvo.
Zun Li et.al. Google DeepMind arXiv.org pdf / code
24/30 2026-02-17
MadEvolve: Evolutionary Optimization of Cosmological Algorithms with Large Language ModelsMadEvolve extends AlphaEvolve by embedding a gradient-based optimization loop (via JAX) inside the fitness evaluation, allowing the LLM to focus purely on code structure while an optimizer (Adam) handles continuous parameters. They demonstrate 20-30% performance gains on complex cosmological reconstruction tasks, validated on held-out simulations. The critical takeaway is the architectural pattern: prompt the LLM to write differentiable code rather than tuning constants, and use a UCB1 bandit to dynamically select between cheap and expensive models. We should immediately adopt the differentiable inner-loop strategy for our continuous heuristic search projects.
Tianyi Li et.al. University of Wisconsin-Madison arXiv.org pdf / code
28/30 2026-02-17
Heuristic Search as Language-Guided Program OptimizationLaGO decomposes automated heuristic design into three explicit modules: evaluation, a code-writing 'Analyst' (backward pass), and a diversity-aware 'Generator' (update), while co-evolving constructive and refinement heuristics. The authors demonstrate significant gains (+0.17 QYI) on PDPTW and Crew Pairing against ReEvo and EoH, showing that joint optimization of initialization and improvement prevents local optima. The critical takeaway is the 'Analyst' module: instead of asking the LLM for text critiques, they ask it to write Python feature extraction functions to statistically characterize solution quality—a technique we should immediately adopt to upgrade our fitness signals in AlgoEvo.
Mingxin Yu et.al. Massachusetts Institute of Technology arXiv.org pdf / code
21/30 2026-02-10
ImprovEvolve: Ask AlphaEvolve to Improve the Input Solution and Then ImproviseKravatskiy et al. introduce ImprovEvolve, a framework that restricts the LLM to evolving `improve()` (local search) and `perturb()` (mutation) operators, which are then executed by a fixed basin-hopping algorithm. They achieve new state-of-the-art results on Hexagon Packing and the Second Autocorrelation Inequality, demonstrating that this modular approach generalizes to unseen problem sizes where monolithic AlphaEvolve solutions fail. The critical insight is that LLMs are poor at designing global search logic and tuning hyperparameters (LLM edits actively harmed performance), so we should isolate the LLM to generating local moves while keeping the meta-heuristic framework deterministic. We should immediately apply this 'operator-only' evolution strategy to our ALNS research for VRP.
Alexey Kravatskiy et.al. MIRIAI, FusionBrain Lab, Institute of Numerical Mathematics arXiv.org pdf / code
25/30 2026-02-09
G-LNS: Generative Large Neighborhood Search for LLM-Based Automatic Heuristic DesignG-LNS extends LLM-based evolutionary search to ALNS by co-evolving Python code for Destroy and Repair operators rather than constructive priority rules. The authors introduce a 'Synergy Matrix' that tracks the performance of specific operator pairs during evaluation, using this data to guide a 'Synergistic Joint Crossover' where the LLM optimizes the coupling between destroy and repair logic. Results are strong: it significantly outperforms FunSearch and EoH on TSP/CVRP and beats OR-Tools on large-scale instances (N=200) under time constraints. The key takeaway for AlgoEvo is the synergy-aware co-evolution mechanism—explicitly tracking and prompting for component interaction is a concrete technique we can apply to multi-agent optimization systems.
Baoyun Zhao et.al. Tsinghua University, University of Chinese Academy of Sciences, Northeastern University arXiv.org pdf / code
27/30 2026-02-09
Game-Theoretic Co-Evolution for LLM-Based Heuristic DiscoveryASRO 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.
Xinyi Ke et.al. Tsinghua University, Chinese Academy of Sciences, University of Chinese Academy of Sciences, AiRiA arXiv.org pdf / code
21/30 2026-02-05
Mining Generalizable Activation FunctionsVitvitskyi et al. (DeepMind) utilize AlphaEvolve to discover novel activation functions by evolving Python code on small, synthetic datasets explicitly designed to test OOD generalization (e.g., polynomials, Feynman equations). The results are credible and backed by downstream transfer: discovered functions like `GELU * (1 + 0.5 sinc(x))` outperform baselines on algorithmic reasoning tasks (CLRS-30) while matching standard vision benchmarks. **Key Takeaway:** The 'Small-Scale Lab' methodology—optimizing on cheap, synthetic proxy tasks to find generalizable logic—is a validated strategy to bypass the computational bottleneck of evaluating evolved candidates on large-scale instances. We should steal this 'proxy evolution' setup for AlgoEvo to drastically reduce evaluation costs while targeting generalization in VRP heuristics.
Alex Vitvitskyi et.al. Google DeepMind arXiv.org pdf / code
24/30 2026-02-04
Landscape-aware Automated Algorithm Design: An Efficient Framework for Real-world OptimizationYin et al. introduce a framework that decouples algorithm discovery from expensive evaluations by using Genetic Programming to evolve symbolic proxy functions that statistically match the target problem's landscape (via ELA features). Empirical results on photonics problems confirm that algorithms evolved on these cheap proxies transfer successfully to the real tasks, outperforming standard baselines like LSHADE with only 50×D real evaluations. **Key Takeaway:** We can synthesize 'symbolic gyms' that statistically mimic our target problems to run thousands of LLM iterations at near-zero cost. This directly addresses the sample efficiency bottleneck in AlgoEvo and suggests we should move beyond standard neural surrogates to evolved symbolic proxies.
Haoran Yin et.al. arXiv.org pdf / code
19/30 2026-02-04
ProxyWar: Dynamic Assessment of LLM Code Generation in Game ArenasProxyWar introduces a tournament-based evaluation framework for LLM-generated code, using TrueSkill ratings from game simulations (Sudoku, Poker, etc.) instead of static unit tests. The results are robust (10k+ matches) and reveal a low correlation between Pass@1 and actual win rates; notably, 'reasoning' models like DeepSeek-R1 crush 'coding' models like Qwen-Coder in strategic tasks despite lower static scores. For our evolutionary search work, this confirms that we must move beyond static benchmarks to dynamic, competitive evaluation signals to avoid optimizing for syntax over strategy. We should also prioritize reasoning models over code-specialized ones for our agentic logic generation.
Wenjun Peng et.al. arXiv.org pdf / code
26/30 2026-02-03
Contrastive Concept-Tree Search for LLM-Assisted Algorithm DiscoveryThe authors introduce Contrastive Concept-Tree Search (CCTS), which modifies the standard evolutionary loop by prompting the LLM to extract semantic 'concepts' from every generated program, building a dynamic hierarchy. They then apply a Tree-structured Parzen Estimator (TPE) to these concepts to learn a contrastive utility model (p(concept|good)/p(concept|bad)), using this to bias parent selection towards promising algorithmic strategies. Results are rigorous, showing consistent improvements over k-elite baselines on combinatorial tasks like Circle Packing, with a synthetic ablation confirming the model learns ground-truth concept utilities. **Key Takeaway:** We should immediately implement the 'Concept TPE' loop in AlgoEvo—asking the LLM to tag generated heuristics with concepts and maintaining a weight vector over these concepts provides a cheap, interpretable 'process reward model' to guide search.
Timothee Leleu et.al. arXiv.org pdf / code
19/30 2026-02-03
Persona Generators: Generating Diverse Synthetic Personas at ScalePaglieri et al. (DeepMind) apply AlphaEvolve to optimize Python code that generates synthetic personas, explicitly maximizing diversity metrics (convex hull, coverage) in embedding space rather than just fidelity. They achieve >80% coverage of the behavioral space compared to <50% for baselines, proving that evolving the *generator function* is more effective than prompting for diversity. The key takeaway is their two-stage architecture (autoregressive high-level trait generation $\to$ parallel detail expansion), which we should steal to evolve 'Solution Generators' for VRP/OR that inherently resist mode collapse. This validates our direction with AlgoEvo but offers a concrete architectural pattern for maintaining population diversity.
Davide Paglieri et.al. Google DeepMind arXiv.org pdf / code
28/30 2026-02-02
DeltaEvolve: Accelerating Scientific Discovery through Momentum-Driven EvolutionDeltaEvolve 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.
Jiachen Jiang et.al. Microsoft, The Ohio State University arXiv.org pdf / code
21/30 2026-02-02
Automatic Design of Optimization Test Problems with Large Language ModelsAchtelik et al. adapt LLM-driven evolutionary search (EoH) to generate interpretable Python functions that match specific landscape features (ELA), effectively creating synthetic benchmarks on demand. Unlike prior neural network approaches that fail to scale, this method performs robustly in higher dimensions (3D-5D) and produces portable code. The key takeaway is the capability to procedurally generate 'hard' or specific-property instances; we should immediately adopt this to create a dynamic training curriculum for AlgoEvo, ensuring our evolved metaheuristics generalize beyond standard libraries like BBOB.
Wojciech Achtelik et.al. AGH University of Krakow, Warsaw University of Technology arXiv.org pdf / code
24/30 2026-02-01
Evolving Interdependent Operators with Large Language Models for Multi-Objective Combinatorial OptimizationE2OC 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-style evolution of interdependent operators. While the computational cost is high due to the inner-loop operator rotation, the results on FJSP/TSP (+20% HV vs expert) and comparisons against FunSearch/EoH demonstrate that explicitly modeling operator coupling is superior to isolated evolution. The critical takeaway for us is the **'strategy-first' search layer**: evolving a semantic blueprint for component interaction *before* code generation prevents the local optima trap of independent component optimization, a technique we should immediately test in AlgoEvo.
Junhao Qiu et.al. arXiv.org pdf / code
24/30 2026-01-29
READY: Reward Discovery for Meta-Black-Box OptimizationREADY introduces a multi-task evolutionary framework where LLMs evolve reward functions for multiple MetaBBO algorithms simultaneously, utilizing explicit 'Knowledge Transfer' operators to translate successful logic between distinct tasks. The results are robust, demonstrating superior performance over Eureka and EoH on BBOB benchmarks with a 2-4x reduction in search time due to parallelization and shared heuristics. The most stealable insights are the 'History-Reflection' operator—which prompts the LLM to extrapolate trends from the evolutionary trajectory rather than just mutating the current state—and the cross-niche transfer mechanism, both of which should be implemented in our multi-agent optimization stack immediately.
Zechuan Huang et.al. arXiv.org pdf / code
26/30 2026-01-29
LLaMEA-SAGE: Guiding Automated Algorithm Design with Structural Feedback from Explainable AILLaMEA-SAGE augments LLM-based evolutionary search by extracting AST features (complexity, graph metrics) from generated code, training a surrogate model to predict fitness from these features, and using SHAP analysis to generate natural language prompts that guide the LLM to modify specific structural properties (e.g., 'increase cyclomatic complexity'). On the MA-BBOB benchmark, it outperforms state-of-the-art methods (MCTS-AHD, LHNS) and converges faster than vanilla LLaMEA, although the authors honestly report that statistical significance was limited (p=0.44) due to small sample sizes (5 runs). The critical takeaway for us is the pipeline of using static code analysis as a feedback signal—we can immediately steal this 'SAGE' loop to guide AlgoEvo or EvoCut by telling the LLM *how* to structurally mutate code based on surrogate correlations, rather than just hoping for random improvements.
Niki van Stein et.al. Leiden University arXiv.org pdf / code
27/30 2026-01-29
TIDE: Tuning-Integrated Dynamic Evolution for LLM-Based Automated Heuristic DesignTIDE 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.
Chentong Chen et.al. arXiv.org pdf / code
24/30 2026-01-29
PathWise: Planning through World Model for Automated Heuristic Design via Self-Evolving LLMsPathWise reformulates heuristic discovery as a sequential planning problem over an 'Entailment Graph,' where a Policy Agent generates high-level evolutionary directives (rationales) and a World Model executes the code, guided by specific Critic reflections. The results are robust: it outperforms ReEvo, FunSearch, and MCTS-AHD on TSP, CVRP, and Bin Packing while using half the evaluation budget (500 vs 1000), demonstrating genuine sample efficiency. The key takeaway is the **Entailment Graph** structure: explicitly storing the *derivation rationale* and lineage allows the LLM to reason about the search trajectory and avoid redundant failures, a mechanism we should immediately adapt for AlgoEvo to fix our memory bottleneck.
Oguzhan Gungordu et.al. arXiv.org pdf / code
24/30 2026-01-28
Magellan: Autonomous Discovery of Novel Compiler Optimization Heuristics with AlphaEvolveMagellan couples AlphaEvolve with a black-box autotuner (Vizier) to evolve C++ compiler heuristics, achieving >5% binary size reduction in LLVM and beating both human experts and prior neural policies. The results are rigorous, validated on production workloads and showing temporal generalization. **The critical takeaway is the 'Hierarchical Search' strategy:** rather than asking the LLM to write fully specified code, they prompt it to generate *templates* with exposed parameters (flags), delegating numerical tuning to a cheap external optimizer. This directly addresses the sample efficiency issues we face in AlgoEvo; we should immediately steal this architecture to separate structural evolution from parameter tuning.
Hongzheng Chen et.al. Google DeepMind, Google, Cornell University arXiv.org pdf / code
20/30 2026-01-27
Algorithmic Prompt-Augmentation for Efficient LLM-Based Heuristic Design for A SearchThis paper introduces 'Algorithmic-Contextual EoH' (A-CEoH), which injects the actual source code of the search algorithm (e.g., the A* driver loop, neighbor generation) into the LLM prompt alongside the problem description. Experiments on the Unit-Load Pre-Marshalling Problem and Sliding Puzzle Problem demonstrate that this algorithmic context allows a 32B parameter model (Qwen2.5-Coder) to generate heuristics superior to those from GPT-4o and human experts. The results are credible and backed by comparisons against optimal baselines. The key takeaway is a transferable 'prompt trick': explicitly showing the LLM the code that *calls* its generated function aligns the heuristic significantly better with the search dynamics than natural language descriptions alone. We should immediately test injecting our ALNS/search driver code into our evolutionary prompt templates.
Thomas Bömer et.al. EvoStar conference; Code: https://github pdf / code
21/30 2026-01-27
CASTER: Breaking the Cost-Performance Barrier in Multi-Agent Orchestration via Context-Aware Strategy for Task Efficient RoutingCASTER implements a context-aware neural router for multi-agent systems that dynamically selects between weak and strong models, reducing inference costs by ~72% compared to a GPT-4o-only baseline. The authors validate this on a custom benchmark across four domains, showing it outperforms cascading strategies (FrugalGPT) by avoiding the 'double-billing' of failed weak calls. The standout takeaway for us is the 'On-Policy Negative Feedback' mechanism: training the router by explicitly relabeling instances where the weak model failed as 'Strong-Required'. We should adapt this active learning logic to train our proxy reward models in AlgoEvo, allowing us to reliably offload expensive evaluations to cheaper proxies without manual annotation.
Shanyv Liu et.al. University of Houston, China University of Petroleum (East China), Southwest Jiaotong University arXiv.org pdf / code
20/30 2026-01-23
The Art of Being Difficult: Combining Human and AI Strengths to Find Adversarial Instances for HeuristicsThis paper applies FunSearch to generate adversarial instances for classical OR heuristics (Knapsack, Bin Packing, k-median), successfully breaking long-standing theoretical lower bounds. The results are rigorous: they disprove the output-polynomial time of the Nemhauser-Ullmann algorithm and improve the Best-Fit bin packing bound to 1.5. The key takeaway for our AlgoEvo work is the workflow: the LLM finds 'messy' structural patterns (e.g., repeated floats) which humans then manually generalize into asymptotic proofs. This validates Program Search over vector search but exposes the 'generalization gap'—we should implement a post-processing agent to automate this manual refinement step.
Henri Nikoleit et.al. Google DeepMind, University of Bonn, University of Manitoba arXiv.org pdf / code
24/30 2026-01-23
Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic ReasoningLiu et al. introduce SS-Logic, an agentic framework that evolves Python 'Generator-Validator' pairs to scale logic task families, using a rigorous 'Code-Augmented Blind Review' where independent agents must write code to solve generated tasks to verify their validity. They expand 400 seed families to over 21k instances, achieving consistent gains on AIME (+3.0) and SynLogic (+5.2) via RLVR. **Crucial Takeaway:** We should steal the 'Blind Review' mechanism for AlgoEvo—using the solvability of a generated problem (by an independent code agent) as a strict fitness filter for the generator itself. This directly addresses our bottleneck in filtering invalid or hallucinated heuristics during evolutionary search.
Bowen Liu et.al. Tencent, The Hong Kong University of Science and Technology (Guangzhou) arXiv.org pdf / code
20/30 2026-01-23
Talking to Yourself: Defying Forgetting in Large Language ModelsSun et al. propose SA-SFT, a method where the model generates its own 'self-talk' data before fine-tuning, which is then mixed with task data to prevent catastrophic forgetting. The results are compelling: they show that this self-generated data preserves reasoning skills (like GSM8K) better than external datasets, and crucially, ablation studies prove that removing math content from the self-data *still* preserves math skills. The key takeaway is that forgetting is largely driven by style-induced gradient drift rather than knowledge overwriting. This offers a practically free way to stabilize our specialized heuristic-generation models without needing to curate external replay buffers.
Yutao Sun et.al. Zhejiang University, Stanford University, ETH Zürich, Binjiang Institute of Zhejiang University, Om AI Research arXiv.org pdf / code
20/30 2026-01-22
LLM-Assisted Automatic Dispatching Rule Design for Dynamic Flexible Assembly Flow Shop SchedulingLLM4DRD 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** mechanism, where the Evaluator generates qualitative critiques (strengths/weaknesses) that are injected into the Generator's prompts to guide specific operators like 'Dominance-Fusion Crossover' and 'Directed Optimization.' Empirical results show it outperforms FunSearch and EOH, avoiding the premature convergence seen in other methods. The most stealable insight is the prompt structure for crossover: rather than blindly combining code, it uses the Evaluator's analysis of parent strengths to direct the merger, a technique we should implement to improve sample efficiency in our evolutionary search.
Junhao Qiu et.al. arXiv.org pdf / code
29/30 2026-01-22
Learning to Discover at Test TimeTTT-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.
Mert Yuksekgonul et.al. Stanford University, NVIDIA, UC San Diego, Together AI, Astera Institute arXiv.org pdf / code
22/30 2026-01-22
Online Operator Design in Evolutionary Optimization for Flexible Job Shop Scheduling via Large Language ModelsLLM4EO embeds an LLM directly into the Genetic Algorithm loop to dynamically generate and replace gene-selection operators whenever the population stagnates, rather than training them offline. Results on FJSP benchmarks (Brandimarte, Fattahi) show a 3-4% improvement over static GA and GP, with convergence plots demonstrating that LLM interventions successfully break local optima. The most stealable insight is the 'Perception and Analysis' prompt structure: it forces the LLM to explicitly diagnose *why* the current population is stuck (based on fitness stats) before generating new code, a mechanism we should port to AlgoEvo to handle search stagnation. This validates the viability of online, state-aware LLM intervention in OR scheduling problems.
Rongjie Liao et.al. City University of Hong Kong, Guangdong University of Technology pdf / code
21/30 2026-01-15
Global Optimization for Combinatorial Geometry Problems Revisited in the Era of LLMsBerthold et al. demonstrate that standard global NLP solvers (SCIP, Xpress) outperform DeepMind's AlphaEvolve on its own benchmarks (circle/hexagon packing, min-max distance) without any learning or evolution. The results are rigorous, improving on 'newly discovered' solutions within minutes using default solver settings. **CRITICAL TAKEAWAY:** We must validate our AlgoEvo results against classical global solvers to ensure we aren't claiming 'discovery' on problems that are trivial for SCIP; furthermore, it suggests a hybrid path where LLMs generate NLP models for solvers rather than evolving raw heuristic code. This is a necessary reality check for our benchmarking strategy.
Timo Berthold et.al. pdf / code
23/30 2026-01-09
Weights to Code: Extracting Interpretable Algorithms from the Discrete TransformerZhang et al. introduce the 'Discrete Transformer,' a constrained architecture that learns algorithmic tasks via gradient descent and allows for the post-hoc extraction of exact, human-readable Python code. By enforcing functional disentanglement (using attention strictly for routing and MLPs for arithmetic) and employing temperature-annealed sampling, they recover symbolic laws for arithmetic and physics tasks with near-zero error. The critical takeaway is their 'continuous-to-discrete homotopy' strategy—annealing from soft to hard selection during training—which enables differentiable search to converge on discrete, symbolic solutions. This suggests a viable path to discover heuristics via continuous optimization rather than purely stochastic LLM evolution.
Yifan Zhang et.al. arXiv.org pdf / code
24/30 2026-01-06
CodeEvolve: an open source evolutionary coding agent for algorithm discovery and optimizationCodeEvolve couples islands-based genetic algorithms with LLMs, utilizing CVT-MAP-Elites for diversity and a specific 'inspiration-based' crossover operator where the LLM integrates logic from high-ranking peer solutions. The results are strong and backed by numbers: they beat AlphaEvolve on 5/9 benchmarks and demonstrate that Qwen3-Coder-30B matches Gemini-2.5 performance at ~10% of the cost. The single most useful takeaway is the implementation of the 'inspiration' operator and the necessity of MAP-Elites over simple elitism to escape local optima in code space. We should immediately benchmark their open-source framework against our internal AlgoEvo builds.
Henrique Assumpção et.al. Inter&Co., Worcester Polytechnic Institute, Universidade Federal de Minas Gerais arXiv.org pdf / code
28/30 2025-12-30
LoongFlow: Directed Evolutionary Search via a Cognitive Plan-Execute-Summarize ParadigmLoongFlow 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.
Chunhui Wan et.al. arXiv.org pdf / code
25/30 2025-12-22
Mathematical exploration and discovery at scaleDeepMind applies AlphaEvolve to 67 math problems, formalizing the distinction between 'Search Mode' (evolving heuristics for fixed instances) and 'Generalizer Mode' (evolving algorithms that extrapolate from small to large n). Results are rigorous, establishing new bounds on Kakeya sets and 10+ other problems by exploiting verifier loopholes and heuristic specialization. The most critical takeaway for AlgoEvo is Section 44: evolving code that *calls* other LLMs leads to emergent prompt optimization and injection strategies, suggesting a path for our multi-agent optimization work. We must adopt their 'Generalizer' training curriculum (train on small n, test on large n) to fix our scalability bottlenecks.
Bogdan Georgiev et.al. Google DeepMind, UCLA, Brown University, Institute for Advanced Study arXiv.org pdf / code
26/30 2025-12-22
Let the Barbarians In: How AI Can Accelerate Systems Performance ResearchCheng et al. (UC Berkeley) perform a rigorous empirical evaluation of LLM evolutionary search (ADRS) across 10 systems problems, achieving SOTA results on MoE load balancing (13x speedup via rediscovering Hamilton's Apportionment) and cloud scheduling. The results are real and backed by code, comparing frameworks like OpenEvolve, GEPA, and ShinkaEvolve. **Key Takeaway:** Their 'Best Practices' section offers concrete engineering constraints we should adopt: specifically, that 'moderate' feedback (worst-k cases) outperforms 'detailed' feedback (prevents overfitting), and that restricting mutations to diff-based edits is essential to prevent reward hacking. This paper validates our core research thesis while providing the benchmarks we now need to beat.
Audrey Cheng et.al. UC Berkeley arXiv.org pdf / code
23/30 2025-12-19
Reinforced Generation of Combinatorial Structures: Hardness of ApproximationNagda et al. utilize AlphaEvolve to discover combinatorial gadgets that improve hardness of approximation bounds for MAX-CUT and TSP, validating findings with formal proofs. The standout contribution is not the hardness results themselves, but the methodology: they tasked AlphaEvolve with optimizing the *verification code* (checking correctness against a slow ground truth), achieving a 10,000x speedup that enabled searching gadgets of size 19 (vs. 11 previously). We should immediately adopt this 'evolve the verifier' loop for our computationally expensive fitness functions in AlgoEvo to break current scalability limits.
Ansh Nagda et.al. Google DeepMind, Google, University of California, Berkeley pdf / code
26/30 2025-12-17
EvoLattice: Persistent Internal-Population Evolution through Multi-Alternative Quality-Diversity Graph Representations for LLM-Guided Program DiscoveryEvoLattice replaces the standard 'overwrite-based' evolution of monolithic programs with a persistent DAG where each node holds multiple alternative implementations, evaluating all valid combinatorial paths to compute fine-grained performance statistics for every micro-operator. The results are strong: it outperforms AlphaEvolve and FunSearch styles on NAS-Bench-Zero by explicitly preserving diversity and enabling surgical, data-driven pruning rather than blind mutation. The critical takeaway is the 'alternative-level statistic' mechanism: by aggregating performance across all paths a component participates in, they generate a high-fidelity signal that tells the LLM exactly which lines of code are working, effectively solving the sparse reward problem in code evolution. We should immediately discuss refactoring our AlgoEvo representation to support this multi-alternative graph structure, as it maximizes signal extraction per LLM call.
Kamer Ali Yuksel et.al. aiXplain Inc arXiv.org pdf / code
24/30 2025-12-10
Beyond Algorithm Evolution: An LLM-Driven Framework for the Co-Evolution of Swarm Intelligence Optimization Algorithms and PromptsThe authors introduce a co-evolutionary framework where both the optimization algorithm (Fireworks Algorithm operators) and the prompt templates used to generate them are evolved simultaneously by the LLM. The results demonstrate a massive performance jump on constrained Aircraft Landing problems (from ~56% with FunSearch to 100% with their method), suggesting that static prompts are a primary failure mode for complex OR constraints. The critical takeaway is their prompt fitness function: evaluating a prompt template based on the *performance improvement* (`child - parent`) of the code it generates, rather than absolute performance. We should immediately implement this 'prompt-delta' fitness signal in AlgoEvo to automate our prompt engineering loop.
Shipeng Cen et.al. Peking University arXiv.org pdf / code
23/30 2025-12-04
RoCo: Role-Based LLMs Collaboration for Automatic Heuristic DesignRoCo replaces standard evolutionary mutation operators with a 4-agent collaboration loop (Explorer, Exploiter, Critic, Integrator) that iteratively refines heuristics and accumulates long-term reflection memory across generations. While the empirical gains over ReEvo are marginal (often <1%) and likely expensive in token cost, the architecture successfully demonstrates how to embed structured multi-agent reasoning into the evolutionary loop to stabilize black-box search. The key takeaway is their Long-term Reflection mechanism, which aggregates critic feedback into a persistent memory buffer to guide future mutations—a technique we should immediately test to improve sample efficiency in AlgoEvo.
Jiawei Xu et.al. South China University of Technology arXiv.org pdf / code
19/30 2025-12-03
Structuring Collective Action with LLM-Guided Evolution: From Ill-Structured Problems to Executable HeuristicsECHO-MIMIC presents a framework that first uses LLM-guided evolution to generate Python heuristics for agents (ECHO), and subsequently evolves natural language 'nudges' (MIMIC) to persuade simulated agents to adopt these global-optimal policies. While the experiments rely on synthetic data for agriculture and EV charging, the approach outperforms DSPy and AutoGen baselines in driving collective action. The most valuable takeaway is the architectural separation of 'policy discovery' (code evolution) and 'adoption mechanism' (message evolution)—a pattern we could adapt to evolve incentive structures or negotiation protocols in our multi-agent optimization systems (MASPRM/HERMES). The analysis of code complexity (Halstead metrics) versus fitness also provides a useful empirical reference for our observability work.
Kevin Bradley Dsouza et.al. University of Waterloo, Royal Bank of Canada arXiv.org pdf / code
28/30 2025-11-28
ThetaEvolve: Test-time Learning on Open ProblemsThetaEvolve 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.
Yiping Wang et.al. Microsoft, University of Washington, Carnegie Mellon University, University of Wisconsin-Madison, University of California, San Diego arXiv.org pdf / code
23/30 2025-11-17
GigaEvo: An Open Source Optimization Framework Powered By LLMs And Evolution AlgorithmsGigaEvo is an open-source reproduction of the AlphaEvolve framework that implements MAP-Elites with an asynchronous DAG execution engine, successfully reproducing SOTA results on Heilbronn triangles and beating FunSearch on Weibull Bin Packing. The results are credible and backed by code, specifically highlighting that 'rewrite-based' mutation outperforms 'diff-based' approaches for open-weights models—a crucial engineering constraint for us. The most actionable takeaway is their 'bidirectional lineage tracking' mechanism, which enriches mutation prompts by analyzing both how a program improved over its ancestor and how its descendants further improved, a technique we should steal for AlgoEvo's mutation operator. Their negative result regarding multi-island MAP-Elites (added complexity, no gain) suggests we should deprioritize similar complex topologies.
Valentin Khrulkov et.al. Sber, Artificial Intelligence Research Institute (AIRI) arXiv.org pdf / code
25/30 2025-11-16
Automated Algorithmic Discovery for Scientific Computing through LLM-Guided Evolutionary Search: A Case Study in Gravitational-Wave DetectionEvo-MCTS introduces a hybrid search architecture where MCTS manages the exploration-exploitation balance of an evolutionary process, using LLMs for node expansion via novel operators like 'Path-wise Crossover' (synthesizing code from full root-to-leaf trajectories). The results are empirically strong, outperforming standard LLM-evolution baselines (ReEvo) by ~150% on a complex signal processing task. We learned that structuring the evolutionary lineage as a tree and using MCTS Q-values to select parents—rather than standard population selection—drastically improves sample efficiency and solution quality. This is a blueprint for the 'RL-infused evolution' and 'persistent memory' features we have been planning for our own framework.
He Wang et.al. Tsinghua University, University of Chinese Academy of Sciences pdf / code
20/30 2025-11-11
AlphaResearch: Accelerating New Algorithm Discovery with Language ModelsAlphaResearch introduces a 'dual environment' for algorithm discovery: it generates natural language research ideas, filters them using a reward model fine-tuned on ICLR peer reviews, and then executes the surviving ideas. While it claims to beat human baselines on Packing Circles, the improvement is marginal (<0.1%) and it fails to improve upon baselines in 6/8 benchmark problems. The key takeaway for us is the mechanism of an 'Idea Critic'—using a learned reward model to filter the search space at the prompt level before wasting compute on execution—which directly addresses our sample efficiency goals in evolutionary search.
Zhaojian Yu et.al. Yale, NYU, Tsinghua, ByteDance arXiv.org pdf / code
24/30 2025-10-16
Programmatic Representation Learning with Language ModelsThe authors propose two algorithms, F2 (Features FunSearch) and D-ID3 (Dynamic ID3), to learn programmatic features for decision trees. D-ID3 is particularly novel: instead of evolving a global heuristic, it calls the LLM at *each split node* to generate a feature that discriminates the specific data subset at that leaf. Results are strong on Chess (matching Transformers trained on 250x more data) and Text, though the Image results (MNIST) are trivial. **Key Takeaway:** The D-ID3 architecture—using the solver's current state (leaf node data) to prompt the LLM for *local* code generation—is a powerful pattern we should steal for our VRP solvers (e.g., evolving local repair operators for specific route bottlenecks) and EvoCut work.
Gabriel Poesia et.al. Harvard University, Stanford University arXiv.org pdf / code
28/30 2025-10-13
Refining Hybrid Genetic Search for CVRP via Reinforcement Learning-Finetuned LLMZhu 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.
Rongjie Zhu et.al. Nanyang Technological University, Singapore, Singapore Management University, Singapore, Nanjing University of Information Science and Technology, China arXiv.org pdf / code
23/30 2025-10-10
Barbarians at the Gate: How AI is Upending Systems ResearchThe authors apply OpenEvolve (an AlphaEvolve-style framework) to 11 computer systems problems, achieving significant gains over human baselines, such as a 5.0x speedup in MoE expert placement and 26% cost reduction in cloud scheduling. The results are empirically rigorous, relying on high-fidelity simulators rather than toy problems. For us, the key takeaway is the engineering recipe: using an ensemble of reasoning models (o3) for exploration and fast models (Gemini) for diversity, combined with a specific 'failure taxonomy' to debug search stagnation. This is immediate proof-of-concept for your 'GPUSched' and 'AlgoEvo' projects; we should adopt their ensemble strategy and simulator-first evaluation pipeline.
Audrey Cheng et.al. UC Berkeley arXiv.org pdf / code
26/30 2025-10-09
Robust Heuristic Algorithm Design with LLMsKarimi et al. introduce 'Robusta', an enhancement to FunSearch that uses a Heuristic Analyzer (solver-based) to identify adversarial inputs and a Suggester LLM to explain *why* the current heuristic fails before generating new code. They demonstrate a 28x improvement in worst-case performance over FunSearch on traffic engineering tasks, with results backed by rigorous comparison against optimal solvers. The critical takeaway is the 'Suggester' intermediate step: converting raw failure instances into natural language coding strategies significantly improves the LLM's ability to fix logic bugs compared to raw samples alone. We should immediately attempt to replicate this 'Analyzer -> Explainer -> Coder' loop for our VRP work, using small-scale solvers to generate counter-examples for our evolved ALNS operators.
Pantea Karimi et.al. Microsoft, MIT, Microsoft Research, University of Southern California, The University of Texas at Austin arXiv.org pdf / code
24/30 2025-10-07
Scientific Algorithm Discovery by Augmenting AlphaEvolve with Deep ResearchDeepEvolve augments the standard evolutionary coding loop (AlphaEvolve) with two critical components: a 'Deep Research' module that searches the web/literature to generate grounded mutation proposals, and an iterative debugging agent that fixes execution errors. While the '666%' improvement on Circle Packing is likely due to a weak baseline (fixed-size vs. generalized), the engineering results are compelling: the debugging agent raises execution success rates from ~13% to ~99% in complex tasks. The key takeaway for our AlgoEvo work is the architecture of generating a text-based 'research proposal' via RAG before attempting code generation, rather than mutating code directly. We should immediately adopt their debugging loop and consider injecting external literature search into our mutation operators to prevent search stagnation.
Gang Liu et.al. MIT-IBM Watson AI Lab, IBM Research, University of Notre Dame arXiv.org pdf / code
23/30 2025-09-30
Experience-Guided Reflective Co-Evolution of Prompts and Heuristics for Automatic Algorithm DesignEvoPH introduces a co-evolutionary framework where both the heuristic code and the LLM prompts are evolved, utilizing an island model for diversity and a 'strategy sampling' mechanism that dynamically selects mutation types (e.g., parameter tuning vs. rewrite) based on feedback. They report dominating performance over FunSearch and ReEvo on TSP and BPP (e.g., reducing Christofides gap from ~20% to ~5%), though the static performance of baselines suggests the gain comes largely from automating prompt engineering. The most stealable insight is the **Strategy Sampling** module: explicitly defining a pool of mutation operators and using an 'experience' buffer to select them is a practical implementation of the 'planner' concept we need for AlgoEvo. We should also adopt their island migration topology to improve diversity in our parallelized search.
Yihong Liu et.al. Tencent, Renmin University of China, City University of Hong Kong arXiv.org pdf / code
22/30 2025-09-29
MAS$^2$: Self-Generative, Self-Configuring, Self-Rectifying Multi-Agent SystemsMAS2 trains a tri-agent system (Generator, Implementer, Rectifier) using offline RL on decision trees to dynamically construct and repair multi-agent workflows. The results are strong, outperforming ADAS and MaAS on standard benchmarks while maintaining Pareto efficiency. The critical takeaway for us is the **Rectifier agent**: rather than discarding failed evolutionary candidates (as we currently do in AlgoEvo), we should implement a dedicated loop to patch runtime errors (e.g., API failures, dimension mismatches). Additionally, their 'Collaborative Tree Optimization' offers a rigorous method to fine-tune the 'Evolver' model using trajectory data, which could replace our current prompt-based meta-heuristics.
Kun Wang et.al. NTU, NUS, USTC, ZJU, BUAA, PKU arXiv.org pdf / code
24/30 2025-09-27
C-Evolve: Consensus-based Evolution for Prompt GroupsC-Evolve modifies island-based evolution to optimize a group of prompts that maximize consensus accuracy (majority vote) rather than individual performance. The authors introduce a 'voting score' fitness function—calculated via Exponential Moving Average (EMA) of an individual's contribution to sampled groups—which successfully drives the population toward diverse, complementary strategies that outperform ensembles of individually optimized prompts (beating AlphaEvolve by ~4% on Qwen3-8B). The single most actionable takeaway is the **EMA voting score mechanism**: we can steal this exact fitness formulation to evolve portfolios of complementary VRP heuristics in AlgoEvo, replacing our current focus on converging to a single 'best' solver. While the benchmarks are standard (MATH, HotpotQA), the method offers a robust solution to the 'single heuristic limitation' we face in OR.
Tiancheng Li et.al. Westlake University arXiv.org pdf / code
28/30 2025-09-26
Darwin Godel Machine: Open-Ended Evolution of Self-Improving AgentsDGM 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.
Jenny Zhang et.al. Sakana AI, Vector Institute, University of British Columbia, Canada CIFAR AI Chair Robotics pdf / code
23/30 2025-09-25
GeoEvolve: Automating Geospatial Model Discovery via Multi-Agent Large Language ModelsGeoEvolve augments standard LLM-based evolutionary search (OpenEvolve) with an outer 'researcher' loop that queries a domain-specific RAG (textbooks/papers) to inject theoretical constraints into mutation prompts. On geospatial interpolation tasks, they report 13-21% error reduction over standard evolution, with ablations confirming that retrieved domain knowledge—not just iterative feedback—drives the performance gain. The critical takeaway is the architectural pattern of 'Knowledge-Guided Evolution': instead of relying on the LLM's internal weights for domain theory, they explicitly retrieve and inject theoretical priors (e.g., valid variogram definitions) to steer the search. We should adapt this 'Theory-RAG' outer loop for our AlgoEvo pipeline to force evolved VRP heuristics to respect OR theoretical bounds.
Peng Luo et.al. Massachusetts Institute of Technology, Stanford University, Technical University of Munich arXiv.org pdf / code
22/30 2025-09-21
Out-of-Distribution Generalization in the ARC-AGI Domain: Comparing Execution-Guided Neural Program Synthesis and Test-Time Fine-TuningOuellette implements an Execution-Guided Neural Program Synthesis (EG-NPS) system for ARC-AGI that conditions the search on the intermediate execution state of every instruction, achieving 80% success on out-of-distribution tasks where TTFT (10%) and standard AlphaEvolve (0-14%) fail. The results are rigorous, using controlled OOD tasks to prove that TTFT relies on in-distribution priors rather than reasoning. The critical takeaway for our AlgoEvo work is the architecture of the 'state-conditioned decoder': instead of blind code generation, we should inject the tokenized execution result of step $t$ into the context for step $t+1$. This is effectively a dense process reward model that solves the sample efficiency bottleneck we face in evolutionary search.
Simon Ouellette et.al. arXiv.org pdf / code
26/30 2025-09-17
ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program EvolutionShinkaEvolve presents an open-source evolutionary framework that drastically improves sample efficiency (e.g., beating AlphaEvolve on Circle Packing with only 150 evaluations vs. thousands) by integrating embedding-based novelty rejection, adaptive parent sampling, and bandit-based LLM selection. The results are credible, backed by code from Sakana AI, and directly target our primary pain point of high API costs/sample inefficiency in evolutionary search. **Key Takeaway:** We must implement their 'novelty rejection sampling' immediately—using a cheap embedding model to filter out semantically similar code mutations (threshold 0.95) before execution is a trivial but high-impact optimization for our AlgoEvo pipeline. This paper proves that smart filtering is superior to the brute-force compute strategies we have been relying on.
Robert Tjarko Lange et.al. Sakana AI arXiv.org pdf / code
22/30 2025-09-10
How Should We Meta-Learn Reinforcement Learning Algorithms?Goldie et al. perform a rigorous empirical benchmark comparing LLM-based algorithm proposal against Black-box Evolution Strategies (ES) and various distillation methods. They find that while LLMs are sample-efficient for simple functions, they catastrophically fail to incorporate high-dimensional input features (e.g., the 20+ inputs in OPEN), where Black-box ES remains superior. The most actionable takeaway is 'Same-Size Distillation': distilling a learned black-box algorithm into a fresh network of identical size using synthetic data consistently improves out-of-distribution generalization with zero additional environment samples. We should implement this distillation step immediately and reconsider using LLMs for feature-heavy heuristic components.
Alexander David Goldie et.al. University of Oxford arXiv.org pdf / code
28/30 2025-09-09
Autonomous Code Evolution Meets NP-CompletenessSATLUTION 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.
Cunxi Yu et.al. NVIDIA Research, University of Maryland arXiv.org pdf / code
25/30 2025-08-20
EoH-S: Evolution of Heuristic Set using LLMs for Automated Heuristic DesignEoH-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 strategy. Results are strong and credible: on TSPLib and CVRPLib, their set of 10 heuristics reduces the optimality gap by ~40-60% compared to the top 10 heuristics from FunSearch or ReEvo. **KEY TAKEAWAY:** We should replace standard elitist selection in AlgoEvo with their 'Complementary Population Management' (CPM). By greedily selecting individuals based on marginal contribution to instance coverage (using instance-wise performance vectors), we can automatically generate diverse operator pools for ALNS instead of relying on hand-crafted diversity metrics.
Fei Liu et.al. Huawei Noah

Ark Lab, City University of Hong Kong

arXiv.org pdf / code
28/30 2025-08-16
EvoCut: Strengthening Integer Programs via Evolution-Guided Language ModelsYazdani et al. introduce EvoCut, an evolutionary framework where LLMs generate Python code for MILP cuts, filtered by a 'usefulness check' (does it cut the current LP relaxation?) and an 'empirical validity check' (does it preserve known integer optima?). They report 17-57% gap reductions on TSPLIB and JSSP compared to Gurobi defaults, backed by strong ablation studies on the evolutionary operators. **Key Takeaway:** The reliance on 'acceleration cuts'—constraints verified empirically on small datasets rather than formally proven—bypasses the bottleneck of automated theorem proving while still delivering valid speedups. We should immediately adopt their 'LP separation' check as a cheap, high-signal reward for our own evolutionary search loops.
Milad Yazdani et.al. Huawei Technologies Canada, University of British Columbia, University of Toronto arXiv.org pdf / code
23/30 2025-08-08
LLM-Meta-SR: In-Context Learning for Evolving Selection Operators in Symbolic RegressionZhang 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 ε-lexicase. The standout contribution is **semantics-aware crossover**: rather than selecting parents based solely on scalar fitness, they compute complementarity scores using performance vectors across instances, explicitly retrieving parents that solve different subsets of the problem. This effectively treats parent selection as a retrieval task based on behavioral signatures, ensuring the LLM combines distinct functional capabilities. We should immediately implement this complementarity-based parent retrieval in AlgoEvo to improve how we merge heuristics.
Hengzhe Zhang et.al. Victoria University of Wellington, Michigan State University IEEE Transactions on Evolutionary Computation pdf / code
24/30 2025-08-04
Algorithm Discovery With LLMs: Evolutionary Search Meets Reinforcement LearningEvoTune augments LLM-based evolutionary search (FunSearch) by iteratively fine-tuning the LLM weights using Direct Preference Optimization (DPO) on the generated programs. The results are robust, consistently outperforming static FunSearch on Bin Packing, TSP, and Hash Code benchmarks by discovering better heuristics faster. The critical takeaway is the use of **Forward KL regularization** in DPO instead of the standard Reverse KL; this prevents the mode collapse that usually kills evolutionary diversity, allowing the model to learn from high-fitness samples while maintaining exploration. This is a direct blueprint for implementing the 'RL-infused evolution' component of our AlgoEvo project.
Anja Surina et.al. EPFL, Apple arXiv.org pdf / code
18/30 2025-08-03
EvoVLMA: Evolutionary Vision-Language Model AdaptationThis paper proposes EvoVLMA, an LLM-based evolutionary framework that searches for Python code to adapt Vision-Language Models (feature selection and logits computation). They demonstrate that **jointly** evolving two coupled algorithmic components fails (worse than random), whereas a **sequential** two-stage evolution strategy yields SOTA results (beating manual baselines by ~1-2%). For our AlgoEvo work, the key takeaway is the infrastructure design: they wrap code execution in restartable web services with a process monitor to handle the high rate of CUDA errors/timeouts in generated code—a practical 'trick' we should adopt to improve our search stability.
Kun Ding et.al. Chinese Academy of Sciences ACM Multimedia 2025 (ACM MM 2025) pdf / code
25/30 2025-07-21
DHEvo: Data-Algorithm Based Heuristic Evolution for Generalizable MILP SolvingDHEvo introduces a 'data-algorithm co-evolution' framework that iteratively evolves heuristic code while simultaneously filtering the training instance set to retain only 'representative' instances (those where current heuristics perform well/stably). Empirical results on SCIP diving heuristics show it outperforms FunSearch and EoH by ~60% on Setcover while significantly reducing performance variance, validating the claim that dynamic data curation prevents overfitting. The key takeaway is the counter-intuitive curriculum strategy: rather than training on the hardest instances, filtering for instances with 'regular' feasible regions (high fitness) stabilizes the evolutionary search for code. We should immediately test this dynamic instance filtering in AlgoEvo to improve sample efficiency and generalization.
Zhihao Zhang et.al. Harbin Institute of Technology, Huawei Noah’s Ark Lab, Nanyang Technological University arXiv.org pdf / code
23/30 2025-07-04
Behaviour Space Analysis of LLM-driven Meta-heuristic DiscoveryThe authors introduce a behavioral analysis framework for LLM-driven algorithm discovery, mapping the 'behavior space' of generated heuristics using Search Trajectory Networks (STNs) and Code Evolution Graphs (CEGs). Results on BBOB (5D) show that a simple 1+1 elitist strategy alternating between 'simplify code' and 'random new' prompts significantly outperforms population-based approaches, effectively balancing exploitation and exploration while preventing code bloat. The primary takeaway is the critical role of a 'simplify' mutation operator—without it, LLM-generated code tends to drift into complexity without performance gains. We should immediately adopt their visualization metrics to debug our own evolutionary search trajectories and implement their 'simplify' prompt strategy in AlgoEvo.
Niki van Stein et.al. Leiden University, University of Stirling arXiv.org pdf / code
30/30 2025-06-16
AlphaEvolve: A coding agent for scientific and algorithmic discoveryAlphaEvolve 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.
Alexander Novikov et.al. Google DeepMind arXiv.org pdf / code
26/30 2025-06-10
Can Large Language Models Invent Algorithms to Improve Themselves?: Algorithm Discovery for Recursive Self-Improvement through Reinforcement LearningIshibashi et al. propose 'Self-Developing,' a framework where an LLM generates Python code for model merging, evaluates the results, and uses the performance data to fine-tune the generator via DPO in a recursive loop. The results are empirically strong, outperforming human-designed baselines (Task Arithmetic) by 4.3% on GSM8k and demonstrating that the generator explicitly learns better strategies over iterations. **Key Takeaway:** We can replace the static mutation operators in our evolutionary search with a DPO-trained model that learns from the search history—effectively implementing 'learning to search.' This is a direct, actionable upgrade for our AlgoEvo and AlphaEvolve pipelines.
Yoichi Ishibashi et.al. NEC Corporation NAACL 2025 (main) pdf / code
22/30 2025-06-01
EvoGit: Decentralized Code Evolution via Git-Based Multi-Agent CollaborationHuang 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. While the experiments (web app, bin packing generator) are largely qualitative and lack rigorous statistical benchmarking against baselines like MetaGPT, the architectural contribution is significant. The key takeaway is using Git's native DAG structure to handle lineage, persistence, and asynchronous concurrency 'for free,' replacing complex custom population managers. This is directly actionable for our AlgoEvo infrastructure to enable massive parallelism and better memory/traceability without reinventing the wheel.
Beichen Huang et.al. The Hong Kong Polytechnic University arXiv.org pdf / code
25/30 2025-05-22
STRCMP: Integrating Graph Structural Priors with Language Models for Combinatorial OptimizationSTRCMP introduces a composite architecture where a GNN encodes CO problem instances (MILP/SAT) into embeddings that condition an LLM (fine-tuned via SFT and DPO) to generate solver-specific heuristics within an evolutionary loop. The results are strong and empirically backed, showing significant reductions in convergence time and timeouts compared to text-only evolutionary methods like AutoSAT and LLM4Solver. The key takeaway is the architectural blueprint for fusing instance-specific structural embeddings (via soft prompting) with LLM code generation to drastically improve the sample efficiency of evolutionary search. This is immediately relevant to our EvoCut and AlgoEvo projects, suggesting we should move beyond pure text prompts for topology-heavy problems.
Xijun Li et.al. Shanghai Key Laboratory of Scalable Computing and Systems, School of Computer Science, Shanghai Jiao Tong University arXiv.org pdf / code
26/30 2025-05-18
CALM: Co-evolution of Algorithms and Language Model for Automatic Heuristic DesignCALM introduces a hybrid evolutionary framework that fine-tunes the LLM generator *during* the search process using Group Relative Policy Optimization (GRPO), rather than relying solely on prompt evolution. Using a quantized Qwen-7B model on a single consumer GPU, it outperforms GPT-4o-based baselines (FunSearch, EoH) on Bin Packing and VRP benchmarks. The critical takeaway is their reward function design: instead of absolute performance, they reward the *relative improvement* of the generated code over the specific 'parent' heuristics in the prompt, stabilizing the RL signal. We should immediately test this 'online fine-tuning' approach to reduce our API costs and improve sample efficiency in AlgoEvo.
Ziyao Huang et.al. City University of Hong Kong, Southeast University, University of Victoria, Hon Hai Research Institute arXiv.org pdf / code
19/30 2025-04-01
LLM-Guided Search for Deletion-Correcting CodesWeindel and Heckel adapt FunSearch to discover priority functions for the Maximum Independent Set problem (applied to deletion-correcting codes), achieving new SOTA lower bounds for specific lengths (n=12, 13, 16). The critical takeaway for us is their **functional deduplication** step: they hash function outputs on a small subset of data to discard syntactically unique but logically identical programs, which significantly improves sample efficiency by preventing the evaluator from wasting cycles on 'comment changes' or variable renames. Additionally, they demonstrate that optimizing for the single hardest instance generalizes better than averaging performance across a curriculum—a counter-intuitive finding we should test in our reward modeling.
Franziska Weindel et.al. Technical University of Munich, Munich Center for Machine Learning arXiv.org pdf / code
26/30 2025-03-13
From Understanding to Excelling: Template-Free Algorithm Design through Structural-Functional Co-EvolutionZhao et al. propose CAE, a framework that co-evolves algorithm structure (workflow/call graphs) alongside function implementations, aiming to eliminate the fixed templates required by SOTA methods like FunSearch and EoH. On TSP benchmarks, they report reducing optimality gaps by ~2-5% compared to ReEvo, and in quadratic optimization, the system autonomously discovered numerical stability fixes (e.g., replacing matrix inversion with solvers) that human baselines missed. The critical takeaway is the 'bi-dimensional co-evolution' strategy: explicitly maintaining and mutating a population of control flow graphs separate from the function bodies, which allows the system to escape the local optima imposed by a fixed human-designed harness. We must evaluate if this structural search approach can be integrated into AlgoEvo to automate our harness design.
Zhe Zhao et.al. Princeton University, Nanyang Technological University, City University of Hong Kong, University of Science and Technology of China, The Hong Kong University of Science and Technology (Guangzhou) arXiv.org pdf / code
24/30 2025-02-21
QUBE: Enhancing Automatic Heuristic Design via Quality-Uncertainty Balanced EvolutionQUBE replaces FunSearch's naive score-based parent selection with a UCB algorithm that selects parents based on the *average quality of their offspring* (exploitation) plus an uncertainty term (exploration). The authors demonstrate that a parent's own score is a poor predictor of its ability to evolve further; treating parents as 'bandit arms' based on their lineage statistics yields significantly better results on Bin Packing and TSP with fewer samples. While they fail to beat DeepMind's massive-scale Cap Set record, the methodological insight regarding 'offspring-aware' selection is statistically validated and immediately transferable to our evolutionary search frameworks.
Zijie Chen et.al. Westlake University, Zhejiang University, University of Electronic Science and Technology of China pdf / code
18/30 2025-02-13
Explainable AI-assisted Optimization for Feynman Integral ReductionSong et al. apply FunSearch to evolve priority functions for Feynman integral reduction, achieving up to 3058x reduction in seeding integrals compared to standard heuristics. The results are rigorous, enabling previously impossible multi-loop calculations. The critical insight for us is the successful transfer of heuristics evolved on trivial 1-loop instances (fast evaluation) to complex 5-loop problems without retraining. We should adopt this 'evolve-on-toy, deploy-on-giant' evaluation protocol to drastically reduce compute costs in our VRP and SAT solver evolutionary search pipelines.
Zhuo-Yang Song et.al. Peking University, Universit Z rich, Beijing Computational Science Research Center pdf / code
25/30 2025-02-04
Multi-objective Evolution of Heuristic Using Large Language ModelMEoH extends LLM-based heuristic evolution (like FunSearch/EoH) to multi-objective scenarios (e.g., Gap vs. Runtime) by introducing a 'Dominance-Dissimilarity' mechanism that selects parents based on both Pareto dominance and Abstract Syntax Tree (AST) code distance. The results are credible and strong: on TSP, they find heuristics matching EoH's quality but running 16x faster (1.37s vs 22.4s) by effectively navigating the complexity-performance trade-off. The single most useful takeaway is the **AST-based dissimilarity metric** for population management; we should immediately steal this to prune semantically identical code in our evolutionary loops, thereby forcing exploration and improving sample efficiency. This is a direct upgrade to our current single-objective evolutionary search methods.
Shunyu Yao et.al. City University of Hong Kong, Southern University of Science and Technology AAAI Conference on Artificial Intelligence pdf / code
22/30 2024-12-19
HSEvo: Elevating Automatic Heuristic Design with Diversity-Driven Harmony Search and Genetic Algorithm Using LLMsHSEvo extends LLM-based evolutionary search (LLM-EPS) by integrating a numerical parameter tuning step (Harmony Search) and a token-efficient 'Flash Reflection' mechanism that batches analysis of parent pairs. They report superior results over ReEvo and FunSearch on Bin Packing and TSP, validated by proposed diversity metrics based on code embeddings. **Key Takeaway:** We should implement the hybrid tuning pattern: explicitly parsing LLM-generated code to extract constants and tuning them with a cheap numerical optimizer (rather than asking the LLM to tune parameters), and adopt batched reflections to reduce inference costs.
Pham Vu Tuan Dat et.al. George Mason University, Hanoi University of Science and Technology arXiv.org pdf / code
23/30 2024-11-29
Amplifying human performance in combinatorial competitive programmingDeepMind applies FunSearch (using Gemini 1.5 Flash) to evolve scoring functions within human-written greedy backbones for Hash Code and AtCoder problems, achieving top-1% or rank-1 performance against humans. The results are robust, beating top human teams on 5/8 historical contests using a generic evolutionary setup. The critical takeaway is the 'switching variable' technique: using a single evolved function to handle multiple distinct decision points (e.g., selecting a vehicle vs. selecting a route) by passing a state flag, rather than evolving multiple interacting functions. This validates that generalist models (Flash) are sufficient for high-end OR evolution without code-specific fine-tuning. We should adopt their 'Backbone + Scorer' architecture for our VRP/Scheduling work immediately.
Petar Veličković et.al. Google DeepMind arXiv.org pdf / code
20/30 2024-10-30
Automatic programming via large language models with population self-evolution for dynamic job shop scheduling problemThis paper introduces SeEvo, an LLM-based evolutionary search for Dynamic Job Shop Scheduling heuristics that adds an 'individual self-reflection' loop—prompting the LLM to analyze performance differences of a specific rule before and after mutation—alongside standard population-level reflection. While they claim significant improvements over GP/GEP and DRL, the ablation study reveals only a marginal <1% improvement over the existing ReEvo framework on benchmark instances. The primary takeaway for us is the specific prompt engineering technique of injecting an individual's mutation history (previous code vs. current code performance) into the context to guide the next mutation, which could potentially improve sample efficiency in our own evolutionary loops despite their weak empirical validation.
Jin Huang et.al. Huazhong University of Science and Technology arXiv.org pdf / code
25/30 2024-10-14
ReEvo: Large Language Models as Hyper-Heuristics with Reflective EvolutionReEvo integrates a 'Reflector LLM' into genetic programming that analyzes pairs of heuristics (better vs. worse) to generate textual 'verbal gradients' for crossover and mutation, maintaining a long-term memory of these insights. The results are strong and relevant: they outperform EoH (Evolution of Heuristics) and NCO baselines on TSP, CVRP, and Bin Packing with significantly higher sample efficiency (only ~100 evaluations). The single most useful takeaway is the 'Short-term Reflection' prompting strategy—explicitly asking the LLM to derive a mutation direction by comparing the logic of high-fitness vs. low-fitness parents—which we should immediately test in our AlgoEvo framework to reduce sample costs. This is a direct methodological upgrade for our current evolutionary search pipelines.
Haoran Ye et.al. Peking University, KAIST, Singapore Management University, Southeast University, PKU-Wuhan Institute for AI NeurIPS 2024 pdf / code
20/30 2024-07-15
Understanding the Importance of Evolutionary Search in Automated Heuristic Design with Large Language ModelsZhang et al. perform a rigorous benchmarking of major LLM-based evolutionary program search (EPS) methods (FunSearch, EoH, ReEvo) against a simple (1+1)-EPS baseline across four problems and nine LLMs. The results are empirically solid and sobering: the simple (1+1)-EPS baseline—iterative improvement via one-shot prompting—frequently matches or outperforms the complex population-based methods, particularly on bin packing, though EoH remains superior on TSP. **Crucial Takeaway:** We are likely over-engineering our search mechanisms; we must implement a (1+1)-EPS baseline in all future experiments (AlgoEvo, EvoCut) because if our multi-agent systems cannot beat this simple hill-climber, our papers will be rejected for unnecessary complexity. Additionally, they find that larger models (GPT-4) do not strictly guarantee better heuristic search performance compared to smaller, code-specialized models like CodeLlama-7B.
Rui Zhang et.al. City University of Hong Kong, Southern University of Science and Technology the 18th International Conference on Parallel Problem Solving From Nature (PPSN 2024) pdf / code
23/30 2024-07-01
FunBO: Discovering Acquisition Functions for Bayesian Optimization with FunSearchFunBO applies FunSearch to evolve Python code for Bayesian Optimization acquisition functions, evaluating fitness by running full BO loops on synthetic functions. The results are empirically strong, showing that evolved AFs generalize well to out-of-distribution functions and outperform standard baselines like EI and UCB. The most stealable insight is their 'few-shot' adaptation strategy, where a general-purpose heuristic is rapidly fine-tuned on a small set of target instances—a technique we should immediately test for our VRP heuristics. While the method is computationally expensive (brute-forcing the inner loop), the interpretable code outputs provide concrete ideas for dynamic exploration-exploitation trade-offs.
Virginia Aglietti et.al. Google DeepMind International Conference on Machine Learning pdf / code
19/30 2024-06-01
tnGPS: Discovering Unknown Tensor Network Structure Search Algorithms via Large Language Models (LLMs)The authors propose tnGPS, a FunSearch-style framework that evolves Python code for Tensor Network Structure Search by mimicking human innovation stages (categorization, recombination, diversity injection). While the application (Tensor Networks) is niche, the results outperform standard heuristics like TNGA and TNLS. The critical takeaway for us is the 'Knowledge Categorization' phase: they use the LLM to semantically cluster the population of generated algorithms to manage diversity and guide the 'Diversity Injection' step. We should immediately implement this LLM-based population clustering in AlgoEvo to prevent convergence on similar code patterns.
Junhua Zeng et.al. RIKEN Center for Advanced Intelligence Project, Tencent Inc., Guangdong University of Technology ICML2024 pdf / code
25/30 2024-06-01
Evolution of Heuristics: Towards Efficient Automatic Algorithm Design Using Large Language ModelEoH introduces a dual-track evolutionary framework that evolves both natural language 'thoughts' (heuristic logic) and their corresponding Python code, rather than code alone. On Online Bin Packing, it claims to outperform DeepMind's FunSearch while using only ~2,000 LLM queries (vs FunSearch's millions), and achieves SOTA gaps on TSP and FSSP via Guided Local Search. The critical takeaway is the 'E2' prompt strategy: explicitly asking the LLM to extract common ideas from parent heuristics into a natural language 'thought' before generating code, which acts as a genetic Chain-of-Thought to stabilize mutation. We should immediately implement this 'Thought-then-Code' mutation operator in our AlgoEvo pipeline to address our sample efficiency bottlenecks.
Fei Liu et.al. Huawei Noah’s Ark Lab, City University of Hong Kong, Southern University of Science and Technology International Conference on Machine Learning pdf / code
18/30 2024-03-18
LLM Guided Evolution -- The Automation of Models Advancing ModelsMorris et al. propose 'Guided Evolution,' an LLM-based NAS framework that introduces 'Evolution of Thought' (EoT) and 'Character Role Play' to guide code mutations. While the results are statistically negligible (single trials, ~0.8% gain on CIFAR-10), the EoT mechanism offers a specific, actionable prompt engineering technique: explicitly prompting the LLM to compare a successful elite individual against its original seed to extract 'reasoning' before applying mutations to new individuals. This serves as a lightweight, prompt-based memory/feedback mechanism that could immediately improve sample efficiency in our evolutionary search agents. The 'Character Role Play' (e.g., asking the LLM to act as 'Dr. MaGoo' for unorthodox ideas) is a gimmicky but potentially useful heuristic for maintaining population diversity.
Clint Morris et.al. Georgia Tech Research Institute Annual Conference on Genetic and Evolutionary Computation pdf / code
24/30 2024-03-05
Evolution Transformer: In-Context Evolutionary OptimizationLange et al. introduce the Evolution Transformer, a causal architecture that learns to perform evolutionary strategy updates by attending to optimization history, effectively 'distilling' algorithms like CMA-ES into a neural network. Crucially, they propose 'Self-Referential Algorithm Distillation' (SR-EAD), where the model improves itself by perturbing its own weights, generating trajectories, and filtering for the best ones to retrain on—eliminating the need for a teacher. The results are strong, showing generalization to unseen Brax control tasks and successful (though sometimes unstable) self-bootstrapping. The key takeaway for us is the SR-EAD loop as a mechanism for open-ended optimizer improvement, and their use of Perceiver cross-attention to handle variable population sizes—a technique we should immediately steal for our multi-agent memory architectures.
Robert Tjarko Lange et.al. Google DeepMind, TU Berlin GECCO Companion pdf / code

Generative AI for OR

🆕 Most Recent

Date Title Authors Affiliation Links
2026-09-04
Ask Before You Optimize: Dynamic Pre-Formulation Clarification for Interactive OptimizationGe et al. introduce OR-Clarify, a benchmark evaluating whether LLMs can identify missing formulation-critical information and ask clarifying questions before generating an optimization model. The authors also propose InterOPT, a two-stage framework that tracks unresolved formulation gaps to guide questioning, which improves exact requirement recovery by 16.9% over baselines in choice-based settings, though it struggles to dominate free-form interactions. The key insight is the benchmark construction pipeline: systematically withholding specific facts (e.g., objective direction, hard vs. soft constraints) from a complete OR specification to explicitly measure an agent's 'silent assumptions' and premature readiness. This is highly relevant for our work on ambiguity-grounded OR benchmarking, as the metrics for exact slot recovery and silent assumption tracking can be directly integrated into our evaluation pipelines.
Unknown et.al. Shanghai Jiao Tong University, Cardinal Operations pdf / code
2026-09-01
Reinforcement Learning Enhanced LLM Agents for Complex Vehicle Routing ProblemsThis paper proposes RLEA, a multi-agent framework that uses a lightweight neural planner trained via Soft Q-learning to orchestrate LLM actions (refinement, RAG, and memory retrieval) for automatically generating solver-ready code for complex VRP variants. The results are backed by strong empirical evidence, achieving a 62.5% success rate on 48 VRP variants using OR-Tools, outperforming the state-of-the-art DRoC by 16.67% while reducing runtime errors. The key insight is that instead of using expensive LLM calls for step-by-step decision making, training a small language model with RL to act as a policy network for selecting agent actions significantly reduces latency and improves exploration. This is highly relevant for LLM evolutionary search and multi-agent optimization, as the architecture of an RL-trained planner combined with an evolving memory pool directly addresses sample efficiency and continuous learning in automated algorithm design.
Yi Chen et.al. National University of Singapore, Sun Yat-sen University pdf / code
2026-08-29
AlgoWorlds: Benchmarking Tool Use for Global Optimization in Algorithmic WorldsXu et al. introduce AlgoWorlds, a benchmark of 240 environments across 10 combinatorial optimization families designed to evaluate whether LLM agents can use tools to gather hidden instance data and output globally optimal decisions. The results are backed by extensive evaluations across 7 frontier models, demonstrating that while models like Claude Opus 4.8 achieve high feasibility (over 96%), they fail to reach exact global optimality (only 38.6% success). The key insight is that the primary bottleneck for LLMs in optimization is not information acquisition or constraint satisfaction, but the joint reasoning required to integrate information into a globally optimal configuration. This directly validates the need for advanced LLM evolutionary search and multi-agent optimization frameworks, as it proves standard LLM tool-use agents cannot reliably solve global optimization problems zero-shot, making this benchmark a valuable tool for our own OR evaluation efforts.
Unknown et.al. Tencent, University of Southern California pdf / code
2026-08-25
FLARE: Verifying MILP Reformulations with LLM-Based Theorem ProvingRobbins et al. introduce FLARE, an automated framework that uses an LLM agent and the Lean proof assistant to formally verify whether one MILP formulation is a valid reformulation of another. The authors demonstrate 100% accuracy on a new benchmark of 54 NP-hard formulation pairs, backed by machine-checkable proofs rather than heuristic execution checks. The key insight is that instance-level validation—commonly used to evaluate LLM-generated models—is fundamentally flawed and can accept invalid transformations; the authors prove this by identifying mathematically invalid cutting planes generated by recent LLM evolutionary search frameworks. This is a critical read for our work in automated optimization modeling and LLM-driven heuristic design, as it provides a concrete, verifiable method (and a cheaper natural-language proxy, FLARE-NL) to ensure generated formulations and cuts are universally valid across all problem instances.
Henry W Robbins et.al. Stanford University pdf / code
2026-08-19
Improving Natural-Language Combinatorial-Optimization Accuracy in Resource-Constrained Language Models via Formal AbstractionsSharma et al. introduce SDDL, a 7-primitive domain-specific language that allows resource-constrained LLMs to translate natural-language scheduling problems into formal representations, which are then deterministically compiled to CP-SAT. The results are backed by rigorous evaluation, showing that Qwen3.5-27B improves from 21.7% feasibility when generating raw solver code to 55.3% when using SDDL on a 300-instance benchmark. The key insight is that bounding the LLM's generation space to a closed vocabulary of domain constructs removes error-prone variable declarations and API syntax, shifting the burden of correct solver encoding to a deterministic compiler. This is highly relevant for our work in symbolic OR modeling and LLM reasoning evaluation, offering a concrete methodology for improving formalization accuracy without relying exclusively on frontier models.
Shrenil Shaun Sharma et.al. UC Berkeley, Independent Researcher pdf / code

⭐ Best Papers

Score Date Title Authors Affiliation Links
26/30 2026-08-25
FLARE: Verifying MILP Reformulations with LLM-Based Theorem ProvingRobbins et al. introduce FLARE, an automated framework that uses an LLM agent and the Lean proof assistant to formally verify whether one MILP formulation is a valid reformulation of another. The authors demonstrate 100% accuracy on a new benchmark of 54 NP-hard formulation pairs, backed by machine-checkable proofs rather than heuristic execution checks. The key insight is that instance-level validation—commonly used to evaluate LLM-generated models—is fundamentally flawed and can accept invalid transformations; the authors prove this by identifying mathematically invalid cutting planes generated by recent LLM evolutionary search frameworks. This is a critical read for our work in automated optimization modeling and LLM-driven heuristic design, as it provides a concrete, verifiable method (and a cheaper natural-language proxy, FLARE-NL) to ensure generated formulations and cuts are universally valid across all problem instances.
Henry W Robbins et.al. Stanford University pdf / code
24/30 2026-09-04
Ask Before You Optimize: Dynamic Pre-Formulation Clarification for Interactive OptimizationGe et al. introduce OR-Clarify, a benchmark evaluating whether LLMs can identify missing formulation-critical information and ask clarifying questions before generating an optimization model. The authors also propose InterOPT, a two-stage framework that tracks unresolved formulation gaps to guide questioning, which improves exact requirement recovery by 16.9% over baselines in choice-based settings, though it struggles to dominate free-form interactions. The key insight is the benchmark construction pipeline: systematically withholding specific facts (e.g., objective direction, hard vs. soft constraints) from a complete OR specification to explicitly measure an agent's 'silent assumptions' and premature readiness. This is highly relevant for our work on ambiguity-grounded OR benchmarking, as the metrics for exact slot recovery and silent assumption tracking can be directly integrated into our evaluation pipelines.
Unknown et.al. Shanghai Jiao Tong University, Cardinal Operations pdf / code
24/30 2026-09-01
Reinforcement Learning Enhanced LLM Agents for Complex Vehicle Routing ProblemsThis paper proposes RLEA, a multi-agent framework that uses a lightweight neural planner trained via Soft Q-learning to orchestrate LLM actions (refinement, RAG, and memory retrieval) for automatically generating solver-ready code for complex VRP variants. The results are backed by strong empirical evidence, achieving a 62.5% success rate on 48 VRP variants using OR-Tools, outperforming the state-of-the-art DRoC by 16.67% while reducing runtime errors. The key insight is that instead of using expensive LLM calls for step-by-step decision making, training a small language model with RL to act as a policy network for selecting agent actions significantly reduces latency and improves exploration. This is highly relevant for LLM evolutionary search and multi-agent optimization, as the architecture of an RL-trained planner combined with an evolving memory pool directly addresses sample efficiency and continuous learning in automated algorithm design.
Yi Chen et.al. National University of Singapore, Sun Yat-sen University pdf / code
21/30 2026-08-29
AlgoWorlds: Benchmarking Tool Use for Global Optimization in Algorithmic WorldsXu et al. introduce AlgoWorlds, a benchmark of 240 environments across 10 combinatorial optimization families designed to evaluate whether LLM agents can use tools to gather hidden instance data and output globally optimal decisions. The results are backed by extensive evaluations across 7 frontier models, demonstrating that while models like Claude Opus 4.8 achieve high feasibility (over 96%), they fail to reach exact global optimality (only 38.6% success). The key insight is that the primary bottleneck for LLMs in optimization is not information acquisition or constraint satisfaction, but the joint reasoning required to integrate information into a globally optimal configuration. This directly validates the need for advanced LLM evolutionary search and multi-agent optimization frameworks, as it proves standard LLM tool-use agents cannot reliably solve global optimization problems zero-shot, making this benchmark a valuable tool for our own OR evaluation efforts.
Unknown et.al. Tencent, University of Southern California pdf / code
21/30 2026-08-19
Improving Natural-Language Combinatorial-Optimization Accuracy in Resource-Constrained Language Models via Formal AbstractionsSharma et al. introduce SDDL, a 7-primitive domain-specific language that allows resource-constrained LLMs to translate natural-language scheduling problems into formal representations, which are then deterministically compiled to CP-SAT. The results are backed by rigorous evaluation, showing that Qwen3.5-27B improves from 21.7% feasibility when generating raw solver code to 55.3% when using SDDL on a 300-instance benchmark. The key insight is that bounding the LLM's generation space to a closed vocabulary of domain constructs removes error-prone variable declarations and API syntax, shifting the burden of correct solver encoding to a deterministic compiler. This is highly relevant for our work in symbolic OR modeling and LLM reasoning evaluation, offering a concrete methodology for improving formalization accuracy without relying exclusively on frontier models.
Shrenil Shaun Sharma et.al. UC Berkeley, Independent Researcher pdf / code

🔬 Research Fronts

Status Front Name Papers Front Analysis
✅ Stable Structured LLM-Driven Optimization Modeling via Verification and Self-Improving Agents
34
  1. Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modeling (26)
  2. StepORLM: A Self-Evolving Framework With Generative Process Supervision For Operations Research Language Models (26)
  3. ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization (25)
  4. ORGEval: Graph-Theoretic Evaluation of LLMs in Optimization Modeling (25)
  5. OR-R1: Automating Modeling and Solving of Operations Research Optimization Problem via Test-Time Reinforcement Learning (25)
  6. Autoformulation of Mathematical Optimization Models Using LLMs (25)
  7. CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling (25)
  8. Learning Virtual Machine Scheduling in Cloud Computing through Language Agents (25)
  9. AlphaOPT: Formulating Optimization Programs with Self-Improving LLM Experience Library (25)
  10. OptiRepair: Closed-Loop Diagnosis and Repair of Supply Chain Optimization Models with LLM Agents (24)
  11. Agentic MIP Research: Accelerated Constraint Handler Generation (24)
  12. Co-evolving Agent Architectures and Interpretable Reasoning for Automated Optimization (24)
  13. OptMATH: A Scalable Bidirectional Data Synthesis Framework for Optimization Modeling (24)
  14. Constructing Industrial-Scale Optimization Modeling Benchmark (24)
  15. OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models (23)
  16. Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop (23)
  17. Automated Optimization Modeling via a Localizable Error-Driven Perspective (23)
  18. SolverLLM: Leveraging Test-Time Scaling for Optimization Problem via LLM-Guided Search (23)
  19. SOCRATES: Simulation Optimization with Correlated Replicas and Adaptive Trajectory Evaluations (23)
  20. OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling (22)
  21. OptimAI: Optimization from Natural Language Using LLM-Powered AI Agents (22)
  22. Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers (22)
  23. LinearizeLLM: An Agent-Based Framework for LLM-Driven Exact Linear Reformulation of Nonlinear Optimization Problems (22)
  24. BPP-Search: Enhancing Tree of Thought Reasoning for Mathematical Modeling Problem Solving (22)
  25. SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling (21)
  26. ProOPF: Benchmarking and Improving LLMs for Professional-Grade Power Systems Optimization Modeling (20)
  27. A Survey of Optimization Modeling Meets LLMs: Progress and Future Directions (20)
  28. Optimization Problem Solving Can Transition to Evolutionary Agentic Workflows (20)
  29. Solver-Independent Automated Problem Formulation via LLMs for High-Cost Simulation-Driven Design (19)
  30. FMIP: Joint Continuous-Integer Flow For Mixed-Integer Linear Programming (19)
  31. ORLM: A Customizable Framework in Training Large Models for Automated Optimization Modeling (19)
  32. LLMOPT: Learning to Define and Solve General Optimization Problems from Scratch (18)
  33. Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces (18)
  34. MoE2: Optimizing Collaborative Inference for Edge Large Language Models (18)
View analysisThis research front unifies advancements in leveraging Large Language Models (LLMs) for automated optimization modeling, problem formulation, and solver component generation. A core theme is the shift from basic code generation to ensuring semantic correctness, robustness, and continuous self-improvement. Key frameworks like ReLoop, OptiMUS, SIRL, AlphaOPT, and StepORLM emphasize structured generation, advanced verification techniques, and adaptive agentic architectures for complex Operations Research (OR) domains, including multi-period retail inventory, optimal power flow, and Mixed-Integer Linear Programming (MILP) solver plugins.

Key contributions include ReLoop's behavioral verification, which exposed a 90% gap between execution feasibility and semantic correctness on RetailOpt-190, and ORGEval's graph-theoretic evaluation, achieving 100% consistency in seconds for model isomorphism. Self-improvement is driven by methods like OptiRepair's RL-trained agents with a 'Rationality Oracle' achieving 81.7% success in model repair, and SIRL's Reinforcement Learning with Verifiable Reward (RLVR) using 'Partial KL' for enhanced LLM proficiency. Structured generation is advanced by OptiMUS's 'Connection Graph' for multi-agent orchestration (+31.5% accuracy on NL4OPT) and SolverLLM's LLM-guided MCTS with 'Prompt Backpropagation' for dynamic prompt modification. Benchmarking efforts like MIPLIB-NL revealed that SOTA models drop from ~90% accuracy on toy benchmarks to ~18% on industrial-scale MILPs, highlighting the need for more robust evaluation. Notably, Agentic MIP Research used an AlphaEvolve-like framework to generate SCIP constraint handlers, discovering five novel patterns that solved previously unsolved instances on MIPLIB 2017.

This front is rapidly emerging and maturing, with a clear trajectory towards integrating more sophisticated formal verification methods and adaptive, self-correcting multi-agent architectures. Future work will likely focus on tackling larger-scale, more ambiguous industrial problems through robust data synthesis and evaluation, moving beyond purely outcome-based rewards to leverage process-level feedback and structured representations. The emphasis is on developing LLM agents that can not only generate solutions but also rigorously verify, diagnose, and iteratively refine them, leading to more reliable and scalable OR automation.
✅ Stable Execution-Verified LLM Agents for OR Model and Algorithm Synthesis
34
  1. EvoCut: Strengthening Integer Programs via Evolution-Guided Language Models (28)
  2. NEMO: Execution-Aware Optimization Modeling via Autonomous Coding Agents (27)
  3. Solver-in-the-Loop: MDP-Based Benchmarks for Self-Correction and Behavioral Rationality in Operations Research (26)
  4. Fine-tuning Large Language Model for Automated Algorithm Design (25)
  5. PARM: Pipeline-Adapted Reward Model (24)
  6. Strategy-Aware Optimization Modeling with Reasoning LLMs (24)
  7. From Soliloquy to Agora: Memory-Enhanced LLM Agents with Decentralized Debate for Optimization Modeling (24)
  8. EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations (23)
  9. Auto-Formulating Dynamic Programming Problems with Large Language Models (23)
  10. EngiAgent: Fully Connected Coordination of LLM Agents for Solving Open-ended Engineering Problems with Feasible Solutions (23)
  11. LLaMoCo: Instruction Tuning of Large Language Models for Optimization Code Generation (23)
  12. Generalists vs. Specialists: Evaluating LLMs on Highly-Constrained Biophysical Sequence Optimization Tasks (22)
  13. ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming (22)
  14. Execution-Verified Reinforcement Learning for Optimization Modeling (22)
  15. Canonical Intermediate Representation for LLM-based optimization problem formulation and code generation (22)
  16. An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Models (22)
  17. Adaptively Robust LLM Inference Optimization under Prediction Uncertainty (22)
  18. Relation Reasoning with LLMs in Expensive Optimization (21)
  19. HeuriGym: An Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimization (21)
  20. OptiVerse: A Comprehensive Benchmark towards Optimization Problem Solving (21)
  21. DAOpt: Modeling and Evaluation of Data-Driven Optimization under Uncertainty with LLMs (21)
  22. CP-Agent: Agentic Constraint Programming (21)
  23. Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data Generation (20)
  24. CO-Bench: Benchmarking Language Model Agents in Algorithm Search for Combinatorial Optimization (20)
  25. REMoH: A Reflective Evolution of Multi-objective Heuristics approach via Large Language Models (20)
  26. AI4S-SDS: A Neuro-Symbolic Solvent Design System via Sparse MCTS and Differentiable Physics Alignment (20)
  27. RideAgent: An LLM-Enhanced Optimization Framework for Automated Taxi Fleet Operations (20)
  28. DCP-Bench-Open: Evaluating LLMs for Constraint Modelling of Discrete Combinatorial Problems (20)
  29. VisionCreator: A Native Visual-Generation Agentic Model with Understanding, Thinking, Planning and Creation (19)
  30. Modeling Copilots for Text-to-Model Translation (19)
  31. GauS: Differentiable Scheduling Optimization via Gaussian Reparameterization (19)
  32. A-LAMP: Agentic LLM-Based Framework for Automated MDP Modeling and Policy Generation (18)
  33. FLEET: Formal Language-Grounded Scheduling for Heterogeneous Robot Teams (18)
  34. Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZinc (15)
View analysisThis research front focuses on developing sophisticated LLM agents for Operations Research, moving beyond simple code generation to encompass full problem formalization, algorithm design, and solution verification. It highlights frameworks like NEMO, OptiTrust, and ConstraintLLM that leverage LLMs for generating executable optimization models (MILP, CP, DP) from natural language descriptions. A core unifying theme is the integration of solver feedback and execution verification within multi-agent architectures to ensure the correctness and performance of generated OR artifacts.

Key contributions include the establishment of rigorous benchmarks such as CO-Bench (36 combinatorial optimization problems), HeuriGym (9 hard combinatorial optimization problems), OptiVerse (1,000 problems across six domains), and ORCOpt-Bench, which provide standardized metrics for evaluating LLM capabilities. Methodologically, papers like EVOM and SAGE utilize Group Relative Policy Optimization (GRPO) with solver outcomes for robust model generation, achieving state-of-the-art Pass@1 accuracies (e.g., SAGE improving 72.7% to 80.3% on OR benchmarks). Other innovations include EquivaMap for automatic equivalence checking of formulations, EvoCut for LLM-generated MILP acceleration cuts (demonstrating 17-57% gap reductions), and DPLM's DualReflect pipeline for generating verifiable synthetic Dynamic Programming data. Multi-agent systems like Agora-Opt and EngiAgent achieve superior performance (e.g., Agora-Opt 84.6% Pass@1) by employing decentralized debate and dynamic feedback routing for complex engineering and OR problems.

This research front is rapidly maturing, characterized by a significant shift from basic prompting to sophisticated feedback-driven learning and multi-agent architectures. The strong emphasis on execution-verified rewards (e.g., GRPO, Pipeline-Adapted Reward Models like PARM) and robust benchmarking (e.g., Multi-Instance Accuracy in DCP-Bench-Open) indicates a clear trajectory towards reliability and practical applicability. Future work will likely focus on scaling these methods to larger, more complex industrial problems, integrating more advanced domain-specific knowledge, and developing more efficient training paradigms such as Virtual Reinforcement Learning (VisionCreator) to reduce the substantial computational costs associated with extensive execution feedback loops.
🚀 Emerging Advanced LLM Agents for Symbolic OR Modeling and Problem Reformulation
12
  1. OR-Agent: Bridging Evolutionary Search and Structured Research for Automated Algorithm Discovery (26)
  2. AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research Problems (25)
  3. OptiMUS-0.3: Using Large Language Models to Model and Solve Optimization Problems at Scale (23)
  4. Dual-Cluster Memory Agent: Resolving Multi-Paradigm Ambiguity in Optimization Problem Solving (23)
  5. Automated Reformulation of Robust Optimization via Memory-Augmented Large Language Models (23)
  6. OptiMind: Teaching LLMs to Think Like Optimization Experts (21)
  7. LLM-Enhanced Multi-Agent Reinforcement Learning with Expert Workflow for Real-Time P2P Energy Trading (20)
  8. Automated Constraint Specification for Job Scheduling by Regulating Generative Model with Domain-Specific Representation (20)
  9. MIRROR: A Multi-Agent Framework with Iterative Adaptive Revision and Hierarchical Retrieval for Optimization Modeling in Operations Research (20)
  10. Gala: Global LLM Agents for Text-to-Model Translation (19)
  11. DualSchool: How Reliable are LLMs for Optimization Education? (18)
  12. CHORUS: Zero-shot Hierarchical Retrieval and Orchestration for Generating Linear Programming Code (18)
View analysisThis front unifies research on leveraging advanced LLM architectures, particularly multi-agent systems and sophisticated memory/retrieval mechanisms, for symbolic Operations Research modeling, code generation, and automated problem reformulation. Key frameworks like OptiMUS-0.3, MIRROR, AutoREM, and DCM-Agent are central, demonstrating how LLMs are being engineered to translate natural language descriptions into executable optimization models (MILP, LP, MiniZinc), reformulate complex problems (e.g., Robust Optimization), and even generate expert-level heuristics. The emphasis is on improving the reliability and accuracy of LLM-generated OR artifacts beyond simple prompting.

OptiMUS-0.3 and MIRROR establish new SOTA for MILP formulation, with OptiMUS-0.3 outperforming GPT-4o by ~40% on NLP4LP using a connection graph and self-reflection, and MIRROR achieving ~72% pass@1 with hierarchical RAG and structured revision. AutoREM introduces a tuning-free memory-augmented framework for robust optimization reformulation, achieving 97.4% accuracy on in-distribution and 94.8% on out-of-distribution datasets. AutoOR demonstrates scalable RL-trained LLMs for autoformalization, with an 8B model matching Gemini 3 Pro on several benchmarks and achieving a 48.98% leap on non-linear pump network tasks via backtranslation. Other notable contributions include CHORUS's metadata-augmented RAG for LP code generation (+147.9% accuracy for Llama3.3-70B), OptiMind's fine-tuning and class-based error analysis for MILP formulation (up to +23% accuracy), and OR-Agent's tree-structured research workflow for algorithm discovery, showing a ~2x improvement over FunSearch. The Dual-Cluster Memory Agent (DCM-Agent) achieves SOTA on symbolic OR modeling benchmarks with 11-21% average accuracy improvements by decoupling abstract modeling from concrete coding.

This front is rapidly emerging and maturing, characterized by a shift from basic LLM prompting to highly engineered, multi-agent, and memory-augmented systems. The focus is increasingly on reliability, verification, and scalability, as evidenced by rigorous benchmarking (e.g., OptiMind's benchmark audit, AutoRO-Bench) and advanced training techniques (AutoOR's backtranslation and curriculum RL). The next wave of papers will likely concentrate on integrating these sophisticated LLM agents with real-time data, developing more robust self-correction mechanisms for non-linear and stochastic problems, and exploring online learning for dynamic memory evolution, pushing towards fully autonomous OR problem-solving pipelines.
📋 Full list (116 papers, sorted by date)
Score Date Title Authors Affiliation Venue Links
24/30 2026-09-04
Ask Before You Optimize: Dynamic Pre-Formulation Clarification for Interactive OptimizationGe et al. introduce OR-Clarify, a benchmark evaluating whether LLMs can identify missing formulation-critical information and ask clarifying questions before generating an optimization model. The authors also propose InterOPT, a two-stage framework that tracks unresolved formulation gaps to guide questioning, which improves exact requirement recovery by 16.9% over baselines in choice-based settings, though it struggles to dominate free-form interactions. The key insight is the benchmark construction pipeline: systematically withholding specific facts (e.g., objective direction, hard vs. soft constraints) from a complete OR specification to explicitly measure an agent's 'silent assumptions' and premature readiness. This is highly relevant for our work on ambiguity-grounded OR benchmarking, as the metrics for exact slot recovery and silent assumption tracking can be directly integrated into our evaluation pipelines.
Unknown et.al. Shanghai Jiao Tong University, Cardinal Operations pdf / code
24/30 2026-09-01
Reinforcement Learning Enhanced LLM Agents for Complex Vehicle Routing ProblemsThis paper proposes RLEA, a multi-agent framework that uses a lightweight neural planner trained via Soft Q-learning to orchestrate LLM actions (refinement, RAG, and memory retrieval) for automatically generating solver-ready code for complex VRP variants. The results are backed by strong empirical evidence, achieving a 62.5% success rate on 48 VRP variants using OR-Tools, outperforming the state-of-the-art DRoC by 16.67% while reducing runtime errors. The key insight is that instead of using expensive LLM calls for step-by-step decision making, training a small language model with RL to act as a policy network for selecting agent actions significantly reduces latency and improves exploration. This is highly relevant for LLM evolutionary search and multi-agent optimization, as the architecture of an RL-trained planner combined with an evolving memory pool directly addresses sample efficiency and continuous learning in automated algorithm design.
Yi Chen et.al. National University of Singapore, Sun Yat-sen University pdf / code
21/30 2026-08-29
AlgoWorlds: Benchmarking Tool Use for Global Optimization in Algorithmic WorldsXu et al. introduce AlgoWorlds, a benchmark of 240 environments across 10 combinatorial optimization families designed to evaluate whether LLM agents can use tools to gather hidden instance data and output globally optimal decisions. The results are backed by extensive evaluations across 7 frontier models, demonstrating that while models like Claude Opus 4.8 achieve high feasibility (over 96%), they fail to reach exact global optimality (only 38.6% success). The key insight is that the primary bottleneck for LLMs in optimization is not information acquisition or constraint satisfaction, but the joint reasoning required to integrate information into a globally optimal configuration. This directly validates the need for advanced LLM evolutionary search and multi-agent optimization frameworks, as it proves standard LLM tool-use agents cannot reliably solve global optimization problems zero-shot, making this benchmark a valuable tool for our own OR evaluation efforts.
Unknown et.al. Tencent, University of Southern California pdf / code
26/30 2026-08-25
FLARE: Verifying MILP Reformulations with LLM-Based Theorem ProvingRobbins et al. introduce FLARE, an automated framework that uses an LLM agent and the Lean proof assistant to formally verify whether one MILP formulation is a valid reformulation of another. The authors demonstrate 100% accuracy on a new benchmark of 54 NP-hard formulation pairs, backed by machine-checkable proofs rather than heuristic execution checks. The key insight is that instance-level validation—commonly used to evaluate LLM-generated models—is fundamentally flawed and can accept invalid transformations; the authors prove this by identifying mathematically invalid cutting planes generated by recent LLM evolutionary search frameworks. This is a critical read for our work in automated optimization modeling and LLM-driven heuristic design, as it provides a concrete, verifiable method (and a cheaper natural-language proxy, FLARE-NL) to ensure generated formulations and cuts are universally valid across all problem instances.
Henry W Robbins et.al. Stanford University pdf / code
21/30 2026-08-19
Improving Natural-Language Combinatorial-Optimization Accuracy in Resource-Constrained Language Models via Formal AbstractionsSharma et al. introduce SDDL, a 7-primitive domain-specific language that allows resource-constrained LLMs to translate natural-language scheduling problems into formal representations, which are then deterministically compiled to CP-SAT. The results are backed by rigorous evaluation, showing that Qwen3.5-27B improves from 21.7% feasibility when generating raw solver code to 55.3% when using SDDL on a 300-instance benchmark. The key insight is that bounding the LLM's generation space to a closed vocabulary of domain constructs removes error-prone variable declarations and API syntax, shifting the burden of correct solver encoding to a deterministic compiler. This is highly relevant for our work in symbolic OR modeling and LLM reasoning evaluation, offering a concrete methodology for improving formalization accuracy without relying exclusively on frontier models.
Shrenil Shaun Sharma et.al. UC Berkeley, Independent Researcher EMNLP pdf / code
23/30 2026-08-14
From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint SolvingThis paper replaces generic solver error messages with minimal unsatisfiable cores (MUCs) to guide LLM self-repair when translating natural language constraint problems into Answer Set Programming. The results are backed by a 77-instance benchmark, showing that MUC feedback reduces fabricated solutions on infeasible problems from 79% to 7% for weaker models, though strong models perform well even with generic chain-of-thought. The key insight is that raw solver errors (e.g., 'unsatisfiable') often cause LLMs to blindly delete valid constraints until a problem becomes solvable, whereas structural proof artifacts localize the conflict and allow the LLM to correctly identify genuine infeasibility. This is highly relevant for symbolic OR modeling and LLM-in-the-loop optimization; the community could adapt this by using Irreducible Infeasible Subsystems (IIS) from MIP solvers as a high-quality, leakage-free feedback signal for LLM evolutionary search or autoformalization pipelines.
Dipankar Sarkar et.al. Independent Researcher the IJCAI-ECAI 2026 Workshop on Logic and Symbolic Reasoning (LogiSymb) pdf / code
25/30 2026-07-31
ModelEquivBench: Certifying Multi-Relational Evaluation of LLM-Generated Optimization ModelsThis paper introduces ModelEquivBench, a certifying evaluation system that assesses LLM-generated optimization models across a seven-dimensional semantic profile (E0-E6) using exact-rational mathematical certificates rather than simple execution or structural matching. The results are rigorously backed by numbers on 173 Bench4Opt problems, demonstrating that standard execution-success metrics overestimate correctness by up to 49 cases per model, while structural baselines falsely reject mathematically equivalent models. The key insight is that the evaluation of generated OR models cannot be reduced to a single scalar or structural graph match; instead, using exact-rational certificates (e.g., Farkas lemma for feasible set containment) provides a mathematically sound, multi-relational profile of model correctness. This is highly relevant to the team's work in OR benchmarking and symbolic OR modeling evaluation, as adopting this exact-verification approach could significantly improve the rigor of our own LLM reasoning benchmarks.
Penglin Zhu et.al. University of the Chinese Academy of Sciences arXiv.org pdf / code
22/30 2026-07-31
IR2Solve: Structured Intermediate Representations for Cost-Efficient Optimization AutoformulationIR2Solve translates natural language optimization problems into solver-ready code using a single LLM call to generate a structured JSON intermediate representation (ModelIR), followed by deterministic verification and compilation. The results are rigorously backed by numbers across six cleaned benchmarks, demonstrating that the system matches the accuracy of complex multi-agent and iterative systems while using up to 22x fewer tokens and only one API call. The key insight is that constraining the LLM to output a strict mathematical IR—thereby separating semantic modeling from solver API syntax—eliminates the need for expensive LLM-based iterative repair. This is highly relevant for our research in OR modeling and multi-agent optimization systems, as it establishes a strong, cost-efficient baseline that our multi-agent approaches must justify beating.
Penglin Zhu et.al. University of the Chinese Academy of Sciences pdf / code
23/30 2026-07-30
OptGraph: Large Language Models Enhanced Evolutionary Optimization Via Graph Retrieval-Augmented GenerationOptGraph introduces a GraphRAG-based multi-agent workflow for automated operations research modeling, translating natural language problem descriptions into executable solver code. Backed by strong empirical results, it achieves an average exact accuracy of 75.4% across six benchmarks (including NL4Opt and OptMATH), outperforming recent baselines like OptiTree and Lean-LLM-OPT by approximately 9%. The key insight is the use of a dynamic, heterogeneous graph memory that links problem variants, math models, code snippets, and typical errors, which is adaptively updated with execution traces and validation feedback without requiring LLM fine-tuning. This is highly relevant for our research in generative AI for OR modeling and multi-agent memory architectures, offering a concrete method to improve continuous learning and error-aware refinement in LLM-driven optimization systems.
Xianchao Xiu et.al. Shanghai University, Sun Yat-sen University, Guangxi University pdf / code
20/30 2026-07-28
Large Language Model for Operations Research Formulation Selection in Multi-Warehouse Inventory AllocationXu et al. propose an LLM-based selector trained via SFT, IPO, and GRPO to route multi-warehouse inventory allocation instances to the most suitable mixed-integer programming (MIP) formulation. Backed by real-world data from JD.com, the GRPO-trained selector improves top-1 expert selection accuracy by 29 percentage points over an SFT+IPO baseline, translating to a 12.5% allocation accuracy gain over the incumbent system. The key insight is the offline GRPO metadata construction: pre-computing and caching solver evaluations (scores, rankings, best expert) for historical instances to serve as fast, reliable reward signals during iterative RL post-training, which avoids expensive solver calls in the RL loop. This is highly relevant for our work in RL-infused algorithm and operator selection, providing a concrete blueprint for using solver-guided RL to train LLM routing policies efficiently.
Jintao Xu et.al. JD.com arXiv.org pdf / code
20/30 2026-07-23
Search Hardness-Aware LLM-Based Problem Formulation for Expensive Simulation-Driven DesignThis paper proposes an LLM-based evolutionary framework to automatically generate and refine optimization problem formulations (objectives and constraints) for expensive simulation-driven design. The authors empirically demonstrate on a hydrology task and five antenna design benchmarks that their evolved formulations require significantly fewer expensive simulator evaluations to reach feasible designs compared to expert-designed or zero-shot LLM formulations. The key insight is using initial random simulation data to identify 'hard but promising' (rare and non-dominated) states, and then using a candidate formulation's ability to prioritize these anchor states as the fitness signal for the evolutionary search. This is highly relevant for research in LLM evolutionary search and automated OR modeling, as it provides a concrete method for constructing proxy rewards that improve sample efficiency when evaluating generated code is computationally expensive.
Yuchen Li et.al. Xidian University, Victoria University of Wellington arXiv.org pdf / code
20/30 2026-07-19
Constrained Path Reasoning: Measuring When Committed Stages Earn Their CostThis paper introduces Constrained Path Reasoning (CPR), a framework to quantify the utility versus computational cost of intermediate LLM reasoning stages (e.g., formalization, convexification) when solving non-convex optimization problems. Backed by rigorous experiments on over 1,100 QCQPs, the authors demonstrate that while formal transcription with a deterministic solver achieves 90% yield, adding an LLM-proposed convex surrogate drops yield to 20% due to relaxation leakage and over-contraction. The key insight is the use of classical error bounds to map constraint residuals into a continuous feedback signal for triage and local repair, which successfully recovers 63% of feasible yield using only 17% of the computational attempts. This is highly relevant for our work on LLM reasoning evaluation and process reward models, as the residual-gated feedback mechanism offers a concrete, mathematically grounded way to provide step-level rewards and repair signals in optimization tasks.
Honglin Li et.al. ShanghaiTech University arXiv.org pdf / code
24/30 2026-07-18
Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection LimitsThis paper introduces a falsification-based, oracle-free verification framework for LLM-generated optimization models using metamorphic tests derived from optimization theory. The results are rigorously backed by empirical evidence, achieving a 0.0% false-positive rate on faithful models compared to 54.9% for threshold-based baselines, while successfully detecting execution-blind errors across multiple benchmarks. The key insight is that classical optimization theory, such as value function convexity and shadow-price consistency, provides provably valid metamorphic relations that can verify generated models without requiring ground-truth labels. This is highly relevant for our work in OR benchmarking and LLM evolutionary search, as these sound tests can be directly repurposed as a process reward model to provide reliable, per-step fitness signals when evolving mathematical programs.
Haifeng Li et.al. Central University of Finance and Economics arXiv.org pdf / code
21/30 2026-07-13
LP Mining with LP2Graph: A Use Case for Railway ReschedulingMaurischat et al. introduce LP2Graph, a deterministic pipeline to extract, homologize, and cluster published LP/MILP formulations into a canonical graph representation to build a structural taxonomy. While the current preprint only demonstrates the end-to-end pipeline on a small 10-formulation fixture set (with an 8,957-formulation corpus pending), the round-trip translation and cross-solver validation methodology is rigorously defined. The key insight is that representing MILPs as typed variable-equation graphs allows for deterministic structural comparison (schema graph isomorphism) independent of author notation. This is highly relevant for OR benchmarking and evaluation, as it provides a concrete mechanism to structurally compare LLM-generated OR models against ground-truth formulations rather than relying solely on execution accuracy.
Jörn Maurischat et.al. TU Dresden arXiv.org pdf / code
22/30 2026-07-06
OptiAgent: End-to-End Optimization Modeling via Multi-Agent Iterative RefinementOptiAgent proposes a multi-agent framework that translates natural language Operations Research problem descriptions into mathematical formulations and executable code using specialized agents and four targeted feedback loops. The results are backed by strong empirical evidence, achieving state-of-the-art accuracy on 3 out of 4 standard OR modeling benchmarks (including 70.65% on the challenging LogiOR dataset using GPT-5.4). The key insight is the explicit separation of mathematical validation (checking index quantification, dimensional consistency, and variable connectivity) from code generation, which allows the system to catch and self-correct structural errors before runtime execution. This is highly relevant for our research in OR benchmarking and multi-agent optimization modeling, as the specific validation strategies and feedback loop architecture can be directly integrated into our evaluation pipelines to improve formulation accuracy.
Adriana Laurindo Monteiro et.al. Instituto de Ciência e Tecnologia do Itaú, Brasil arXiv.org pdf / code
25/30 2026-07-02
A$^{2}$utoLPBench: An Auto-Generated, Agent-Friendly LP Benchmark via Inverse-KKT ConstructionThis paper introduces a dynamic, auto-generated benchmark for evaluating LLM agents on linear programming by using inverse-KKT conditions to construct problems with known optima without requiring solver calls. The results are rigorously backed by numbers, demonstrating a smooth difficulty curve up to 40x40 matrices and revealing an 87 percentage-point performance cliff for state-of-the-art models that static benchmarks fail to expose. The key insight is that using inverse optimization—sampling the optimal solution and duals first, then deriving the constraints and objective—allows for infinite, zero-cost, mathematically certified benchmark generation that completely bypasses training data contamination. This is highly relevant to our work in OR benchmarking and evaluation, as the inverse-construction methodology could fundamentally upgrade how we generate symbolic OR modeling tasks.
Shuo Ren et.al. The Chinese University of Hong Kong arXiv.org pdf / code
23/30 2026-07-01
Uncertainty-Aware Simulation-Based Inference for Operations Research with Large Language ModelsLiang et al. introduce a training-free inference framework that improves LLM-based operations research modeling by using short lookahead simulations and importance resampling to select intermediate generation steps based on downstream uncertainty. The results are backed by solid empirical evidence, showing up to a 17.6% absolute correctness improvement on complex OR benchmarks over standard sampling with an 8B model. The key insight is that the quality of a partial formulation or code block can be accurately estimated by measuring the entropy or probability concentration of short future rollouts from the frozen base model, bypassing the need for full-trajectory evaluations or trained verifiers. This is highly relevant to our work in OR modeling and LLM evolutionary search, as it provides a scalable method to generate reliable step-level fitness signals without requiring expensive process reward model training.
Liang Guo et.al. The University of Hong Kong, Renmin University of China pdf / code
22/30 2026-06-25
COOPA: A Modular LLM Agent Architecture for Operations Research ProblemsCOOPA is a multi-agent LLM architecture for operations research modeling that uses iterative generation, dimension-specific confidence scoring with max-min selection, and multi-solver dispatch to translate natural language into executable optimization code. Backed by solid empirical results, it achieves a 64.8% macro-average accuracy across three OR benchmarks and eight LLMs, outperforming existing baselines like OR-LLM-Agent and OptiTree. The key insight is the max-min confidence selection criterion, which evaluates intermediate formulations across four specific dimensions (parameters, variables, objective, constraints) to catch structural errors before code generation. This is highly relevant for our work in OR benchmarking and multi-agent optimization modeling, as it provides both a strong baseline architecture and a practical heuristic approach to process-level reward modeling for LLM reasoning.
Chuanhao Li et.al. Yale University, Duke University, Tsinghua University arXiv.org pdf / code
25/30 2026-06-25
EvoOptiGraph: Weakness-Driven Coevolution via Graph-Based Structural Generation for Optimization ModelingKang et al. introduce EvoOptiGraph, a framework that coevolves an LLM and its training data for natural-language-to-optimization modeling. The authors demonstrate that an 8B model fine-tuned with this method outperforms GPT-4o and DeepSeek-V3 across six OR benchmarks, backed by rigorous ablation studies. The key insight is the weakness-driven generation loop: they train an XGBoost classifier on the structural graph features of instances the LLM fails to solve, then use the resulting SHAP values to bias the evolutionary algorithm's fitness function toward generating similar hard instances. This dynamic, targeted data generation approach is highly relevant to our work in LLM evolutionary search and OR benchmarking, offering a concrete mechanism to improve sample efficiency and address model blind spots during RL.
Qingcan Kang et.al. Huawei Noah's Ark Lab, City University of Hong Kong arXiv.org pdf / code
23/30 2026-06-24
MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited ResourcesMiniOpt trains small-scale LLMs (3B/7B) to formulate and solve optimization problems using a two-stage Reinforcement Learning with Verifiable Reward (RLVR) framework. The results are rigorously backed by numbers across 8 OR benchmarks, showing that MiniOpt-7B achieves a 64.76% average solving accuracy, outperforming general 14B models and competing with DeepSeek-R1 while using significantly fewer tokens. The key insight is the hierarchical OptReward function, which sequentially scores formatting, a 5-element mathematical tuple, and final execution accuracy, enabling stable RL training without expensive human CoT annotations. Furthermore, modifying GRPO with asymmetric clipping and removing the KL penalty significantly improves exploration in complex reasoning tasks. This is highly relevant for our work in OR benchmarking and RL-infused LLM optimization, as the verifiable reward pipeline and GRPO modifications offer concrete techniques for improving sample efficiency and training stability.
Keshi Zhao et.al. Nanjing University, Southern University of Science and Technology, AntGroup, East China Normal University arXiv.org pdf / code
24/30 2026-06-18
ORAgentBench: Can LLM Agents Solve Challenging Operations Research Tasks End to End?This paper introduces ORAgentBench, an execution-grounded benchmark of 107 tasks that evaluates autonomous LLM agents on their ability to solve end-to-end operations research problems from raw data to validated decision artifacts. Extensive empirical results across 14 frontier models show that the best agent achieves only a 35.5% pass rate, with failures dominated by strategic modeling errors rather than coding bugs. The key insight is the benchmark's rigorous separation of hard-constraint feasibility and normalized objective quality, which exposes a critical gap where agents can generate executable code but fail to make the structural choices needed for high-quality optimization. This is essential reading for the team's OR benchmarking and evaluation research, as it establishes a new standard by moving beyond static text-to-formulation tasks to dynamic, multi-file execution environments.
Jiajun Li et.al. Huawei Noah’s Ark Lab, Nanyang Technological University, Waseda University, Southeast University arXiv.org pdf / code
24/30 2026-06-13
StarOR: Synergizing Tree Search and Test-Time Reinforcement Learning for Optimization ModelingStarOR integrates Monte Carlo Tree Search with test-time reinforcement learning to dynamically update a transient LoRA adapter during optimization modeling. The results are rigorously backed by empirical data across five benchmarks, demonstrating that a 4B parameter model can outperform GPT-4 and DeepSeek-R1. The key insight is using MCTS sibling nodes as a local comparison batch for GRPO to update the policy weights during inference, guided by an unsupervised multi-faceted reward (execution, semantic consensus, structural consistency, and test-case robustness). This is highly relevant for LLM evolutionary search and OR modeling, as it provides a concrete, sample-efficient mechanism for RL-infused search that prevents the model from repeatedly exploring flawed trajectories.
Jiajun Li et.al. Southeast University, Northwest A&F University arXiv.org pdf / code
20/30 2026-06-07
WARA: Toward Automated Wireless Optimization Research with Closed-Loop LLM AgentsWARA is an end-to-end multi-agent framework that automates wireless optimization research by generating mathematical models, designing algorithms, executing experiments, and writing manuscripts. The results are backed by quantitative evaluations, showing a 31-point improvement in manuscript validity over one-shot LLM generation, though it still trails human-authored papers. The key insight is the use of 'artifact-mediated control' with 'frozen contracts', where upstream decisions (like mathematical formulations) are validated and locked before downstream agents (like algorithm designers) can proceed, enabling localized repair instead of full-pipeline restarts. This architectural pattern is highly relevant for multi-agent optimization and automated algorithm design, as adopting strict contract-freezing could significantly improve the stability and sample efficiency of LLM-based operations research pipelines.
Yuan Guo et.al. The Chinese University of Hong Kong, Shenzhen, City University of Hong Kong, Sun Yat-Sen University pdf / code
25/30 2026-06-03
Beyond Objective Equivalence: Constraint Injection for LLM-Based Optimization Modeling on Vehicle Routing ProblemsThis paper introduces constraint injection—using feasible and one-constraint-violating probes—as a dual verifier alongside differential testing to train and evaluate LLMs for vehicle routing optimization modeling. The results are highly rigorous and backed by strong empirical evidence; their 8B model (VRPCoder-GRPO) achieves 93% Pass@1 across 21 VRP variants, outperforming Gemini-3.1-Pro and surpassing prior OR-LLMs by 78 points. The key insight is that objective equivalence is structurally blind to silent constraint omissions, whereas targeted, constraint-violating probes provide a much denser, more accurate reward signal for RL and data filtering. This is a must-read for our work in OR benchmarking and LLM evolutionary search, as it provides a concrete, implementable method to construct better fitness evaluators and process reward models for constraint-dense optimization tasks.
Xizi Luo et.al. Baidu Inc., Beihang University arXiv.org pdf / code
24/30 2026-05-28
Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side VerificationOpt-Verifier is a multi-agent LLM framework that improves automated operations research modeling through dual-side verification: checking structural consistency via back-translation and logical validity by semantically critiquing the numerical solutions of toy instantiations. Backed by strong empirical results, it achieves a significant improvement in solving accuracy over standard prompting and outperforms SOTA models like OpenAI-o1 and OptiMUS across benchmarks like NL4Opt, ComplexOR, and IndustryOR. The most valuable takeaway is the solution-side verification mechanism. Instead of just checking if solver code compiles, the system instantiates the parameterized model with toy data, solves it, translates the numerical output back to natural language, and uses an LLM to catch logical absurdities (e.g., a closed warehouse shipping goods). This is directly applicable to our research in OR benchmarking and multi-agent optimization modeling, offering a concrete method for generating high-fidelity process reward signals without requiring ground-truth labels.
Haoyang Liu et.al. Huawei Technologies, University of Science and Technology of China, Tianjin University International Conference on Machine Learning (ICML), 2026 pdf / code
24/30 2026-05-28
OptSkills: Learning Generalizable Optimization Skills from Problem Archetypes via Cluster-Based DistillationOPTSKILLS is an LLM agent system that improves optimization modeling by clustering problems according to their underlying mathematical archetypes and distilling reusable skills from solving trajectories. The method is backed by strong empirical results, achieving a state-of-the-art 68.27% micro-averaged accuracy across five OR benchmarks and outperforming DeepSeek-V3.2-Thinking on the large-scale MIPLIB-NL dataset. The key insight is that raw problem text embeddings fail to group structurally identical optimization problems; instead, extracting scenario-agnostic structural keywords before embedding enables highly effective cluster-based skill distillation and drastically reduces memory redundancy. This is highly relevant for our research in LLM-based OR modeling and persistent memory architectures, as the archetype-based clustering provides a concrete mechanism to organize and retrieve generalized optimization strategies without overfitting to specific narratives.
Haochen Yang et.al. Ant Group, East China Normal University, Shanghai Innovation Institute arXiv.org pdf / code
25/30 2026-05-27
OR-Space: A Full-Lifecycle Workspace Benchmark for Industrial Optimization AgentsZhou et al. introduce OR-Space, a benchmark that evaluates LLM agents on industrial optimization tasks within persistent multi-artifact workspaces (documents, data, code) across three lifecycle stages: Build, Revise, and Explain. The results are backed by extensive empirical evaluation across 20 models, demonstrating that even frontier models struggle with workspace-grounded data mapping (e.g., Gemini 3.1 Pro achieves only 72% on Build) and that legacy code context can severely degrade performance for weaker models. The key insight is the shift from single-shot formulation to lifecycle evaluation; testing an agent's ability to revise existing models and explain solver outputs grounded in distributed artifacts exposes critical failure modes hidden by standard text-only benchmarks. This is highly relevant for our work in OR benchmarking and LLM reasoning evaluation, as it provides a more rigorous, realistic framework for measuring the practical readiness of optimization agents.
Chenyu Zhou et.al. Stanford University, Shanghai Jiao Tong University, Shanghai University of Finance and Economics arXiv.org pdf / code
23/30 2026-05-26
OptiLoop: Coordination-in-the-Loop Verification and Repair for LLM-Generated Optimization AgentsOptiLoop verifies and repairs LLM-generated optimization agents by running short ADMM-style coordination episodes to extract behavioral evidence, such as price response and convergence, rather than relying solely on local execution checks. The results are backed by rigorous ablation on 80 supply chain scenarios, showing that the full pipeline improves objective match from 66% to 93% compared to local validation alone. The key insight is that local executability is insufficient for optimization code; semantic errors can be reliably detected by observing how the generated model responds to economic incentives like dual prices during multi-agent coordination. This is highly relevant for our work in multi-agent optimization and LLM reasoning evaluation. The team could adopt this coordination-in-the-loop behavioral testing as a sophisticated process reward signal when generating or evolving operations research models.
Yujia Xu et.al. Amazon arXiv.org pdf / code
27/30 2026-05-24
FrontierOR: Benchmarking LLMs'Capacity for Efficient Algorithm Design in Large-Scale OptimizationThis paper introduces FrontierOR, a benchmark of 180 large-scale operations research tasks designed to evaluate whether LLMs can design efficient, scalable optimization algorithms rather than just monolithic mathematical formulations. Results are rigorously backed by empirical evaluations against Gurobi baselines, showing that one-shot frontier models achieve only 31% quality-time efficiency, whereas test-time compute via multi-agent evolutionary search frameworks improves this success rate to 50% on the hardest tasks. The key insight is that the bottleneck for frontier LLMs has shifted from writing executable code to algorithmic strategy; successful LLM agents must autonomously explore hybrid, decomposition, or matheuristic designs rather than relying on direct solver calls. This is a must-read as it provides a ready-to-use, rigorous evaluation suite for our LLM evolutionary search and multi-agent optimization frameworks, pushing the field's evaluation standard beyond simple formulation correctness.
Minwei Kong et.al. MIT, Microsoft, Uber, National University of Singapore, Northwestern University, Northeastern University, Shanghai Jiaotong University, Boston University, Emory University, University of Texas at Dallas, Singapore Management University, Zhiling Research, Singapore-MIT Alliance for Research and Technology arXiv.org pdf / code
24/30 2026-05-24
VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based VerificationVERISIMPL introduces a framework that verifies LLM-generated optimization models by using the solver to create simplified diagnostic queries (e.g., variable masking, constraint mutations) which the LLM then checks against the original natural language description. The results are backed by strong empirical evidence, showing consistent accuracy improvements (up to 17% over agentic baselines) across four OR benchmarks and providing a >90% precision self-verification signal. The key insight is to invert the standard verification workflow: instead of relying on the LLM to generate test cases, use the solver to generate concrete, simplified partial states, and use the LLM to verify these tractable states against the text prompt. This is highly relevant for our work in OR benchmarking and evaluation, and this solver-guided verification mechanism could be directly adapted as a high-quality Process Reward Model (PRM) to guide LLM evolutionary search when generating OR formulations.
S. Rahman et.al. Carnegie Mellon University in Qatar, Qatar Computing Research Institute, Texas A&M University at Qatar ICML pdf / code
23/30 2026-05-20
Models Can Model, But Can't Bind: Structured Grounding in Text-to-OptimizationThis paper introduces Text2Opt-Bench, a scalable text-to-optimization benchmark, and demonstrates that LLM failures on large OR problems stem primarily from 'binding' (transcribing numerical data) rather than 'modeling' (formulating the math). The claims are backed by rigorous empirical results across 10+ models, showing that externalizing data to JSON (the BIND method) improves GPT-5-Nano accuracy from 59.1% to 82.4%, and that a 7B binding-specialist model outperforms end-to-end SFT and RL. The key insight is that the bottleneck in text-to-optimization is context retrieval and transcription, not mathematical reasoning; offloading numerical data to structured files for programmatic access bypasses this limitation entirely. This is highly relevant for our OR benchmarking and LLM reasoning evaluation efforts, as the modeling vs. binding paradigm should directly inform how we construct instances and evaluate LLMs in our own OR benchmarks.
Zhiqi Gao et.al. University of Wisconsin-Madison, United States Military Academy arXiv.org pdf / code
19/30 2026-05-20
BBOWP-Bench: Evaluating LLMs on Black-Box Optimization Word ProblemsThis paper introduces BBOWP-Bench, a benchmark for evaluating how well LLMs can infer search spaces and select optimization algorithms from natural-language descriptions of black-box optimization tasks. The results are backed by extensive empirical runs, demonstrating that while LLMs can select budget-appropriate algorithms, they struggle significantly to define valid search spaces when problem descriptions are ambiguous. The key insight is the Formulation Ranking Score (FRS) metric, which evaluates the quality of an LLM-generated search space and algorithm pair by comparing its downstream execution performance against a Monte Carlo-sampled reference distribution, providing a scale-invariant evaluation across diverse domains. This is highly relevant for our work in OR benchmarking and evaluation; the execution-based evaluation pipeline and FRS metric could be directly adapted to improve how we evaluate LLM reasoning on optimization modeling tasks.
Yutaro Yamada et.al. Yokohama National University pdf / code
25/30 2026-05-14
PEARL: Solver-in-the-Loop Interactive Optimization Modeling from Natural LanguagePEARL trains a compact LLM (4B parameters) using agentic reinforcement learning to iteratively draft, execute, and revise mathematical optimization models based on intermediate solver feedback. Backed by strong empirical numbers, the 4B PEARL model achieves a 69.71% macro-average Pass@1 across 8 OR benchmarks, outperforming the 685B DeepSeek-V3.2 model. The key insight is that instead of applying RL to score final outputs, RL (specifically GRPO with decoupled clipping) should be used to learn the control policy for the entire solve-debug-revise loop, allowing the model to learn when to execute code and how to interpret solver errors. This is highly relevant to our work in RL-infused LLM search and symbolic OR modeling, as it provides a concrete methodology for integrating deterministic solver feedback into the policy optimization pipeline to drastically improve sample efficiency and accuracy.
Hongliang Lu et.al. Peking University, Huawei Technologies Co., Ltd, Great Bay University arXiv.org pdf / code
18/30 2026-05-14
Learn2Zinc: Fine-tuning Small Language Models for Text-to-Model Translation in MiniZincThis paper fine-tunes small language models (0.6B to 20B parameters) using a cross-model error bootstrapping dataset to translate natural language problem descriptions into executable MiniZinc constraint models. The results are backed by solid empirical evidence, showing that while out-of-the-box execution accuracy is near zero, the fine-tuned ensemble with self-reflection achieves 98% execution accuracy, though solution (semantic) accuracy plateaus at 35%. The key insight is the cross-model error bootstrapping technique, which effectively cures syntax failures in out-of-distribution domain-specific languages and isolates the remaining LLM reasoning bottlenecks into specific semantic failure modes like phantom variables and contradictory constraints. This is highly relevant for our research in OR benchmarking and symbolic OR modeling evaluation, as the error taxonomy and dataset curation strategy can directly inform how we design evaluations for LLM reasoning on optimization problems.
Serdar Kadioğlu et.al. Brown University, Fidelity Investments arXiv.org pdf / code
23/30 2026-05-12
Automated Reformulation of Robust Optimization via Memory-Augmented Large Language ModelsThis paper introduces AutoRO-Bench for evaluating LLM robust optimization reformulation and proposes AutoREM, a tuning-free memory-augmented LLM framework that uses offline adaptation to build a structured reformulation memory. The results are backed by strong empirical evidence, with AutoREM achieving 97.4% accuracy on in-distribution and 94.8% on out-of-distribution datasets, significantly outperforming baselines like ACE and ReasoningBank while using fewer tokens. The key insight is the offline memory adaptation pipeline—specifically the Dual-Check Commit (DCC) for mini-batch validation and Validation-Based Acceptance (VBA) for epoch-level rollbacks—which prevents the accumulation of harmful memory edits and ensures high-quality, reusable reasoning templates. This is highly relevant for our work in OR benchmarking and LLM evolutionary search, as the structured memory operators and validation gates offer a concrete blueprint for improving persistent memory and sample efficiency in self-improving LLM agents.
Jinbiao Chen et.al. National University of Singapore, The University of Hong Kong, A*STAR arXiv.org pdf / code
22/30 2026-05-12
Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial SolversWang et al. evaluate frontier LLMs on a new 4,577-instance combinatorial optimization benchmark to compare solver-generation paradigms (Python, Python+OR-Tools, MiniZinc) and the impact of efficiency-oriented prompting. The results, backed by rigorous instance-level evaluation, demonstrate that LLMs achieve the highest correctness using the Python+OR-Tools API, whereas native Python suffers from high rates of silent failures. The key insight is the identification of the 'heuristic trap': prompting LLMs to optimize search zero-shot yields minimal speedups but sharply degrades correctness by injecting unverified bounds, local approximations, or overcomplicated constraints. This is highly relevant to our work in OR benchmarking and LLM evolutionary search. Specifically, the six documented failure modes provide a precise taxonomy of errors that our process reward models and evolutionary evaluators must be explicitly designed to detect and penalize.
Haoyu Wang et.al. Google DeepMind, University of Pennsylvania, University of Toronto, Oracle AI arXiv.org pdf / code
23/30 2026-05-12
TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization ModelingFang et al. propose TriVAL, a multi-stage validation framework for translating natural language into executable optimization models, alongside a new 150-instance combinatorial optimization benchmark (NL4COP). The results are strongly backed by empirical evaluations, showing a 30%+ accuracy improvement over existing agentic baselines on complex combinatorial tasks. The key insight is formalizing the semantic specification as a tuple of facts, ambiguities, and resolutions, ensuring that implicit assumptions are explicitly resolved before mathematical formulation begins. This is highly relevant for our work in benchmarking and evaluating symbolic OR modeling, as the dataset and the ambiguity-resolution mechanism directly address the core challenges of evaluating LLM reasoning on complex OR problems.
Ziyang Fang et.al. Nanyang Technological University, Agency for Science, Technology and Research, South China University of Technology arXiv.org pdf / code
24/30 2026-05-09
Agentic MIP Research: Accelerated Constraint Handler GenerationXu et al. propose an LLM agentic framework that autonomously generates, verifies, and tunes propagation-only constraint handlers for the SCIP MIP solver. Backed by rigorous numbers on MIPLIB 2017, the zero-shot exploration mode discovered five novel constraint patterns that solved five previously unsolved instances, a significant achievement given the maturity of SCIP. The key insight is their use of 'synthetic verification via reverse sampling'—generating synthetic MIP instances with known global constraints to cheaply verify the LLM's detector and propagator logic before running expensive full-scale solver evaluations. This is highly relevant to our work in LLM evolutionary search and automated algorithm design for integer programming, offering a concrete architectural pattern to improve sample efficiency and intermediate reward signaling.
Liding Xu et.al. Zuse Institute Berlin, Technische Universität Berlin arXiv.org pdf / code
24/30 2026-05-04
Strategy-Aware Optimization Modeling with Reasoning LLMsSAGE is a framework for automated optimization modeling that explicitly separates high-level modeling strategy from concrete formulation, training an LLM via supervised fine-tuning and Segment-Weighted GRPO with solver feedback. The results are backed by strong empirical evidence, improving average pass@1 from 72.7% to 80.3% over the strongest open-source baseline across eight OR benchmarks, while also producing more compact, solver-efficient constraint systems. The key insight is the use of Segment-Weighted GRPO, which assigns higher optimization weights to early, high-level strategic reasoning tokens than to later surface-level tokens, effectively mitigating the credit assignment problem in long-horizon reasoning. This is highly relevant for our work in symbolic OR modeling and RL-infused LLM search; the segment-weighted RL approach and efficiency-aware composite reward are concrete techniques we should adapt for our process reward models.
Rui Zhao et.al. Beihang University, JIUTIAN Research arXiv.org pdf / code
23/30 2026-05-04
EngiAgent: Fully Connected Coordination of LLM Agents for Solving Open-ended Engineering Problems with Feasible SolutionsEngiAgent is a multi-agent LLM framework that uses a fully connected coordinator to dynamically route debugging feedback across specialized agents (Analyzer, Modeler, Verifier, Solver) to generate feasible Pyomo models for open-ended engineering problems. The results are strongly backed by empirical data on a new 53-problem benchmark, achieving up to 75.4% feasibility with DeepSeek-V3—a massive improvement over fixed-pipeline baselines like DS-Agent. The key insight is that rigid multi-agent pipelines fail on complex OR tasks because errors can stem from semantic extraction, mathematical formulation, or solver execution; dynamically routing specific error traces to the responsible agent significantly improves the rate of physically and mathematically feasible solutions. This is highly relevant for our work in symbolic OR benchmarking and multi-agent optimization, as the benchmark's strict focus on executable feasibility over text-based evaluation aligns perfectly with our evaluation methodology.
Xiyuan Zhou et.al. Nanyang Technological University, The Chinese University of Hong Kong, Shenzhen, The University of Sydney, INSAIT Sofia University “St. Kliment Ohridski”, AIRS ICML 2026 pdf / code
21/30 2026-04-30
Relation Reasoning with LLMs in Expensive OptimizationThis paper proposes R2SAEA, an evolutionary algorithm that uses a compact LLM (Qwen2.5) fine-tuned via GRPO as a zero-shot, relation-based surrogate model to rank offspring in expensive optimization problems. The results are rigorously backed by numerical experiments on standard continuous benchmarks (LZG, DTLZ), demonstrating that the fine-tuned model outperforms both traditional surrogate models and prompted frontier LLMs (GPT-4o) while running efficiently via quantization. The key insight is to cast surrogate evaluation as an in-context pairwise relation reasoning task, utilizing an anchor-based iterative prompt strategy to reduce $O(N^2)$ comparisons to $O(N)$ before aggregating them via voting. This is highly relevant for LLM evolutionary search; the team can adapt the GRPO relation-training pipeline and anchor-based voting mechanism to improve candidate evaluation and sample efficiency when evolving algorithms or heuristics.
Ye Lu et.al. Shanghai Institute of AI for Education, East China Normal University arXiv.org pdf / code
24/30 2026-04-28
From Soliloquy to Agora: Memory-Enhanced LLM Agents with Decentralized Debate for Optimization ModelingThis paper introduces Agora-Opt, a multi-agent framework for optimization modeling that combines decentralized debate across heterogeneous LLMs with a read-write memory bank. The results are backed by strong empirical evidence, achieving state-of-the-art Pass@1 accuracy (84.6%) across 7 OR benchmarks and outperforming both frontier zero-shot models and fine-tuned OR models. The key insight is that decentralized debate, where consensus is driven by solver-verified endpoints rather than a centralized LLM judge, can synthesize correct formulations even when all initial agent proposals are flawed. Furthermore, storing the trajectories of how these disagreements are resolved in a dedicated 'debate memory' allows the system to continuously improve its collaborative reasoning without parameter updates. This is highly relevant for our research in multi-agent optimization and memory architectures; the decentralized consensus mechanism and debate memory structure offer immediate, actionable upgrades for our multi-agent debate systems.
Jianghao Lin et.al. Tsinghua University, University of Chicago Booth School of Business, Shanghai Jiao Tong University, The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen) arXiv.org pdf / code
21/30 2026-04-23
OptiVerse: A Comprehensive Benchmark towards Optimization Problem SolvingThis paper introduces OptiVerse, a 1,000-problem benchmark spanning six optimization domains (including stochastic and dynamic optimization) to evaluate LLM reasoning, alongside a Dual-View Auditor Agent that detects semantic modeling errors. Extensive evaluation of 22 LLMs shows severe performance degradation on hard problems (under 27% accuracy even for frontier models), while the proposed agent improves accuracy by 1.3-6.3% over baselines like OptiMUS. The key insight is the 'blind code abstraction' technique: forcing the LLM to reverse-engineer mathematical logic solely from its generated code without seeing the original prompt, which effectively mitigates the confirmation bias that plagues standard LLM self-correction. This is highly relevant for our OR benchmarking and evaluation work, as it represents a direct competitor/complement to our datasets. Furthermore, the blind abstraction trick is a highly transferable mechanism that could be adopted to improve the verification and reward modeling steps in our multi-agent optimization and LLM evolutionary search frameworks.
Xinyu Zhang et.al. Xi'an Jiaotong University, Lenovo Research arXiv.org pdf / code
23/30 2026-04-22
Dual-Cluster Memory Agent: Resolving Multi-Paradigm Ambiguity in Optimization Problem SolvingThis paper introduces a training-free Dual-Cluster Memory Agent that resolves multi-paradigm ambiguity in optimization modeling by decoupling abstract mathematical modeling from concrete coding implementation into separate memory clusters linked by a bipartite graph. The results are backed by strong empirical evidence, showing 11-21% average accuracy improvements across 7 OR benchmarks (including OptiBench and NLP4LP) over baselines like OptiMUS and OptiTree, while reducing inference time compared to heavy tree-search methods. The key insight is the structured extraction of 'Pitfalls' from persistent failures and the resulting 'knowledge inheritance'—using a large model to build a high-quality bipartite memory graph allows smaller, cheaper models to achieve SOTA performance during inference. This is highly relevant for our work in symbolic OR modeling and multi-agent memory architectures, as the decoupled memory structure and failure-driven pitfall extraction could directly improve our agentic modeling workflows and LLM reasoning evaluation.
Xinyu Zhang et.al. Xi’an Jiaotong University, Ministry of Education Key Laboratory of Intelligent Networks and Network Security, Shaanxi Province Key Laboratory of Big Data Knowledge Engineering arXiv.org pdf / code
24/30 2026-04-20
Co-evolving Agent Architectures and Interpretable Reasoning for Automated OptimizationHuang et al. propose EvoOR-Agent, a co-evolutionary framework that represents LLM agent workflows as Activity-on-Edge (AOE) networks to simultaneously evolve the agent's architectural topology and its reasoning trajectories for operations research tasks. The results are backed by strong empirical evidence, showing up to 17% improvement over fixed-pipeline OR agents and 15% over general evolutionary agents on complex benchmarks like IndustryOR and BWOR. The key insight is that abstracting agent workflows into an explicit, evolvable AOE graph allows for path-conditioned recombination and structural pruning, enabling the evolutionary search to optimize the problem-solving process (e.g., formulation decomposition, solver routing, debugging loops) rather than just the prompt text or final code. This is highly relevant for our work in LLM evolutionary search and multi-agent optimization, as the AOE graph representation provides a concrete, implementable mechanism for dynamically adapting and evolving agent pipelines.
Jiahao Huang et.al. Harbin Institute of Technology, Nanjing University of Information Science and Technology arXiv.org pdf / code
24/30 2026-04-20
PARM: Pipeline-Adapted Reward ModelFan et al. introduce a Pipeline-Adapted Reward Model (PARM) that trains stage-specific reward models for LLM optimization pipelines using Direct Preference Optimization on automatically collected execution feedback. The results are backed by strong empirical numbers, demonstrating that a 7B model pipeline can outperform GPT-4o on operations research benchmarks like NL4Opt (0.52 vs 0.15 solving accuracy). The key insight is that intermediate pipeline stages, such as problem formulation, can be effectively scored by training a reward model via DPO where preference pairs are automatically labeled based on whether any downstream execution succeeds. This is highly relevant for our work in multi-agent optimization and LLM evolutionary search, as it provides a concrete, scalable method to train process reward models without human annotation.
Xingyu Fan et.al. The Chinese University of Hong Kong, Hong Kong University of Science and Technology, City University of Hong Kong, Peking University, Tsinghua University, University of California, Los Angeles, Shanghai Jiao Tong University IEEE Journal on Selected Topics in Signal Processing pdf / code
25/30 2026-04-18
AutoOR: Scalably Post-training LLMs to Autoformalize Operations Research ProblemsAutoOR trains an 8B LLM to autoformalize linear, mixed-integer, and non-linear optimization problems using a scalable backtranslation data generation pipeline and GRPO with solver-execution rewards. The results are strongly backed by empirical evidence, showing the 8B model outperforming Gemini 2.5 Pro and matching Gemini 3 Pro across 9 benchmarks, including a leap from near 0% to 48.98% on a hard non-linear pump network task. The key insight is the backtranslation pipeline: by instantiating standard OR forms to guarantee ground-truth code and then generating natural language descriptions, the authors bypass the hard problem of verifying code generated from ambiguous text. Furthermore, their curriculum RL strategy—temporarily providing solver syntax as privileged information—successfully breaks the cold-start barrier in hard non-linear domains. This is a must-read for work in OR benchmarking and LLM reasoning evaluation, as the data generation and solver-in-the-loop RL techniques directly address the scalability and verification bottlenecks in symbolic OR modeling.
S. Motwani et.al. X, University of Oxford arXiv.org pdf / code
19/30 2026-04-14
Modeling Copilots for Text-to-Model TranslationThis paper introduces Text2Zinc, a solver-agnostic benchmark of 1,775 natural language combinatorial problems, and evaluates various LLM copilot strategies (CoT, knowledge graphs, grammar validation) for generating formal MiniZinc models. The results are backed by extensive empirical evaluation, demonstrating that even advanced models like GPT-4o struggle, achieving only ~40-50% solution accuracy despite much higher execution (compilation) accuracy. The key insight is that decoupling syntax enforcement from generation via post-hoc grammar validation significantly improves execution accuracy without requiring constrained decoding, though capturing the underlying optimization logic remains a major bottleneck. This work is highly relevant for our OR benchmarking and evaluation efforts, as the dataset schema and the clear demonstration of the execution-solution accuracy gap provide a strong foundation for evaluating LLM reasoning in symbolic OR modeling.
Serdar Kadioğlu et.al. Brown University, Fidelity Investments pdf / code
22/30 2026-04-01
Execution-Verified Reinforcement Learning for Optimization ModelingEVOM trains LLMs for operations research modeling using execution-verified reinforcement learning (GRPO/DAPO) based solely on solver outcomes, bypassing expensive process-level supervision. The results are backed by solid empirical evaluations on OptiBench, NL4OPT, and IndustryOR, demonstrating that it matches or beats process-supervised SFT (ORLM) and enables zero-shot transfer to new solvers (e.g., Gurobi to OR-Tools). The key takeaway is that outcome-only RL prevents the model from overfitting to solver-specific syntax (a major flaw in SFT), forcing it to learn invariant mathematical structures; additionally, their two-stage cold-start trick (LLM-translate 100 samples -> SFT -> RL) is a highly stealable technique for adapting to new environments. This is highly relevant for our OR-Bench project, and we should consider implementing execution-verified RL baselines and leveraging their cold-start adaptation trick when targeting new solvers in our evolutionary search pipelines.
Runda Guan et.al. Chinese Academy of Sciences, Nanjing University, Nanjing University of Science and Technology arXiv.org pdf / code
20/30 2026-03-04
AI4S-SDS: A Neuro-Symbolic Solvent Design System via Sparse MCTS and Differentiable Physics AlignmentChen et al. introduce a neuro-symbolic MCTS framework for mixed discrete-continuous optimization, applying it to solvent design. They solve the LLM context bottleneck via 'Sparse State Storage' (storing only state abstractions and reconstructing paths on-demand) and fix mode collapse using 'Sibling-Aware Expansion' (conditioning the generator on sibling nodes to force orthogonality). While the chemical application is niche, the search architecture is highly relevant: we should steal the sibling-aware conditioning to improve diversity in our evolutionary code generation and adopt their sparse storage pattern to scale our search horizons.
Jiangyu Chen et.al. Nanjing University, Suzhou Laboratory, Shanghai Artificial Intelligence Laboratory pdf / code
19/30 2026-03-03
VisionCreator: A Native Visual-Generation Agentic Model with Understanding, Thinking, Planning and CreationThis paper introduces VisionCreator, an agent trained via 'Virtual Reinforcement Learning' (VRL) where tool outputs and logic are simulated to train long-horizon planning policies without incurring expensive real-world execution costs. They employ a 'Plan-Driven Reward' model (combining LLM-based plan verification with rule-based execution checks) and prove theoretical bounds for the sim-to-real transfer, achieving performance superior to GPT-5 on visual tasks. **Key Takeaway:** We should steal the VRL architecture for AlgoEvo. By constructing a 'Virtual OR Environment' that simulates code validity and approximate heuristic performance, we can train our evolutionary search policies (RL-infused evolution) at a fraction of the current compute cost, bypassing the bottleneck of running full benchmarks during the search policy optimization phase.
Jinxiang Lai et.al. Tencent Hunyuan, Hong Kong University of Science and Technology arXiv.org pdf / code
24/30 2026-02-23
OptiRepair: Closed-Loop Diagnosis and Repair of Supply Chain Optimization Models with LLM AgentsAo et al. introduce OptiRepair, a closed-loop framework that repairs infeasible LPs using solver IIS feedback (Phase 1) and validates them with a 'Rationality Oracle' based on domain theory (Phase 2). Results are exceptionally strong: fine-tuned 8B models trained via iterative STaR and GRPO achieve 81.7% success, outperforming GPT-5.2 (42.2%) by a massive margin. **Key Takeaway:** We should steal the 'Rationality Oracle' concept—evaluating solution *properties* (e.g., monotonicity, variance bounds) rather than just raw fitness—to serve as a dense signal for our Process Reward Models in AlgoEvo. Additionally, their success with solver-verified GRPO confirms we should prioritize training specialized operators over prompting general LLMs.
Ruicheng Ao et.al. Massachusetts Institute of Technology, Alibaba Group arXiv.org pdf / code
19/30 2026-02-23
GauS: Differentiable Scheduling Optimization via Gaussian ReparameterizationGauS replaces the standard categorical (Gumbel-Softmax) relaxation in differentiable scheduling with Gaussian variables defined by mean and variance, reducing parameter space from O(N*D) to O(N). Results are strong: it scales to 57k nodes where previous differentiable methods OOM and exact solvers timeout, while maintaining near-100% GPU utilization. The key takeaway is a specific modeling technique: using Gaussian distributions to represent discrete ordinal values (like time steps) naturally captures temporal proximity and provides smoother gradients than categorical buckets. We should test this representation in our continuous latent-space optimization work to replace categorical relaxations for ordered parameters.
Yaohui Cai et.al. Cornell University, University of Maryland, College Park arXiv.org pdf / code
25/30 2026-02-17
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based OptimizationReLoop proposes a verification pipeline for LLM-generated optimization models that detects 'silent failures' (code that runs but solves the wrong problem) by perturbing input parameters and checking for expected solver objective shifts. They demonstrate that standard execution feasibility is a poor proxy for correctness (90% gap) on their new RetailOpt-190 benchmark, and that this perturbation testing significantly improves reliability. The critical takeaway is the use of sensitivity analysis as a ground-truth-free process reward signal: we can validate evolved algorithms in AlgoEvo by asserting that specific input perturbations *must* trigger output changes, filtering out semantically invalid candidates before expensive evaluation.
Junbo Jacob Lian et.al. National University of Singapore, Northwestern University, City University of Hong Kong, Wenzhou University, Wenzhou Buyi Pharmacy Chain Co., Ltd. arXiv.org pdf / code
26/30 2026-02-14
OR-Agent: Bridging Evolutionary Search and Structured Research for Automated Algorithm DiscoveryOR-Agent replaces flat evolutionary loops with a tree-structured research workflow that prioritizes deep iterative refinement and debugging over broad population sampling. The results are compelling, showing a ~2x improvement in normalized scores over ReEvo and FunSearch across 12 OR benchmarks (TSP, CVRP, etc.). The single most actionable takeaway is the **Experiment Agent's environment probing**: instead of relying on scalar fitness, the agent writes custom callbacks to log intermediate states (e.g., 'lane change attempts' in SUMO), enabling genuine diagnosis of failure modes. We should immediately implement this 'instrumentation-via-code' pattern in our own evaluation pipelines to improve signal quality.
Qi Liu et.al. Tongji University arXiv.org pdf / code
24/30 2026-02-11
Constructing Industrial-Scale Optimization Modeling BenchmarkLi et al. introduce MIPLIB-NL, a benchmark of 223 industrial-scale MILP instances (up to 10^7 variables) reverse-engineered from MIPLIB 2017, enforcing strict model-data separation. Results are sobering: SOTA models like GPT-4 and fine-tuned OR-LLMs drop from ~90% accuracy on existing toy benchmarks to ~18% here, failing primarily on structural consistency and index handling at scale. For us, the key takeaway is their "Loop-Based Structural Scaffold" taxonomy—a method to compress massive industrial formulations into compact LLM prompts via model-data separation. This is a mandatory read for our OR-Bench project, as it demonstrates that current evaluations are effectively measuring overfitting to toy problems rather than genuine modeling capability.
Zhong Li et.al. Peking University, Huawei Technologies Co., Ltd., Great Bay University arXiv.org pdf / code
26/30 2026-02-08
Solver-in-the-Loop: MDP-Based Benchmarks for Self-Correction and Behavioral Rationality in Operations ResearchAo et al. introduce a framework for iterative OR model debugging that trains an 8B model using Group Relative Policy Optimization (GRPO) and a Process Reward Model (PRM) to outperform GPT-4o-mini. They utilize Gurobi's Irreducible Infeasible Subsystem (IIS) not just as text feedback, but as a dense reward signal (IIS size reduction) for the PRM, achieving a 95.3% recovery rate versus 86.2% for frontier APIs. **Key Takeaway:** We should steal their PRM construction method—specifically using solver diagnostics (like IIS reduction or compiler error counts) as dense step-level rewards—and their 'faithfulness penalty' to prevent overfitting in our evolutionary search. This is a direct validation of RLVR (Reinforcement Learning with Verifiable Rewards) for OR, proving it superior to large-scale prompting.
Ruicheng Ao et.al. Massachusetts Institute of Technology, Alibaba Group arXiv.org pdf / code
20/30 2026-02-04
MIRROR: A Multi-Agent Framework with Iterative Adaptive Revision and Hierarchical Retrieval for Optimization Modeling in Operations ResearchMIRROR is a multi-agent framework that translates natural language OR problems into Gurobi code using Hierarchical RAG (metadata filtering + semantic search) and an iterative repair loop. It achieves ~72% pass@1 across five benchmarks, outperforming Chain-of-Experts and fine-tuned models like LLMOPT without task-specific training. The key takeaway is their **structured revision tip mechanism**: upon execution failure, the agent generates a JSON object explicitly isolating the `error_statement`, `incorrect_code_snippet`, and `correct_code_snippet`, which serves as a precise memory artifact for subsequent retries. This structured reflection pattern is superior to raw error logs and could be immediately adopted in our own code generation pipelines.
Yifan Shi et.al. Xi'an Jiaotong University, Northwestern Polytechnical University arXiv.org pdf / code
20/30 2026-02-03
ProOPF: Benchmarking and Improving LLMs for Professional-Grade Power Systems Optimization ModelingShen et al. propose a benchmark (ProOPF) for translating natural language into Optimal Power Flow (OPF) models, treating instances as parametric or structural modifications to a canonical base model rather than generating code from scratch. They introduce a rigorous data synthesis pipeline using 'scenario trees' to map qualitative descriptions (e.g., 'heatwave') to quantitative parameter deltas, and define structural extensions (e.g., adding security constraints) as modular patches. Results are sobering: SOTA models (GPT-4, Claude 3.5) score 0% on the hardest level (semantic inference + structural change), though SFT recovers ~11-35%. **Key Takeaway:** We should steal their 'Base + Delta' synthesis approach for our VRP variant generation and OR-Bench work; it allows for scalable, physically valid data generation without requiring an LLM to hallucinate full solvers, and effectively benchmarks 'ambiguity' handling.
Chao Shen et.al. arXiv.org pdf / code
22/30 2026-02-02
Canonical Intermediate Representation for LLM-based optimization problem formulation and code generationLyu et al. propose a 'Canonical Intermediate Representation' (CIR) to decouple natural language operational rules from their mathematical instantiation, explicitly forcing the LLM to select modeling paradigms (e.g., time-indexed vs. continuous flow) before coding. They achieve state-of-the-art accuracy (47.2% vs 22.4% baseline) on a new, complex benchmark (ORCOpt-Bench) by using a multi-agent pipeline that retrieves and adapts constraint templates. The key takeaway is the 'Mapper' agent's paradigm selection logic, which prevents common formulation errors in VRPs and scheduling; we should evaluate CIR as a structured mutation space for AlgoEvo to replace brittle code evolution. The new benchmark is immediately relevant for our OR-Bench evaluation suite.
Zhongyuan Lyu et.al. The Hong Kong Polytechnic University, InfiX.ai arXiv.org pdf / code
18/30 2026-01-30
Foundation Models for Logistics: Toward Certifiable, Conversational Planning InterfacesYang et al. introduce a neurosymbolic agent that translates natural language into PDDL goals, using a learned latent space to estimate 'intent uncertainty' (distance to class centroids) which gates downstream execution. They use this uncertainty signal to drive both Direct Preference Optimization (DPO) and prompt optimization (TextGrad), achieving higher accuracy than GPT-5 on a lightweight model. **Takeaway:** The concept of deriving a 'probabilistic guarantee' from latent embeddings to serve as a cheap proxy reward or filter is a concrete technique we should test in AlgoEvo to reduce expensive evaluations. However, be skeptical of the topline results as they rely on a simplistic 3-class classification task rather than complex reasoning.
Yunhao Yang et.al. Neurosymbolic Intelligence, The University of Texas at Austin, University of Colorado Boulder arXiv.org pdf / code
27/30 2026-01-29
NEMO: Execution-Aware Optimization Modeling via Autonomous Coding AgentsNEMO achieves SOTA on 8/9 optimization benchmarks by deploying autonomous coding agents that generate both a declarative optimizer (solver code) and an imperative simulator (verification code). The key innovation is using the simulator to validate the optimizer's results in a closed loop, detecting logical errors without ground truth—a technique that beats fine-tuned models like SIRL by up to 28%. The most stealable insight is this asymmetric validation: imperative Python simulation is often less error-prone than declarative constraint formulation, making it a robust 'critic' for generated solvers. This is immediately applicable to our OR-Bench and AlgoEvo projects for generating reliable reward signals.
Yang Song et.al. Carnegie Mellon University, C3 AI arXiv.org pdf / code
20/30 2026-01-28
DCP-Bench-Open: Evaluating LLMs for Constraint Modelling of Discrete Combinatorial ProblemsThis paper introduces DCP-Bench-Open, a benchmark of 164 discrete combinatorial problems, to evaluate LLMs on translating natural language into constraint models (CPMpy, MiniZinc, OR-Tools). The results are rigorous and highlight a critical failure mode: LLMs overfit to the specific data values in the prompt's example instance, causing a ~30% performance drop when evaluated on hidden instances (Multi-Instance Accuracy). Crucially for our pipeline design, they find that Retrieval-Augmented In-Context Learning (RAICL) is ineffective or harmful compared to simply including library documentation in the system prompt. We should adopt their 'Multi-Instance Accuracy' metric immediately for OR-Bench and switch any MiniZinc generation efforts to Python-based frameworks like CPMpy or OR-Tools, which LLMs handle much better.
Kostis Michailidis et.al. KU Leuven, University of Western Macedonia ECAI25) pdf / code
23/30 2026-01-25
Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-LoopSyntAGM is a framework for translating natural language into Algebraic Modeling Language (PyOPL) code using a 'compiler-in-the-loop' approach, where the LLM is constrained by an in-context BNF grammar and iteratively repairs code based on compiler diagnostics. They demonstrate that this approach matches the accuracy of expensive multi-agent systems (like Chain-of-Experts) while being significantly faster and cheaper. The immediate takeaways for us are the **StochasticOR benchmark** (which we should adopt for RobustMAS) and the technique of **injecting explicit BNF grammars** into prompts to enforce syntax in evolutionary search without fine-tuning. The 'literate modeling' approach—embedding reasoning as comments directly next to code constraints—is also a clever memory mechanism we could steal for AlgoEvo.
Roberto Rossi et.al. University of Edinburgh, University College Cork arXiv.org pdf / code
23/30 2026-01-17
Automated Optimization Modeling via a Localizable Error-Driven PerspectiveThis paper introduces MIND, a framework for automated optimization modeling that combines error-driven data synthesis with a novel post-training method called DFPO. Instead of standard RLVR which suffers from sparse rewards on hard problems, DFPO uses a teacher model to minimally correct the student's *failed* rollouts, converting them into on-policy(ish) positive samples for SFT/RL. Results show a 7B model outperforming GPT-4 on IndustryOR and OptMATH benchmarks. **Key Takeaway:** We should steal the DFPO mechanism for AlgoEvo: rather than wasting failed evolutionary samples, use a stronger model (or oracle) to fix the code and feed it back as a reward signal, drastically improving sample efficiency in our RL loops.
Weiting Liu et.al. Huawei Noah’s Ark Lab, Fudan University, University of Science and Technology of China arXiv.org pdf / code
21/30 2026-01-14
OptiMind: Teaching LLMs to Think Like Optimization ExpertsThe authors fine-tune a 20B model for MILP formulation, but the critical contribution is a rigorous audit of standard benchmarks (IndustryOR, OptMATH), revealing that 30-50% of instances are flawed (missing data, wrong ground truth, infeasible). They introduce a 'class-based error analysis' where the model classifies a problem (e.g., TSP) and retrieves specific, expert-written hints to avoid common pitfalls, boosting accuracy by ~20%. **Takeaway:** We must immediately replace our benchmark versions with their cleaned sets for the OR-Bench project. Additionally, their library of 'error hints' per problem class is a high-value artifact we can scrape and inject into AlgoEvo's prompt templates to improve initial population quality.
Xinzhi Zhang et.al. Microsoft Research, Stanford University, University of Washington arXiv.org pdf / code
21/30 2026-01-09
Global Optimization for Combinatorial Geometry Problems Revisited in the Era of LLMsBerthold et al. demonstrate that standard global NLP solvers (SCIP, Xpress) outperform DeepMind's AlphaEvolve on its own benchmarks (circle/hexagon packing, min-max distance) without any learning or evolution. The results are rigorous, improving on 'newly discovered' solutions within minutes using default solver settings. **CRITICAL TAKEAWAY:** We must validate our AlgoEvo results against classical global solvers to ensure we aren't claiming 'discovery' on problems that are trivial for SCIP; furthermore, it suggests a hybrid path where LLMs generate NLP models for solvers rather than evolving raw heuristic code. This is a necessary reality check for our benchmarking strategy.
Timo Berthold et.al. pdf / code
19/30 2025-12-21
Solver-Independent Automated Problem Formulation via LLMs for High-Cost Simulation-Driven DesignLi et al. propose APF, a framework to fine-tune LLMs for translating engineering requirements into optimization code without running expensive simulations during training. They generate synthetic training data and filter it by checking if the generated code ranks historical data instances similarly to how an LLM 'judge' ranks them based on the text requirements. Results show 7B models outperforming GPT-4o on antenna design tasks, validated by actual simulation. **Key Takeaway:** We can replace expensive ground-truth evaluations in our process reward models by checking consistency between generated code outputs and LLM-predicted rankings on cached historical data—a direct method to improve sample efficiency in AlgoEvo.
Yuchen Li et.al. Xidian University, Victoria University of Wellington, Westlake University arXiv.org pdf / code
18/30 2025-12-12
A-LAMP: Agentic LLM-Based Framework for Automated MDP Modeling and Policy GenerationA-LAMP decomposes the translation of natural language task descriptions into executable RL environments via a multi-agent pipeline, separating parameter extraction, variable definition, and constraint formulation before code generation. The results show that this structured approach allows a 27B model to rival GPT-4o on simple tasks, though the benchmarks (e.g., grid-world drone delivery, trivial wireless scheduling) are toy-scale and the RL application is sometimes forced. The primary takeaway is the specific decomposition schema for symbolic modeling: we should steal their granular extraction pipeline (Parameters -> Objectives -> Variables -> Constraints) to improve the reliability of our automated problem instantiation in OR-Bench and AlgoEvo without relying solely on expensive frontier models.
Hong Je-Gal et.al. Sejong University arXiv.org pdf / code
22/30 2025-11-20
An Agent-Based Framework for the Automatic Validation of Mathematical Optimization ModelsZadorojniy et al. introduce a multi-agent framework for validating LLM-generated optimization models by generating a test suite and verifying the suite's quality via mutation testing (ensuring tests detect deliberate errors injected into the model). On 100 NLP4LP instances, they achieve a 76% mutation kill ratio and successfully classify external models where simple objective value comparisons fail. The critical takeaway is the 'bootstrapped validation' workflow: using mutation analysis to validate the generated unit tests themselves before using them to score the model. We should steal this mutation-based verification loop to create a robust, ground-truth-free fitness signal for our evolutionary search and OR benchmarking pipelines.
Alexander Zadorojniy et.al. IBM Research arXiv.org pdf / code
25/30 2025-11-12
OR-R1: Automating Modeling and Solving of Operations Research Optimization Problem via Test-Time Reinforcement LearningOR-R1 introduces a data-efficient framework that fine-tunes Qwen3-8B using Supervised Fine-Tuning (SFT) followed by Test-Time Group Relative Policy Optimization (TGRPO) on unlabeled data. The results are empirically strong: it outperforms ORLM and LLMOPT while using only 1/10th of the synthetic training data, specifically narrowing the consistency gap between Pass@1 and Pass@8. The key takeaway for us is the effectiveness of GRPO (normalizing rewards within a sampled group to estimate baselines) combined with majority-voting rewards; this eliminates the need for a separate critic model while significantly improving code generation consistency. We should immediately evaluate GRPO as a lightweight alternative to PPO for the 'RL-infused' components of our evolutionary search methods.
Zezhen Ding et.al. The Hong Kong University of Science and Technology, Arizona State University, University of North Carolina at Chapel Hill AAAI pdf / code
23/30 2025-11-01
SOCRATES: Simulation Optimization with Correlated Replicas and Adaptive Trajectory EvaluationsSOCRATES introduces a two-stage framework: first constructing 'Operational AI Replicas' (surrogates) via LLM-guided causal discovery, then using an LLM to analyze optimization trajectories on these surrogates to schedule hybrid algorithms (e.g., running BO then switching to GA). While the benchmarks (inventory, queuing) are simple and the causal inference step seems fragile, the core innovation of **trajectory-based reasoning** is highly transferable. We can steal this mechanism for AlgoEvo: instead of blind evolution, our planner agent should consume the optimization trajectory to dynamically swap operators or restart populations when stagnation is detected, effectively using the LLM as a process reward model.
Haoting Zhang et.al. Columbia, UC Berkeley, Amazon arXiv.org pdf / code
25/30 2025-10-31
ORGEval: Graph-Theoretic Evaluation of LLMs in Optimization ModelingWang et al. propose ORGEval, a framework that evaluates LLM-generated optimization models by converting them into bipartite graphs and using the Weisfeiler-Lehman (WL) test to detect isomorphism with a ground truth, rather than solving the instances. They prove that for 'symmetric decomposable' graphs, this method is guaranteed to detect equivalence correctly, achieving 100% consistency and running in seconds compared to hours for solver-based checks on hard MIPLIB instances. The critical takeaway is the shift from execution-based to **structural evaluation**: we can validate model logic via graph topology ($O(k(m+n)^2)$) without incurring the cost of solving NP-hard problems. This is immediately actionable for our OR benchmarking pipelines and could serve as a rapid 'pre-solve' filter in our evolutionary search loops to reject structurally invalid candidates instantly.
Zhuohan Wang et.al. The Chinese University of Hong Kong, Shenzhen, Shenzhen Research Institute of Big Data, Shenzhen International Center for Industrial and Applied Mathematics, Shenzhen Loop Area Institute arXiv.org pdf / code
25/30 2025-10-21
AlphaOPT: Formulating Optimization Programs with Self-Improving LLM Experience LibraryAlphaOPT introduces a 'Library Evolution' mechanism that iteratively refines the *applicability conditions* of cached optimization insights based on solver feedback, allowing it to learn from answers alone (no gold programs). On OOD benchmarks like OptiBench, it beats fine-tuned models (ORLM) by ~13% and shows consistent scaling with data size. **Key Takeaway:** The specific mechanism of diagnosing 'unretrieved' vs. 'negative' tasks to rewrite retrieval triggers is a transferable technique for our AlgoEvo memory; it solves the problem of heuristic misapplication in long-term search. We should implement this 'condition refinement' loop immediately to improve our multi-agent memory systems.
Minwei Kong et.al. Massachusetts Institute of Technology, London School of Economics and Political Science, University of Florida, Northeastern University, Singapore Management University, Singapore-MIT Alliance for Research and Technology arXiv.org pdf / code
23/30 2025-10-19
SolverLLM: Leveraging Test-Time Scaling for Optimization Problem via LLM-Guided SearchSolverLLM frames optimization problem formulation as a hierarchical Monte Carlo Tree Search (MCTS), decomposing the task into six layers (variables, constraints, etc.) and using test-time compute to beat fine-tuned baselines like LLMOPT. The results appear robust, showing ~10% gains on complex datasets, though inference cost is high. **The critical takeaway for us is the 'Prompt Backpropagation' mechanism:** instead of just updating numerical values, they propagate textual error analysis from leaf nodes back up the tree to dynamically modify the prompts of parent nodes, effectively creating 'short-term memory' for the search. We should immediately test this technique in AlgoEvo to prevent the recurrence of failed code patterns during mutation steps. Additionally, their use of semantic entropy to down-weight uncertain rewards in MCTS is a practical solution to the noisy evaluation problem we face in process reward models.
Dong Li et.al. NEC Labs America, Baylor University, University of Texas at Dallas, Augusta University, Southern Illinois University arXiv.org pdf / code
22/30 2025-10-12
LinearizeLLM: An Agent-Based Framework for LLM-Driven Exact Linear Reformulation of Nonlinear Optimization ProblemsLinearizeLLM is a multi-agent framework that converts LaTeX nonlinear optimization problems into exact MILP formulations by detecting nonlinear terms and processing them bottom-up based on nesting depth. On 40 benchmark instances, it achieves 73% end-to-end success compared to <15% for one-shot LLMs and Pyomo baselines, demonstrating that structural decomposition is essential for handling complex nested terms. The key takeaway is the 'Structural Policy': rather than letting the LLM plan the reformulation order, they enforce a deterministic bottom-up traversal (linearizing children before parents). We should steal this hybrid approach—using deterministic graph traversal to orchestrate LLM manipulation steps—to improve reliability in our symbolic modeling and EvoCut pipelines.
Paul-Niklas Ken Kandora et.al. Karlsruhe Institute of Technology, Reutlingen University arXiv.org pdf / code
18/30 2025-10-08
FLEET: Formal Language-Grounded Scheduling for Heterogeneous Robot TeamsFLEET implements a hybrid pipeline where an LLM extracts a task dependency graph and a 'fitness matrix' (capability scores) from natural language, which then populate a standard MILP for multi-robot scheduling. Results on the PARTNR benchmark show it outperforms pure LLM planners (SMART-LLM) by ~7% on heterogeneous tasks, though overall gains are modest. The actionable takeaway is the **fitness matrix extraction**: using the LLM to generate dense cost coefficients ($c_{ij}$) for the optimization model rather than just binary constraints. We should adopt this technique for handling soft semantic preferences in our heterogeneous VRP formulations.
Corban Rivera et.al. JHU APL, JHU, DEVCOM ARL arXiv.org pdf / code
22/30 2025-10-07
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint ProgrammingConstraintLLM fine-tunes a 32B model for Constraint Programming (CP) modeling, utilizing a "Constraint-Aware Retrieval Module" (CARM) that retrieves few-shot examples based on extracted constraint signatures (e.g., `AllDifferent`, `Cumulative`) rather than text embeddings. They also employ a Tree-of-Thoughts search pruned by test case execution and an iterative self-correction mechanism that retrieves "correction paths" (error-to-fix trajectories). Results are strong: on their new industrial benchmark (IndusCP), they achieve ~51% accuracy with a 32B model, matching or beating GPT-4o and DeepSeek-V3. **Key Takeaway:** The shift from semantic retrieval to *structural* retrieval (matching constraint profiles) is the "stealable" insight; we should implement this for our OR modeling tasks immediately, ignoring surface-level problem descriptions in favor of logical signatures. This directly impacts our OR-Bench and automated formulation work.
Weichun Shi et.al. University of Oxford, University of Chinese Academy of Sciences, Hangzhou Institute for Advanced Study, ISCAS, University of Science and Technology Beijing Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, pages 15999-16019 pdf / code
25/30 2025-10-05
CALM Before the STORM: Unlocking Native Reasoning for Optimization ModelingTang et al. propose CALM, a framework that uses an expert 'Intervener' model to inject corrective hints into a small LRM's reasoning trace (e.g., forcing it to use Python instead of manual calculation), followed by SFT and RL (GRPO). Results are strong and verified: a 4B model matches DeepSeek-R1 (671B) on OR benchmarks, specifically fixing the 'Code Utilization Distrust' we see in our own agents. The key takeaway is the 'Intervener' loop: instead of discarding failed traces, they repair them with hints to create a 'golden' reasoning dataset that preserves the 'thinking' process while enforcing tool use. This is a direct, actionable method for improving our AlgoEvo agents' reliability in generating executable heuristics without massive human annotation.
Zhengyang Tang et.al. Qwen Team, Alibaba Inc., The Chinese University of Hong Kong, Shenzhen, Southern University of Science and Technology, Shanghai University of Finance and Economics, Shenzhen Loop Area Institute (SLAI) arXiv.org pdf / code
20/30 2025-10-03
Automated Constraint Specification for Job Scheduling by Regulating Generative Model with Domain-Specific RepresentationThis paper proposes a constraint-centric architecture that translates natural language manufacturing descriptions into Job Shop Scheduling (JSP) constraints by mediating through a learned Domain-Specific Language (DSL). Unlike standard prompting, they implement an automated DSL adaptation algorithm using non-parametric modeling (DPMM) and Expectation-Maximization to learn the syntax and semantics of the intermediate representation from data, which is then verified via a Pushdown Automaton. While the experiments rely on synthetic data augmented from standard benchmarks (a weakness), the methodology for **automatically deriving the intermediate representation** rather than hand-coding it is a transferable insight. We could steal this 'automated DSL design' approach to dynamically construct search spaces for AlgoEvo or to improve the robustness of NL-to-OR translation in OR-Bench.
Yu-Zhe Shi et.al. Peking University, The Hong Kong University of Science and Technology, Huazhong University of Science and Technology, University of Science and Technology of China IEEE Transactions on Automation Science and Engineering pdf / code
26/30 2025-10-01
StepORLM: A Self-Evolving Framework With Generative Process Supervision For Operations Research Language ModelsZhou et al. propose StepORLM, a framework where an 8B policy and a **Generative Process Reward Model (GenPRM)** co-evolve. Unlike standard discriminative PRMs that score steps in isolation, their GenPRM generates a reasoning trace to evaluate the full trajectory's logic before assigning credit, addressing the interdependency of OR constraints. They align the policy using **Weighted DPO**, where preference weights are derived from the GenPRM's process scores. They claim to beat GPT-4o and DeepSeek-V3 on 6 OR benchmarks (e.g., NL4Opt, MAMO) with an 8B model. **Key Takeaway:** We should test **Generative PRMs** immediately for AlgoEvo; asking the critic to 'explain then score' (generative) rather than just 'score' (discriminative) likely fixes the credit assignment noise in our long-horizon search.
Chenyu Zhou et.al. Shanghai Jiao Tong University arXiv.org pdf / code
19/30 2025-09-29
FMIP: Joint Continuous-Integer Flow For Mixed-Integer Linear ProgrammingFMIP introduces a flow matching framework that jointly generates integer and continuous variables for MILP, utilizing a tripartite graph and inference-time guidance. Empirical results on MIPLIB and other benchmarks show a ~40% reduction in primal gap compared to integer-only neural baselines (DIFUSCO), though it remains a heuristic warm-start for solvers. The most valuable takeaway is the **hybrid guidance mechanism** (Eq. 6 & 7): it combines gradient descent for continuous variables with a sampling-and-reweighting scheme for discrete variables based on constraint violations. We should consider stealing this reweighting logic for guiding hybrid evolutionary operators or multi-agent action spaces where gradients are available for only part of the state.
Hongpei Li et.al. Stanford University, Princeton University, National University of Singapore, Shanghai Jiao Tong University, Shanghai University of Finance and Economics the International Conference on Learning Representations (ICLR) pdf / code
21/30 2025-09-28
SAC-Opt: Semantic Anchors for Iterative Correction in Optimization ModelingSAC-Opt introduces a verification loop where generated Gurobi code is back-translated into natural language ('semantic anchors') to check for alignment with the original problem description. Empirical results are strong, demonstrating a ~22% accuracy improvement on the ComplexLP dataset over OptiMUS-0.3 by catching logic errors that solver feedback misses. The primary takeaway is the utility of granular, constraint-level back-translation as a process reward signal, which we should adopt to improve the reliability of our automated modeling agents.
Yansen Zhang et.al. Huawei Noah’s Ark Lab, Huawei’s Supply Chain Management Department, City University of Hong Kong ICML pdf / code
21/30 2025-09-24
DAOpt: Modeling and Evaluation of Data-Driven Optimization under Uncertainty with LLMsZhu et al. propose DAOpt, a framework for modeling optimization under uncertainty that integrates LLMs with the RSOME library to handle robust and stochastic formulations. Their experiments on a new dataset (OptU) convincingly demonstrate that standard LLM-generated deterministic models suffer from the 'optimizer's curse,' achieving only ~27% out-of-sample feasibility, whereas their robust approach achieves >70%. The critical takeaway for us is to **stop asking LLMs to derive mathematical duals or robust counterparts**; instead, we should train them to use high-level DSLs (like RSOME) that handle the duality internally. This is an immediate action item for our RobustMAS project to ensure generated solutions are actually executable in stochastic environments.
WenZhuo Zhu et.al. Zhejiang University, University of Toronto, Peking University arXiv.org pdf / code
19/30 2025-09-10
Gala: Global LLM Agents for Text-to-Model TranslationGALA decomposes text-to-MiniZinc translation into a multi-agent system where specialized agents detect specific Constraint Programming global constraints (e.g., all_different, cumulative) before an assembler unifies them. Results on 110 TEXT2ZINC instances show a modest improvement over CoT (57% vs 52% execution rate with o3-mini), though the sample size is small and lacks statistical rigor. The key takeaway is the architectural shift from generic 'coder/reviewer' roles to 'primitive-specific' agents, which aligns LLM reasoning with the target formalism's structure. We should test this 'primitive-based decomposition' in our OR-Bench pipeline to see if it reduces hallucination of complex constraints better than our current methods.
Junyang Cai et.al. University of Southern California, Brown University, Fidelity Investments pdf / code
22/30 2025-08-20
Adaptively Robust LLM Inference Optimization under Prediction UncertaintyChen et al. propose $A_{min}$, an online scheduling algorithm for LLM inference that handles unknown output lengths by optimistically assuming the lower bound and evicting jobs (based on accumulated length) if memory overflows. They prove a logarithmic competitive ratio and show via simulations on LMSYS-Chat-1M that this approach nearly matches hindsight-optimal scheduling, vastly outperforming conservative upper-bound baselines. **Key Takeaway:** For our **GPUSched** project, we should abandon conservative memory reservation for output tokens; instead, implement an optimistic scheduler that oversubscribes memory and handles overflows via their ordered eviction policy, as the cost of restart is theoretically bounded and empirically negligible compared to the throughput gains.
Zixi Chen et.al. Stanford University, Peking University, HKUST arXiv.org pdf / code
28/30 2025-08-16
EvoCut: Strengthening Integer Programs via Evolution-Guided Language ModelsYazdani et al. introduce EvoCut, an evolutionary framework where LLMs generate Python code for MILP cuts, filtered by a 'usefulness check' (does it cut the current LP relaxation?) and an 'empirical validity check' (does it preserve known integer optima?). They report 17-57% gap reductions on TSPLIB and JSSP compared to Gurobi defaults, backed by strong ablation studies on the evolutionary operators. **Key Takeaway:** The reliance on 'acceleration cuts'—constraints verified empirically on small datasets rather than formally proven—bypasses the bottleneck of automated theorem proving while still delivering valid speedups. We should immediately adopt their 'LP separation' check as a cheap, high-signal reward for our own evolutionary search loops.
M. Yazdani et.al. Huawei Technologies Canada, University of British Columbia, University of Toronto arXiv.org pdf / code
21/30 2025-08-10
CP-Agent: Agentic Constraint ProgrammingSzeider implements a standard ReAct agent with a persistent IPython kernel to iteratively generate and refine CPMpy models, claiming 100% accuracy on CP-Bench. However, this perfect score is achieved on a *modified* version of the benchmark where the author manually fixed 31 ambiguous problem statements and 19 ground-truth errors—making the '100%' result an artifact of dataset cleaning rather than pure model capability. The most actionable takeaways are the negative result for explicit 'task management' tools (which hurt performance on hard problems) and the effectiveness of a minimal (<50 lines) domain prompt over complex scaffolding. We should review their clarified benchmark for our OR-Bench work.
Stefan Szeider et.al. TU Wien arXiv.org pdf / code
20/30 2025-08-05
Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data GenerationLima et al. introduce a pipeline to generate synthetic optimization datasets by starting with symbolic MILP instances (ground truth) and using LLMs to generate natural language descriptions, ensuring full verifiability. They fine-tune a small model (Granite 8B) that beats GPT-4 on 6/7 benchmarks, largely due to a 'majority vote' mechanism where the agent generates code in 5 different modeling languages (Pyomo, Gurobi, etc.) and checks for result consistency. **Takeaway:** We should steal the multi-language execution voting to boost robustness in our code generation agents. Furthermore, their reverse-generation (Symbolic $\to$ NL) strategy is the correct approach for generating infinite, error-free test cases for our OR-Bench work.
Vinicius Lima et.al. IBM Research AI arXiv.org pdf / code
20/30 2025-07-20
LLM-Enhanced Multi-Agent Reinforcement Learning with Expert Workflow for Real-Time P2P Energy TradingThis paper proposes a neurosymbolic MARL framework for P2P energy trading where LLMs generate CVXPY optimization models to act as 'experts' for RL agents to imitate via Wasserstein distance. They introduce a 'Differential Attention' mechanism in the critic that subtracts attention maps to filter noise, enabling scalability to 100 agents where standard baselines fail. **Takeaway:** We should steal the Differential Attention architecture for our multi-agent critics to handle irrelevant interactions in large-scale optimization. The workflow of using LLMs to write the *solver* (generating reliable synthetic data) rather than the *solution* is a transferable strategy for bootstrapping RL in our OR domains.
C. Lou et.al. China Agricultural University, University of Glasgow, Guangdong University of Foreign Studies arXiv.org pdf / code
23/30 2025-07-15
Auto-Formulating Dynamic Programming Problems with Large Language ModelsZhou et al. introduce DPLM, a 7B model fine-tuned to formulate Dynamic Programming models, achieving performance comparable to o1 on their new DP-Bench. Their key contribution is 'DualReflect,' a synthetic data pipeline that combines Forward Generation (Problem→Code) for diversity with Backward Generation (Code→Problem) for correctness. **Takeaway:** We should steal the Backward Generation approach for AlgoEvo: instead of relying on noisy forward generation, we can take valid heuristics/OR code (which we have in abundance) and reverse-engineer problem descriptions to create massive, verifiable synthetic datasets for fine-tuning our code generation models. The paper proves this method is superior for 'cold-starting' small models in data-scarce domains.
Chenyu Zhou et.al. University of Chicago, Cornell University, Shanghai Jiao Tong University, Shanghai University of Finance and Economics, Cardinal Operations arXiv.org pdf / code
25/30 2025-07-13
Fine-tuning Large Language Model for Automated Algorithm DesignLiu et al. introduce a fine-tuning pipeline for LLMs in automated algorithm design, utilizing a 'Diversity-Aware Rank-based' sampling strategy to construct DPO preference pairs from evolutionary search histories. By partitioning the population into ranked subsets and sampling pairs with a guaranteed quality gap (skipping adjacent tiers), they ensure training signals are both clear and diverse. Empirically, they show that a fine-tuned Llama-3.2-1B matches the performance of a base Llama-3.1-8B on ASP and CVRP tasks, effectively compressing the search capability into a much cheaper model. We should implement this sampling strategy to recycle our AlgoEvo run logs into specialized 'mutator' models, potentially allowing us to downscale to 1B/3B models for the inner search loop without losing quality.
Fei Liu et.al. City University of Hong Kong arXiv.org pdf / code
20/30 2025-06-09
REMoH: A Reflective Evolution of Multi-objective Heuristics approach via Large Language ModelsForniés-Tabuenca et al. propose REMoH, an LLM-driven evolutionary framework for multi-objective FJSSP that uses K-Means to cluster the population by objective performance before generating reflections. While their optimality gaps (~12%) trail behind state-of-the-art CP solvers (~1.5%), the ablation study confirms that their reflection mechanism significantly improves Pareto front diversity (Hypervolume). **The killer feature is the phenotypic clustering step:** instead of reflecting on a random or elitist subset, they group solutions by trade-offs (e.g., 'low makespan' vs 'balanced') to generate targeted prompts. We should implement this clustering-based context construction in AlgoEvo to improve diversity maintenance in multi-objective search without exploding token costs.
Diego Forni'es-Tabuenca et.al. Vicomtech Foundation, University of the Basque Country, Universidad EAFIT, HiTZ Basque Center for Language Technology arXiv.org pdf / code
21/30 2025-06-09
HeuriGym: An Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial OptimizationThe authors introduce HeuriGym, a benchmark suite of 9 hard combinatorial optimization problems (including PDPTW, EDA scheduling, and routing) coupled with an agentic evaluation loop. Results are backed by extensive experiments showing that SOTA LLMs saturate at ~60% of expert performance and, significantly, that existing evolutionary frameworks (ReEvo, EoH) perform *worse* than simple prompting on these large-context tasks (300+ lines of code). The key takeaway is the failure mode of current evolutionary methods: they cannot handle the context fragmentation and feedback integration required for complex heuristic design. We should immediately adopt this benchmark to demonstrate AlgoEvo's superiority, as the current baselines are weak and the problem set aligns perfectly with our focus.
Hongzheng Chen et.al. Cornell University, Harvard University, NVIDIA arXiv.org pdf / code
25/30 2025-06-05
Autoformulation of Mathematical Optimization Models Using LLMsAstorga et al. frame optimization modeling as a hierarchical Monte-Carlo Tree Search (MCTS) problem, using LLMs to generate components and—crucially—employing SMT solvers to prune mathematically equivalent branches (e.g., recognizing `x+y` and `y+x` as identical). They achieve SOTA results on NL4OPT and IndustryOR, outperforming fine-tuned models like ORLM while using significantly fewer samples than naive approaches. **Key Takeaway:** The integration of symbolic equivalence checking (SMT) to prune the search tree is a technique we should immediately steal; implementing this in AlgoEvo would allow us to discard functionally identical code/math mutants before expensive evaluation, directly addressing our sample efficiency bottleneck.
Nicolás Astorga et.al. University of Cambridge, University of Hawaii at Manoa ICML pdf / code
18/30 2025-05-27
DualSchool: How Reliable are LLMs for Optimization Education?This paper evaluates LLMs on Primal-to-Dual Conversion (P2DC), introducing a 'Canonical Graph Edit Distance' (CGED) to verify structural correctness while ignoring benign differences like variable ordering or slack conventions. Results show that even strong LLMs often fail (<50% accuracy) and, crucially, that standard execution-based evaluation (checking objective values) produces frequent false positives by missing errors in redundant constraints. The primary takeaway for us is the CGED methodology: a robust way to score symbolic OR model generation that captures structural validity better than execution alone, which we could steal for our benchmarking and evolutionary search fitness functions.
Michael Klamkin et.al. Georgia Institute of Technology arXiv.org pdf / code
26/30 2025-05-17
Solver-Informed RL: Grounding Large Language Models for Authentic Optimization ModelingChen et al. introduce SIRL, a framework for training LLMs to generate optimization models using Reinforcement Learning with Verifiable Rewards (RLVR) and a novel 'Partial KL' surrogate objective. By removing the KL penalty from the reasoning (CoT) section while retaining it for the code generation section, they balance exploration with syntactic stability, achieving SOTA on OptMATH and IndustryOR against OpenAI-o3 and DeepSeek-R1. The critical takeaway for us is the Partial KL strategy: it allows the model to 'think' freely outside the reference distribution while adhering to strict coding standards—a technique we should immediately test in AlgoEvo. Furthermore, their method of parsing .lp files to extract structural features (variable counts, constraint types) for 'instance-enhanced self-consistency' provides a much richer signal than our current binary success/failure metrics.
Yitian Chen et.al. Stanford University, Shanghai Jiao Tong University, The University of Hong Kong, Shanghai University of Finance and Economics, Cardinal Operations arXiv.org pdf / code
25/30 2025-05-15
Learning Virtual Machine Scheduling in Cloud Computing through Language AgentsWu et al. introduce MiCo, a hierarchical framework that uses LLMs to evolve both a library of scenario-specific scheduling heuristics ('Options') and a master policy ('Composer') that dynamically switches between them based on system state. Tested on large-scale Huawei/Azure VM traces, it achieves a 96.9% competitive ratio against Gurobi, significantly outperforming Deep RL (SchedRL) by ~11% in dynamic scenarios. **Key Insight:** Instead of evolving a single robust heuristic (which often fails in non-stationary environments), explicitly evolve a *portfolio* of specialized heuristics and a separate *selector* function. This SMDP-based decomposition is a concrete architectural pattern we should adopt in AlgoEvo to handle diverse problem instances and non-stationary distributions effectively.
Jiehao Wu et.al. Shanghai Jiao Tong University, East China Normal University, Tongji University arXiv.org pdf / code
20/30 2025-05-10
RideAgent: An LLM-Enhanced Optimization Framework for Automated Taxi Fleet OperationsRideAgent employs an LLM to analyze a small set of historical optimal solutions, identifying and fixing 'low-sensitivity' decision variables to shrink the MIP search space before handing it to Gurobi. The results are empirically solid, showing a ~50% time reduction with <2.5% optimality gap, outperforming standard cutting plane baselines on NYC taxi data. **Key Takeaway:** We should adapt their 'Small-Sample Guided Optimization' strategy—specifically using LLMs to infer *variable fixing constraints* from elite archive solutions—to accelerate the inner solvers in our AlgoEvo and EvoCut pipelines. This offers a concrete, data-driven way to prune search spaces that complements our current evolutionary approaches.
Xinyu Jiang et.al. Tsinghua University, McGill University, George Washington University, JD Intelligent Cities Research, Beijing Technology and Business University IEEE Transactions on Automation Science and Engineering pdf / code
20/30 2025-05-07
Optimization Problem Solving Can Transition to Evolutionary Agentic WorkflowsLi et al. propose an 'Evolutionary Agentic Workflow' that combines LLMs (DeepSeek) with evolutionary search to automate algorithm design, demonstrating it on VM scheduling and ADMM parameter tuning. The empirical rigor is low; they compare against weak baselines (BestFit for bin packing, a 2000-era heuristic for ADMM) and frame it as a position paper. However, the application of LLM-evolution to discover symbolic mathematical update rules (for ADMM step sizes) rather than just procedural code is a concrete use case we should consider for our EvoCut work. This serves primarily as competitor intelligence—validating our AlgoEvo direction—rather than a source of novel methodology.
Wenhao Li et.al. University of Minnesota, Tongji University, East China Normal University arXiv.org pdf / code
18/30 2025-05-02
CHORUS: Zero-shot Hierarchical Retrieval and Orchestration for Generating Linear Programming CodeCHORUS introduces a RAG framework for generating Gurobi code that replaces standard code retrieval with a metadata-based approach, indexing code examples by generated keywords and summaries rather than raw syntax. On the NL4Opt-Code benchmark, this allows open-source models like Llama-3-70B to match GPT-4 performance (improving accuracy from ~23% to ~57%). The key takeaway for us is the effectiveness of 'metadata-augmented indexing'—bridging the semantic gap between natural language problem descriptions and rigid solver APIs by retrieving based on functional descriptions rather than code embeddings. We should apply this metadata indexing strategy to the code retrieval modules in our OR-Bench and AlgoEvo agents.
Tasnim Ahmed et.al. Queen's University Learning and Intelligent Optimization pdf / code
22/30 2025-04-23
OptimAI: Optimization from Natural Language Using LLM-Powered AI AgentsOptimAI introduces a multi-agent framework for translating natural language to optimization models, featuring a 'plan-before-code' stage and a novel **UCB-based debug scheduler**. Instead of linearly debugging a single solution, it treats debugging as a multi-armed bandit problem, dynamically allocating compute to different solution strategies based on a 'Decider' score and exploration term. While the combinatorial results (TSP a280) are trivial, the bandit mechanism is a highly effective heuristic for search control. We should steal this UCB scheduling logic for AlgoEvo to prevent agents from wasting tokens debugging fundamentally flawed heuristics.
Raghav Thind et.al. University of Maryland at College Park arXiv.org pdf / code
20/30 2025-04-06
CO-Bench: Benchmarking Language Model Agents in Algorithm Search for Combinatorial OptimizationSun et al. introduce CO-Bench, a suite of 36 diverse combinatorial optimization problems (packing, scheduling, routing) designed specifically to benchmark LLM agents in generating algorithms (code), not just solutions. They evaluate 9 frameworks (including FunSearch, ReEvo, AIDE), finding that FunSearch combined with reasoning models (o3-mini) yields the most robust performance, though agents still struggle significantly with strict feasibility constraints (valid solution rates often <60%). **Takeaway:** We should immediately integrate CO-Bench into our pipeline to benchmark AlgoEvo against ReEvo and FunSearch; this saves us months of data curation and provides a standardized metric to prove our method's superiority.
Weiwei Sun et.al. Carnegie Mellon University arXiv.org pdf / code
19/30 2025-04-04
ORLM: A Customizable Framework in Training Large Models for Automated Optimization ModelingThe authors propose OR-Instruct, a framework that uses GPT-4 to synthesize over 32k optimization modeling pairs (natural language to COPT code) to fine-tune 7B-scale models (ORLM). They demonstrate that these fine-tuned models outperform GPT-4 on their new 'IndustryOR' benchmark, a result that appears robust given the specialized nature of the task. The most valuable takeaway is their specific data augmentation strategy—iteratively altering constraints and injecting specific modeling techniques (e.g., Big M)—which provides a concrete recipe we can steal to generate diverse instances for our OR-Bench project. While the methodology is standard instruction tuning, the resulting artifacts (benchmark and model) establish a new baseline for automated OR modeling that we cannot ignore.
Chenyu Huang et.al. Columbia University, Duke University, Shanghai Jiao Tong University, The Chinese University of Hong Kong, Shenzhen, Shenzhen Research Institute of Big Data, Shanghai University of Finance and Economics, Cardinal Operations Operations Research (2025), published online ahead of print pdf / code
15/30 2025-02-22
Text2Zinc: A Cross-Domain Dataset for Modeling Optimization and Satisfaction Problems in MiniZincSingirikonda et al. introduce TEXT2ZINC, a dataset of 110 Natural Language-to-MiniZinc problems, and benchmark GPT-4 using Vanilla, CoT, and Compositional prompting. Their results are poor (max ~25% solution accuracy), confirming that off-the-shelf LLMs struggle significantly with MiniZinc syntax and logical translation. Crucially, they attempt using Knowledge Graphs as an intermediate representation, but report that it actually *reduced* solution accuracy compared to basic CoT—a valuable negative result for our symbolic modeling work. We should examine their dataset for inclusion in OR-Bench, but their prompting methods are rudimentary baselines we should easily outperform.
Akash Singirikonda et.al. Brown University, Fidelity Investments arXiv.org pdf / code
23/30 2025-02-20
EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization FormulationsZhai et al. propose EquivaMap, a framework that evaluates whether two MILP formulations are equivalent by using an LLM to discover a linear mapping between their decision variables, which is then rigorously verified by a solver. Unlike 'execution accuracy' (which fails on unit scaling) or 'canonical accuracy' (which fails on variable permutation), they achieve 100% accuracy on a new dataset of equivalent formulations including cuts and slack variables. The core insight is replacing output comparison with a 'propose-mapping-and-verify' loop, effectively using the LLM to construct a proof of equivalence. We must adopt this methodology for the OR-Bench evaluation pipeline immediately, as it eliminates the false negatives currently plaguing our generation benchmarks.
Haotian Zhai et.al. Stanford University, The University of Texas at Austin International Conference on Machine Learning pdf / code
24/30 2025-02-16
OptMATH: A Scalable Bidirectional Data Synthesis Framework for Optimization ModelingThe authors introduce OptMATH, a framework for generating synthetic optimization datasets by creating mathematical instances from seed generators, back-translating them to natural language via LLMs, and validating the pairs using a solver-based rejection sampling loop (checking if the re-generated model yields the same optimal value). They demonstrate that a Qwen-32B model fine-tuned on this data beats GPT-4 on NL4Opt and MAMO benchmarks. The critical takeaway is the **solver-verified reverse generation pipeline**: we should immediately steal this workflow to populate OR-Bench and generate diverse, verified training environments for AlgoEvo, replacing manual curation with scalable synthesis.
Hongliang Lu et.al. Peking University International Conference on Machine Learning pdf / code
18/30 2025-01-16
MoE2: Optimizing Collaborative Inference for Edge Large Language ModelsJin et al. introduce MoE2, a collaborative inference framework that uses discrete monotonic optimization to route queries to heterogeneous edge LLMs under latency and energy constraints. The results are backed by physical hardware experiments on NVIDIA Jetson and RTX 4090 devices, demonstrating up to 14.4% accuracy improvements on MMLU over single-agent baselines while respecting strict energy and delay budgets. The key insight is a theoretical proof showing that optimal gating parameters for a full set of LLM experts are preserved for any subset, allowing the decoupling of gating network training from the combinatorial expert selection process. While this is a competent application of operations research to LLM serving optimization, it is a lower priority read as it does not advance our primary focus on LLM evolutionary search or multi-agent optimization.
Lyudong Jin et.al. Zhejiang University, University of Illinois at Urbana–Champaign Institute, Zhejiang Key Laboratory of Medical Imaging Artificial Intelligence IEEE Transactions on Networking pdf / code
22/30 2024-11-26
BPP-Search: Enhancing Tree of Thought Reasoning for Mathematical Modeling Problem SolvingWang et al. propose BPP-Search, combining Beam Search, a Process Reward Model (PRM), and a final Pairwise Preference Model to generate LP/MIP models from natural language. While their new 'StructuredOR' dataset is small (38 test instances), it uniquely provides intermediate modeling labels (sets, parameters, variables) essential for training PRMs in this domain. The key takeaway is their finding that PRMs are effective for pruning but imprecise for final ranking; they solve this by adding a pairwise preference model at the leaf layer—a technique we should immediately steal to improve selection robustness in our MASPRM and evolutionary search pipelines. This is a competent execution of 'LLM + Search' applied specifically to our OR niche.
Teng Wang et.al. Huawei, The University of Hong Kong Annual Meeting of the Association for Computational Linguistics pdf / code
22/30 2024-10-29
Generalists vs. Specialists: Evaluating LLMs on Highly-Constrained Biophysical Sequence Optimization TasksThe authors propose LLOME, a bilevel optimization framework that fine-tunes an LLM using 'MargE' (Margin-Aligned Expectation), a loss function that weights gradient updates by the magnitude of reward improvement (margin) rather than simple preference rankings. Results are rigorous and demonstrate that while DPO leads to generator collapse and infeasibility in constrained spaces, MargE maintains diversity and significantly improves sample efficiency, matching specialized solvers like LaMBO-2 on medium-difficulty tasks. The critical takeaway is that standard alignment methods (DPO/RLHF) are ill-suited for optimization because they discard information about *how much* better a solution is; MargE fixes this by satisfying the Strong Interpolation Criteria. We should immediately evaluate replacing the RL/update component in AlgoEvo with the MargE objective to improve the stability and quality of our evolved heuristics.
Angelica Chen et.al. Genentech, New York University International Conference on Machine Learning pdf / code
18/30 2024-10-17
LLMOPT: Learning to Define and Solve General Optimization Problems from ScratchThe authors fine-tune Qwen1.5-14B to translate natural language optimization problems into Pyomo code via a structured 'five-element' intermediate representation (Sets, Parameters, Variables, Objective, Constraints) and KTO alignment. They achieve ~11% accuracy gains over GPT-4o and ORLM on benchmarks like NL4Opt and IndustryOR, primarily by reducing formulation hallucinations through the structured intermediate step and preference optimization. For our OR-Bench work, the key takeaway is the concrete recipe for using KTO to align symbolic modeling agents, which appears more effective than standard SFT for enforcing constraints in smaller models. While not an evolutionary search paper, it provides a strong, locally runnable baseline for our OR modeling evaluations.
Caigao Jiang et.al. Ant Group, East China Normal University, Nanjing University International Conference on Learning Representations pdf / code
20/30 2024-08-01
A Survey of Optimization Modeling Meets LLMs: Progress and Future DirectionsThis survey and empirical audit reveals that standard optimization modeling benchmarks (NL4Opt, IndustryOR) suffer from critical error rates ranging from 16% to 54%, rendering prior leaderboards unreliable. The authors manually cleaned these datasets and re-evaluated methods, finding that Chain-of-Thought (CoT) often degrades performance compared to standard prompting, while fine-tuned models (ORLM) and multi-agent systems (Chain-of-Experts) perform best. The immediate takeaway is that we must adopt their cleaned datasets for our OR-Bench project; using the original open-source versions is no longer defensible. Additionally, the failure of CoT on these tasks suggests we should prioritize multi-agent or fine-tuned approaches for symbolic formulation tasks.
Ziyang Xiao et.al. Zhejiang University, Huawei Noah’s Ark Lab, Singapore University of Social Sciences, Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security International Joint Conference on Artificial Intelligence pdf / code
23/30 2024-07-29
OptiMUS-0.3: Using Large Language Models to Model and Solve Optimization Problems at ScaleOptiMUS-0.3 is a modular multi-agent system that translates natural language into Gurobi code, utilizing a 'connection graph' to manage variable-constraint relationships in long contexts and specialized agents to detect solver-specific structures (SOS, indicators) or implement sifting. The results are rigorous, introducing a new hard benchmark (NLP4LP) where they outperform GPT-4o by ~40% and beat Chain-of-Experts. The most stealable insight is the 'Structure Detection Agent': instead of relying on the LLM to write generic constraints, we should explicitly prompt for and map high-level structures to efficient solver APIs (like SOS constraints) to improve performance in our EvoCut and AlgoEvo pipelines. This is a necessary read for the OR-Bench team.
Ali AhmadiTeshnizi et.al. arXiv.org pdf / code
22/30 2024-07-13
OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization ModelingThe authors propose OptiBench, a benchmark of 605 optimization problems (linear/nonlinear, tabular/text), and ReSocratic, a data synthesis method that generates formal models first and back-translates them into natural language questions. Results are strong: fine-tuning Llama-3-8B on their 29k synthetic samples improves accuracy from 13.6% to 51.1%, validating the data quality. **Key Takeaway:** The 'Reverse Socratic' synthesis pipeline (Formal Model → Code → NL Question) is the superior strategy for generating synthetic OR datasets because it guarantees solvability and ground truth by construction, unlike forward generation. We should steal this pipeline for generating robust test instances for OR-Bench and potentially for training our OR agents.
Zhicheng YANG et.al. The Hong Kong University of Science and Technology, ETH Zurich, Huawei Noah’s Ark Lab, City University of Hong Kong, Sun Yat-sen University, MBZUAI, University of California Merced, Chongqing University International Conference on Learning Representations pdf / code
23/30 2024-03-02
LLaMoCo: Instruction Tuning of Large Language Models for Optimization Code GenerationLLaMoCo fine-tunes small LLMs (down to 350M) to generate executable Python optimization code by training on a synthetic dataset where the 'ground truth' is the empirically best-performing solver identified via exhaustive benchmarking. The results are compelling: the fine-tuned 350M model achieves ~85% normalized performance on benchmarks where GPT-4 Turbo only reaches ~14-30%, largely because the small model learns to select specialized evolutionary strategies (like BIPOP-CMA-ES) while GPT-4 defaults to generic gradient-based solvers. **Key Takeaway:** We can replace the expensive GPT-4 calls in our evolutionary search loop with a specialized, fine-tuned local model (CodeLlama-7B) trained on our historical search successes, significantly improving both sample efficiency and scalability. The paper's 'contrastive warm-up' strategy for aligning diverse problem descriptions is also a transferable technique for our problem encoding work.
Zeyuan Ma et.al. Singapore Management University, Nanyang Technological University, South China University of Technology IEEE Transactions on Evolutionary Computation pdf / code
23/30 2024-02-15
OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language ModelsOptiMUS is a multi-agent framework for translating natural language into Gurobi code, achieving SOTA performance by using a 'Connection Graph' to map variables and parameters to specific constraints. This graph allows the agents to dynamically filter context and construct minimal prompts, enabling success on problems with long descriptions where baselines like Chain-of-Experts fail. They release NLP4LP, a hard benchmark of 67 complex instances, which we must immediately compare against our OR-Bench efforts. The **Connection Graph** is the key stealable insight: a structured dependency tracking mechanism that solves context pollution in iterative code generation, directly applicable to our AlgoEvo and HERMES memory designs.
Ali AhmadiTeshnizi et.al. Stanford University International Conference on Machine Learning pdf / code

OR for Generative AI

🆕 Most Recent

Date Title Authors Affiliation Links
2026-09-03
Atlas: Optimizing Deployment of Compound AI Workflows on Heterogeneous ClustersAtlas optimizes the deployment of compound AI workflows (e.g., RAG, routing, loops) on heterogeneous clusters by using a Mixed-Integer Linear Program (MILP) to select model variants and hardware placements under latency and cost SLOs. The results are backed by strong empirical evidence, showing that their Markovian Accuracy Predictor (MAP) achieves up to 0.947 Spearman correlation with oracle accuracy while reducing profiling costs by 2.6x, allowing the MILP to find plans within 0.03 of oracle accuracy. The key insight is the MAP formulation itself, which models intermediate output quality as a discrete Markov chain between adjacent stages, enabling accurate end-to-end pipeline evaluation without combinatorial exhaustive profiling. This is highly relevant for research in OR formulations for LLM serving scheduling, providing a concrete mathematical framework for optimizing multi-stage LLM systems that could also be adapted for multi-agent coordination pipelines.
Milos Gravara et.al. TU Wien pdf / code
2026-09-03
Latency-Aware Orchestration for Multi-Agent LLM Workflows on Heterogeneous GPUsWang et al. propose a prediction-guided runtime that optimizes the physical execution graph of multi-agent LLM workflows on heterogeneous GPUs by jointly scheduling model lifecycles, placement, and execution order. Backed by strong empirical numbers, the system reduces end-to-end makespan by up to 36.8 percent and saves roughly 24 GPU-seconds per session compared to state-of-the-art schedulers like Parrot and Kairos. The key insight is the separation of logical workflow semantics from physical execution, allowing the scheduler to fuse consecutive same-deployment activations and share model-loading actions across isolated workflows to minimize idle residency and repeated admission overhead. This is highly relevant to our research in OR methods for AI infrastructure and LLM serving scheduling, providing concrete system-level optimizations that we should attempt to capture in our mathematical scheduling formulations.
Jinghao Wang et.al. Beihang University, University of Leeds pdf / code
2026-09-01
hLLM: Single Pass Decoding for Generative RerankingHLLM replaces the sequential autoregressive decoding of generative rankers with a single forward pass, using a lightweight self-attention head and the Hungarian algorithm to decode the optimal permutation directly from the LLM's prefill hidden states. The results are strongly backed by empirical numbers, demonstrating a 64x speedup (down to 28ms latency) on a proprietary dataset and a 45x speedup on Amazon Beauty, while maintaining lossless ranking quality compared to the autoregressive teacher. The key insight is the architectural pattern of bypassing token-by-token generation for constrained outputs by training with a differentiable relaxation (Sinkhorn) and decoding with an exact combinatorial solver on the hidden states. This is highly relevant for our work in LLM serving optimization and operations research; the technique of using OR solvers as O(1) decoders could be directly adapted to generate valid sequences for vehicle routing or scheduling problems without the latency and invalidity risks of autoregressive generation.
Emil Laftchiev et.al. Meta Platforms, Inc. pdf / code
2026-08-26
TOPAS: Workflow-Aware Prefix-State Scheduling for Multi-Agent LLM ServingTOPAS is an online scheduler for multi-agent LLM serving that jointly optimizes KV cache prefix residency and request admission to minimize task-level job completion time. Backed by empirical numbers, it reduces mean and p99 JCT by up to 39.8% and 49.4% on synthetic DAGs, and significantly improves performance on real MetaGPT workflows compared to baselines like Shortest-Path-First. The critical insight is treating prefix residency as an explicit, workflow-aware scheduling decision rather than a reactive byproduct of request ordering, using a utility function that balances the reduction of a task's longest remaining service path against near-term prefix reuse. This is highly relevant for research in OR formulations for LLM serving scheduling, offering a concrete heuristic search approach to manage the memory-compute tradeoff in complex multi-agent deployments.
Hongqiu Ni et.al. University of Science and Technology of China, Hefei University of Technology pdf / code
2026-08-22
PowerSlider: Exploiting Phase Asymmetry for LLM Serving under Demand ResponsePOWERSLIDER optimizes LLM serving under dynamic power caps by disaggregating the pipeline into Prefill, Think, and Answer stages and using a KKT online solver to dynamically adjust GPU allocation and frequencies based on phase asymmetry. The results are rigorously backed by empirical data, demonstrating 1.64x higher goodput than the best baseline at a 30% power cap reduction while solving the allocation problem in just 7.7ms. The key insight is that reasoning workloads bre

About

Stay current on high-quality work at the Operations Research × AI intersection. A research agent performs deep, multi-pass analysis of each paper, scores relevance, and curates what matters, helping you spot trends and gaps faster.

Topics

Resources

Stars

11 stars

Watchers

1 watching

Forks

Releases

Packages

Contributors

Languages