★ 2
NL转PDDL问题生成的可信评估与修复
论文指出，仅凭语法有效性或规划器成功率评估LLM生成的PDDL问题会严重高估其忠实度，生成的问题可能可解析可求解却错误表达初始状态、目标或对象结构。作者提出端到端流水线，结合LLM生成、PDDL解析/规划/验证、领域一致性检查、LLM评审与迭代修复。在Planetarium、AutoPlanBen…
arXiv cs.AI53 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文指出，仅凭语法有效性或规划器成功率评估LLM生成的PDDL问题会严重高估其忠实度，生成的问题可能可解析可求解却错误表达初始状态、目标或对象结构。作者提出端到端流水线，结合LLM生成、PDDL解析/规划/验证、领域一致性检查、LLM评审与迭代修复。在Planetarium、AutoPlanBen…