★ 2
学习搜索控制策略，以多项式空间求解规划任务
论文提出用语言模型学习「索引式策略」作为搜索控制，每条规则须对其所有结果有效，仅 choose 规则标记回溯点。作者证明结构终止性可将每次执行限制在对象数的多项式内，深度优先过程以多项式空间找到计划。在 IPC 2023 学习赛道与 Autoscale Agile 套件的 1890 个测试任务中解…
arXiv cs.AI24 天前
#自动规划
共 3 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 2
空客开源 Scikit-Decide 强化学习框架
空客发布 Scikit-Decide，一个面向强化学习、自动规划与调度的 AI 框架。它提供统一接口以整合多种决策算法，适用于工业级复杂调度场景。
Hacker News – AI46 天前
★ 2
NL转PDDL问题生成的可信评估与修复
论文指出，仅凭语法有效性或规划器成功率评估LLM生成的PDDL问题会严重高估其忠实度，生成的问题可能可解析可求解却错误表达初始状态、目标或对象结构。作者提出端到端流水线，结合LLM生成、PDDL解析/规划/验证、领域一致性检查、LLM评审与迭代修复。在Planetarium、AutoPlanBen…
arXiv cs.AI53 天前
这个主题的相关资产
相关公司Ollama1