MIT 研究人员发现让 LLM 实现逻辑推理的新方法
mdancho84 · x · 2026-08-27
MIT 研究人员提出了一种新方法，通过构建 PDDL-INSTRUCT 数据集，教导模型逐步解决规划问题。这种方法不仅仅是模式匹配，而是赋予了 LLM 实际的逻辑推理能力，显著提升了模型在规划任务中的表现。
所属事件:MIT 推出 PDDL-INSTRUCT：Llama-3-8B 规划准确率 28% 升至 94%(5 条相关)→
「研究」频道最新
- Hannah Fry 专栏：OpenAI 解题潮让数学界陷入存在危机 — AnnaCiaunica · 2026-10-15
- 观察：AI 评测正从离线走向在线 — vboykis · 2026-10-15
- StartLux-Decision 发布:RL 训练的校准决策模型,27B 得分 72.8 — startlux-models · 2026-10-15
- 9 个月内三分之一的数学预印本由 AI 参与写作 — IgorCarron · 2026-10-15
- AAAI/ACM AIES 论文:访谈 15 名从业者揭示负责任 AI 实践何以难持续 — ChinasaTOkolo · 2026-10-15
- Schmidt Sciences 投 1000 万美元资助 19 个 AI 人文研究团队 — OdedRechavi · 2026-10-15