1 paper
Prabhu Prakash Kagitha, Bo Sun, Ishan Desai +5
A line of work in planning uses LLM not to generate a plan, but to generate a formal representation in some planning language, which can be input into a symbolic solver to determin…