TIC: Translate-Infer-Compile for accurate "text to plan" using LLMs and Logical Representations

Sudhir Agarwal, Anu Sreepathy

We study the problem of generating plans for given natural language planning task requests. On one hand, LLMs excel at natural language processing but do not perform well on planni…