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
Citation lineage
Review the prior work and downstream research connected to 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…