作者位次 #4/5ACL 2026Poster· Natural Language Processing
Language Model as Planner and Formalizer under Constraints
Cassie Huang · Stuti Mohan · Ziyi Yang · Stefanie Tellex · Li Zhang
摘要
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 language that can derive plans deterministically. However, both lines of work rely on standard benchmarks that include onl...