5 papers
Hierarchical Task Network Planning with LLM-Generated Heuristics
Felipe Meneguzzi, Alexandre Buchweitz, Augusto B. Corrêa +2
HTN planning is a variation of classical planning where, instead of searching for a linear sequence of actions, an algorithm decomposes higher-level tasks using a method library un…
Property-Guided LLM Program Synthesis for Planning
André G. Pereira, Augusto B. Corrêa, Jendrik Seipp
LLMs have shown impressive success in program synthesis, discovering programs that surpass prior solutions. However, these approaches rely on simple numeric scores to signal progra…
Frontier Large Language Models Rival State-of-the-Art Planners
Augusto B. Corrêa, André G. Pereira, Jendrik Seipp
A series of influential studies established that large language models cannot reliably solve even simple planning tasks. We show that the latest generation of frontier models overt…
Iterative Deployment Improves Planning Skills in LLMs
Augusto B. Corrêa, Yoav Gelberg, Luckeciano C. Melo +3
We show that iterative deployment of large language models (LLMs), each fine-tuned on data carefully curated by users from the previous models' deployment, can significantly change…
Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code
Augusto B. Corrêa, André G. Pereira, Jendrik Seipp
In recent years, large language models (LLMs) have shown remarkable capabilities in various artificial intelligence problems. However, they fail to plan reliably, even when prompte…