11/12
EqC 让机器人主动求助,6 次恢复后叠衣成功率 100%
Runhan Huang 介绍机器人控制方法 EqC,用能量式动作生成器监测自身能力,并在遇到能力缺口时请求智能体恢复。作者称,实机叠衣任务在 6 次 Astra 生成的恢复后,自主成功率从 0% 升至 100%。
11月12日星期四AI 前沿,先闻其声。
阅最新急报“智能体”的搜索结果清除搜索
Runhan Huang 介绍机器人控制方法 EqC,用能量式动作生成器监测自身能力,并在遇到能力缺口时请求智能体恢复。作者称,实机叠衣任务在 6 次 Astra 生成的恢复后,自主成功率从 0% 升至 100%。
Abhik Roychoudhury 介绍 NUS 团队的 pre-QED,通过智能体工作流自动生成可执行验证桩,为 AI 形式化验证提供环境规格。团队提出将 API 的合法用法纳入验证,使证明覆盖符合使用约束的客户端。