论文提出用 LLM 做「可证明完备」的广义规划新方法
JFPuget · x · 2026-09-26
arXiv 新论文《Provably Complete Generalized Planning with LLMs》,作者为 Katharina Stein、Chaahat Jain、Jörg Hoffmann、Alexander Koller。
论文探讨将 LLM 用于广义规划(generalized planning)任务,并给出可证明的完备性保证——即不只是依赖 LLM 的启发式输出,而是能从形式上证明解的完备性,属于把 LLM 与符号规划理论结合的方向。
「研究」频道最新
- 论文提出定理「有趣度」指标,27B 模型超越前沿模型预测证明难度 — Pascallisch · 2026-09-26
- Yoav Goldberg 发现模型擅解推箱子类游戏,疑训练数据所致 — yoavgo · 2026-09-26
- OpenAI 研究员谈 RL 泛化:arXiv 引理任务或能检验推理泛化能力 — lukaszkaiser · 2026-09-26
- 三星联合牛津北大推出 TrOPD,让端侧小模型继承大模型推理 — jiqizhixin · 2026-09-26
- Delip Rao：现有 LLM 微调的判定模型难带来真正的评委多样性 — deliprao · 2026-09-26
- 实验：LLM 评委级联最多仅提升 2 分，错误相关是主因 — deliprao · 2026-09-26