LLM异步规划基准发布，形式化方法准确率领先
热点事件持续更新
LLM异步规划基准发布，形式化方法准确率领先
1 篇报道1 个报道来源15 小时前更新
先了解这件事
AI 综述
Jiayi Zhang等人发布论文，将异步规划统一为一种形式化表述，并推出三个基准，覆盖任务图规模、状态与资源约束及执行时事件。在最大的AsyncPlan-XXL基准上，PDDL2.1管线平均规划准确率仅30.8%，Planner为81.7%，CP-SAT Formalizer达94.0%；当动作数增至100时，三者分别降至9.0%、44.5%、82.5%。这些数字来自论文自报的测试结果，尚未见独立复现。
AI 根据报道生成 · 1 小时前更新
最新进展10月15日 12:00
通过自动形式化实现鲁棒异步规划：LLM 异步规划基准与形式化方法对比研究报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- arXiv：cs.CL通过自动形式化实现鲁棒异步规划：LLM 异步规划基准与形式化方法对比研究
研究将异步规划统一为一种形式化表述，并发布覆盖任务图规模、状态资源约束与执行时事件的三项基准。在 AsyncPlan-XXL 上，PDDL2.1 管线平均规划准确率仅 30.8%，Planner 为 81.7%，CP-SAT Formalizer 达 94.0%；动作数增至 100 时三者分别为 9.0%、44.5%、82.5%。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。