3 papers
cs.AI2026
Generating Instance Generators in PDDL Planning
Nicola J. Müller, Naya Rudolph, Katharina Stein +3
PDDL, the de-facto standard language in the AI Planning community, is designed to specify planning domains: sets of instances that share the same predicates and action schemas. Yet…
cs.AI2026
On the Ability of Transformers to Verify Plans
Yash Sarrof, Yupei Du, Katharina Stein +3
Transformers have shown inconsistent success in AI planning tasks, and theoretical understanding of when generalization should be expected has been limited. We take important steps…
cs.AI2025
Improved Generalized Planning with LLMs through Strategy Refinement and Reflection
Katharina Stein, Nils Hodel, Daniel Fišer +3
LLMs have recently been used to generate Python programs representing generalized plans in PDDL planning, i.e., plans that generalize across the tasks of a given PDDL domain. Previ…