Language Models as Higher-Order Planning Formalizers
The LLM-as-Higher-Order-Formalizer paradigm addresses scaling issues in LLM planning by using an LLM to create a high-level program capturing recurrent logic, which then generates a large PDDL representation. This decouples token output from combinatorial explosion, leading to better performance on complex problems.