LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models

Understand

Large Language Models (LLMs) excel in various natural language tasks but often struggle with long-horizon planning problems requiring structured reasoning.

• This limitation has drawn interest in integrating neuro-symbolic approaches within the Automated Planning (AP) and Natural Language Processing (NLP) communities.
• However, identifying optimal AP deployment frameworks can be daunting and introduces new challenges.
• This paper aims to provide a timely survey of the current research with an in-depth analysis, positioning LLMs as tools for formalizing and refining planning specifications to support reliable off-the-shelf AP planners.