Cover Image

Language Models For Generalised PDDL Planning: Synthesising Sound and Programmatic Policies

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Dillon Z., Zenn, Johannes, Cinquin, Tristan, McIlraith, Sheila A.
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version)
by: Chen, Dillon Z., et al.
Published: (2025)

Learning Bilevel Policies over Symbolic World Models for Long-Horizon Planning
by: Chen, Dillon Z., et al.
Published: (2026)

Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers
by: Lifshitz, Shalev, et al.
Published: (2025)

STEVE-1: A Generative Model for Text-to-Behavior in Minecraft
by: Lifshitz, Shalev, et al.
Published: (2023)

Pluralistic Alignment Over Time
by: Klassen, Toryn Q., et al.
Published: (2024)

Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems
by: Alamdari, Parand A., et al.
Published: (2026)

Remembering to Be Fair: Non-Markovian Fairness in Sequential Decision Making
by: Alamdari, Parand A., et al.
Published: (2023)

Being Considerate as a Pathway Towards Pluralistic Alignment for Agentic AI
by: Alamdari, Parand A., et al.
Published: (2024)

Deep Learning for Generalised Planning with Background Knowledge
by: Chen, Dillon Z., et al.
Published: (2024)

Ground-Compose-Reinforce: Grounding Language in Agentic Behaviours using Limited Data
by: Li, Andrew C., et al.
Published: (2025)

Pushdown Reward Machines for Reinforcement Learning
by: Varricchione, Giovanni, et al.
Published: (2025)

Limits of PRM-Guided Tree Search for Mathematical Reasoning with LLMs
by: Cinquin, Tristan, et al.
Published: (2025)

Toward PDDL Planning Copilot
by: Benyamin, Yarin, et al.
Published: (2025)

GenePlan: Evolving Better Generalized PDDL Plans using Large Language Models
by: Murray, Andrew, et al.
Published: (2026)

Learning Interpretable Classifiers for PDDL Planning
by: Lequen, Arnaud
Published: (2024)

Real-World Planning with PDDL+ and Beyond
by: Piotrowski, Wiktor, et al.
Published: (2024)

Now, Later, and Lasting: Ten Priorities for AI Research, Policy, and Practice
by: Horvitz, Eric, et al.
Published: (2024)

WLPlan: Relational Features for Symbolic Planning
by: Chen, Dillon Z.
Published: (2024)

Weisfeiler-Leman Features for Planning: A 1,000,000 Sample Size Hyperparameter Study
by: Chen, Dillon Z.
Published: (2025)

Relational GNNs Cannot Learn $C_2$ Features for Planning
by: Chen, Dillon Z.
Published: (2025)

Graph Learning for Numeric Planning
by: Chen, Dillon Z., et al.
Published: (2024)

Assessing the Interpretability of Programmatic Policies with Large Language Models
by: Bashir, Zahra, et al.
Published: (2023)

Generating consistent PDDL domains with Large Language Models
by: Smirnov, Pavel, et al.
Published: (2024)

Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version
by: Micheli, Andrea, et al.
Published: (2026)

Reward Machines for Deep RL in Noisy and Uncertain Environments
by: Li, Andrew C., et al.
Published: (2024)

Generation of Programmatic Rules for Document Forgery Detection Using Large Language Models
by: Schmidberger, Valentin, et al.
Published: (2025)

Reclaiming the Source of Programmatic Policies: Programmatic versus Latent Spaces
by: Carvalho, Tales H., et al.
Published: (2024)

FSP-Laplace: Function-Space Priors for the Laplace Approximation in Bayesian Deep Learning
by: Cinquin, Tristan, et al.
Published: (2024)

Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning
by: Chen, Dillon Z., et al.
Published: (2024)

End-to-end PDDL Planning with Hardcoded and Dynamic Agents
by: La Malfa, Emanuele, et al.
Published: (2025)

From Capability Models to Automated Planning: An AAS-Native Approach for Automatic PDDL Generation
by: Nabizada, Hamied, et al.
Published: (2026)

Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation
by: Nabizada, Hamied, et al.
Published: (2025)

Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search
by: Liu, Max, et al.
Published: (2024)

Agentic LLM Planning via Step-Wise PDDL Simulation: An Empirical Characterisation
by: Göbel, Kai, et al.
Published: (2026)

Learning Domain-Independent Heuristics for Grounded and Lifted Planning
by: Chen, Dillon Z., et al.
Published: (2023)

Automating the Generation of Prompts for LLM-based Action Choice in PDDL Planning
by: Stein, Katharina, et al.
Published: (2023)

The Universal PDDL Domain
by: Haslum, Patrik, et al.
Published: (2024)

From An LLM Swarm To A PDDL-Empowered HIVE: Planning Self-Executed Instructions In A Multi-Modal Jungle
by: Vyas, Kaustubh, et al.
Published: (2024)

BPMN to PDDL: Translating Business Workflows for AI Planning
by: Nie, Jasper, et al.
Published: (2025)

Symmetry-Invariant Novelty Heuristics via Unsupervised Weisfeiler-Leman Features
by: Chen, Dillon Z.
Published: (2025)