语言模型作为高阶规划形式化器的新范式

LLM-as-Higher-Order-Formalizer 范式让 LLM 生成高层程序以封装反复出现的规划逻辑，从而解决标准基准中问题与 PDDL 的一一对应偏差。 该方法解耦了 token 输出与底层形式化及搜索空间的组合爆炸，在处理“解缠”（unraveling）类复杂规划问题时提升了 LLM 的形式化性能。