标签
本文研究了数值全序HTN（TOHTN）规划，通过使用SMT扩展基于SAT的编码来处理数值流，引入了一个基准测试集，并展示了其作为未来工作基准的竞争性能。
本文提出了一种用于智能洪水响应的时间规划框架，可在资源约束下实现协调调度和动态重规划。
Git-Assistant 是一款人工智能工具，它将大型语言模型与自动化规划相结合，帮助开发者更安全、更可靠地执行复杂的 Git 操作。
本文对PlanGPT（一种用于自动规划的大型语言模型）进行了补充评估，使用了规划成本和规划生成时间指标，并发现PlanGPT的表现并不优于贪婪搜索策略。