5 papers
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…
Counting and Reasoning with Plans
David Speck, Markus Hecher, Daniel Gnad +2
Classical planning asks for a sequence of operators reaching a given goal. While the most common case is to compute a plan, many scenarios require more than that. However, quantita…