Language Model as Planner and Formalizer under Constraints
arXiv:2510.05486v2 Announce Type: replace
Abstract: 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…