3 papers
cs.CL2025
Language Model as Planner and Formalizer under Constraints
Cassie Huang, Stuti Mohan, Ziyi Yang +2
LLMs have been widely used in planning, either as planners to generate action sequences end-to-end, or as formalizers to represent the planning domain and problem in a formal langu…
cs.CL2025
Unifying Inference-Time Planning Language Generation
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…
cs.CL2024
On the Limit of Language Models as Planning Formalizers
Cassie Huang, Li Zhang
Large Language Models have been found to create plans that are neither executable nor verifiable in grounded environments. An emerging line of work demonstrates success in using th…