4 papers
Language Models as Higher-Order Planning Formalizers
Owen Jiang, Cassie Huang, Ashish Sabharwal +1
Recent work provides overwhelming evidence that LLMs, even those trained to scale their reasoning trace, quickly deteriorate at planning as problems become more complex. LLM-as-For…
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…
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…
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…