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…