Symbolic Planning

Follow this topic Ask about this topic

Momentum

9 papers in the last four weeks, up 125% on the four weeks before. 0.1% of all new papers.

Jul 13Week of Sep 28

Latest papers 56

All topics

LLM-Evolved Domain-Independent Heuristics for Symbolic AI Planning
May 28, 2026Elliot Gestrin, Jendrik SeippAutomated Heuristic Design Symbolic Planning
Linköping University, Sweden
An LLM-Based Assistance System for Intuitive and Flexible Capability-Based Planning
May 27, 2026Luis Miguel Vieira da Silva, Nicolas König, Felix GehlhoffLLM Planning Symbolic Planning
Institute of Automation Technology, Helmut Schmidt University
Reasoning and Planning with Dynamically Changing Norms
May 26, 2026Taylor Olson, Roberto Salas-Damian, Kenneth D. ForbusSymbolic Planning AI Agent Safety
University of Iowa · Northwestern University
Planning in the LLM Era: Building for Reliability and Efficiency
May 21, 2026Michael Katz, Harsha Kokel, Kavitha Srinivas +1LLM Inference Efficiency LLM Planning
IBM Research
Efficient Lookahead Encoding and Abstracted Width for Learning General Policies in Classical Planning
May 18, 2026Michael Aichmüller, Simon Ståhlberg, Martin Funkquist +1Graph Neural Networks Tree Search
RWTH Aachen University · Linköping University
Learning Lifted Action Models from Traces with Minimal Information About Actions and States
May 18, 2026Jonas Gösgens, Niklas Jansen, Hector GeffnerSymbolic Planning
RWTH Aachen University
Property-Guided LLM Program Synthesis for Planning
May 15, 2026André G. Pereira, Augusto B. Corrêa, Jendrik SeippSymbolic Planning Counterexample-Guided Refinement
Federal University of Rio Grande do Sul · Brazil · University of Oxford +3
Learning Bilevel Policies over Symbolic World Models for Long-Horizon Planning
May 15, 2026Dillon Z. Chen, Till Hofmann, Toryn Q. Klassen +1Long-Horizon Robotic Manipulation Symbolic Planning
1Vector Institute · University of Toronto · 3LAAS-CNRS +2
Zero-Shot Goal Recognition with Large Language Models
May 14, 2026Kin Max Piamolini Gusmão, Nathan Gavenski, Nir Oren +1Zero-Shot Learning LLM Evaluation
PUCRS · King’s College London · University of Aberdeen +1
Differentiable Learning of Lifted Action Schemas for Classical Planning
May 13, 2026Jonas Reiter, Jakob Elias Gebler, Hector GeffnerSymbolic Planning Differentiable Programming
RWTH Aachen University
Cplus2ASP: Computing Action Language C+ in Answer Set Programming
May 10, 2026Joseph Babb, Joohyung LeeLogic Programming Code Translation
School of Computing, Informatics, and Decision Systems Engineering Arizona State University, Tempe, USA
Hierarchical Task Network Planning with LLM-Generated Heuristics
May 8, 2026Felipe Meneguzzi, Alexandre Buchweitz, Augusto B. Corrêa +2Hierarchical Planning LLM Planning
University of Aberdeen, UK · University of Oxford, UK · PUCRS, Brazil +2
Parallel Lifted Planning via Semi-Naive Datalog Evaluation
May 8, 2026Dominik Drexler, Oliver Joergensen, Jendrik SeippSymbolic Planning
Linköping University, Sweden
Self-Improvement for Fast, High-Quality Plan Generation
May 5, 2026Robert Gieselmann, Henrike von Huelsen, Mihai Samson +9Symbolic Planning Generative Modeling
Amazon
LLM-Flax : Generalizable Robotic Task Planning via Neuro-Symbolic Approaches with Large Language Models
Apr 29, 2026Seongmin Kim, Daegyu LeeLarge Language Model-Based Robot Planning Symbolic Planning
Department of Physical AI Engineering, Jeonbuk National University(JBNU) · Faculty of Department of Advanced Defense Technology and Industry, Jeonbuk National University(JBNU)
Order-Sensitive Sequential Interventions on Ideal Lattices
Apr 29, 2026Dmitry Pasechnyuk-VilenskySequential Decision Making Symbolic Planning
MBZUAI, UAE
An Undecidability Proof for the Plan Existence Problem
Apr 24, 2026Antonis AchilleosSymbolic Planning Dynamic Epistemic Logic
Department of Computer Science, Reykjavik University, Iceland
SYMBOLIZER: Symbolic Model-free Task Planning with VLMs
Apr 20, 2026Sami Azirar, Zlatan Ajanovic, Hermann BlumSymbolic Planning Robot Task Planning
RWTH Aachen · Robot Perception and Learning Lab, University of Bonn · Lamarr Institute for Machine Learning and Artificial Intelligence
Recurrent Reasoning on Symbolic Puzzles with Sequence Models
Apr 19, 2026Gowrav Mannem, Chowdhury Marzia Mahjabin, Jason Chen +2Symbolic Planning Symbolic Reasoning
Algoverse AI Research · Cornell University
On the Ability of Transformers to Verify Plans
Mar 20, 2026Yash Sarrof, Yupei Du, Katharina Stein +3Transformer Symbolic Planning
Saarland University · Australian National University · University of Toulouse / LAAS-CNRS
Novelty Adaptation Through Hybrid Large Language Model (LLM)-Symbolic Planning and LLM-guided Reinforcement Learning
Mar 11, 2026Hong Lu, Pierrick Lorang, Timothy R. Duggan +2Symbolic Planning LLM-Guided RL
Department of Computer Science, Tufts University, Medford, MA, USA · Austrian Institute of Technology GmbH, Vienna, Austria
Bilevel Planning with Learned Symbolic Abstractions from Interaction Data
Mar 9, 2026Fatih Dogangun, Burcu Kilic, Serdar Bahar +1Hierarchical Planning Symbolic Planning
Department of Computer Engineering, Bogazici University, Istanbul, Türkiye. · Department of Computer Engineering, Middle East Technical University, Ankara, Türkiye.
CoReLIN: Constraint-based Reasoning for Zero-shot Lifelong Interactive Navigation
Feb 23, 2026Apoorva Vashisth, Manav Kulshrestha, Pranav Bakshi +3Long-Horizon Robotic Manipulation Large Language Model-Based Robot Planning
Purdue University · Purdue University, USA · IIT Kharagpur +5
Symmetry-Aware Transformer Training for Automated Planning
Aug 11, 2025Markus Fritzsche, Elliot Gestrin, Jendrik SeippContrastive Learning Transformer
Linköping University, Sweden
ViPlan: A Benchmark for Visual Planning with Symbolic Predicates and Vision-Language Models
May 19, 2025Matteo Merler, Nicola Dainese, Minttu Alakuijala +5Large Language Model-Based Robot Planning Symbolic Planning
Fondazione Bruno Kessler · Department of Computer Science, Aalto University · Department of Mathematics, Università degli Studi di Padova
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
Feb 5, 2024Till Hofmann, Stefan Schupp, Gerhard LakemeyerLogical Reasoning Reachability Analysis
Knowledge-Based Systems Group, RWTH Aachen University · Cyber-Physical Systems Group, TU Wien

May 28, 2026, cs.AIJ/K move · Enter open · S save

LLM-Evolved Domain-Independent Heuristics for Symbolic AI Planning

Elliot Gestrin, Jendrik Seipp

Linköping University, Sweden

Automated Heuristic Design Symbolic Planning LLM-Based Program Synthesis

Open paper AskPDF arXiv

Heuristic search is the dominant paradigm in symbolic AI planning, and the strongest heuristics are the result of decades of work by planning researchers. Recent work has shown that large language models (LLMs) can design heuristics for individual planning domains, but no LLM-generated heuristic has so far worked on arbitrary planning tasks. In this paper, we use evolutionary search to produce the first LLM-generated domain-independent heuristics that exceed the hand-engineered state of the art. We let an LLM mutate parent heuristics written in C++, store candidates in a MAP-Elites archive keyed on informedness and speed and calculate fitness scores by blending coverage with solving time. To place the evolved programs in context, we additionally benchmark a broad set of hand-engineered heuristics on their informedness-speed tradeoff, which to our knowledge has not been done before. On unseen testing domains, our best evolved heuristic solves more tasks than even the strongest baseline, with our full heuristic suite spanning the Pareto frontier of said tradeoff. We also find that seeding evolution from the trivial blind heuristic outperforms seeding from the strong FF heuristic, even when the resulting program is itself an FF variant, and that LLM reasoning effort affects how often candidates compile much more than the quality of those that do. Because the evolved programs are plain C++, they slot into existing planners as drop-in replacements and inherit the soundness and completeness guarantees of the underlying search.

Momentum

Related topics

Latest papers 56