arXiv 2410.12112
Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming
By Yilun Hao, Yang Zhang, et al.
Published 2024-10-15
Discussion
Read the public discussion and references gathered around this paper.
While large language models (LLMs) have recently demonstrated strong potential in solving planning problems, there is a trade-off between flexibility and complexity. LLMs, as zero-shot planners themselves, are still not capable of directly generating valid plans for complex planning problems such as multi-constraint or long-horizon tasks. On the other hand, many frameworks aiming to solve complex planning problems o…