However, a major drawback of existing LLMs is their lack of long-horizon reasoning/planning abil-
ity for complex tasks (See [9, 42] and Section 8.2 from [2]). Speciﬁcally, the output they produce
LLM+P- Empowering Large Language Models with Optimal Planning Proficiency