LLM作高阶规划形式化器新范式提出

Owen Jiang等作者提出“LLM-as-Higher-Order-Formalizer”新范式：让大语言模型先生成能捕捉描述中重复逻辑的高层程序，再由该程序生成规模更大的 PDDL 表示，从而把模型的 token 输出与形式化、搜索空间的组合爆炸解耦。 该范式针对的是规划任务中形式化表示随问题规模膨胀的问题，目前报道所述为其方法设计，未给出实验效果或对比结论。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。