量子位 2024-11-14
李飞飞吴佳俊团队新作:推出具身智能决策能力评价基准,o1-preview登顶
index_new5.html
../../../zaker_core/zaker_tpl_static/wap/tpl_keji1.html

 

大模型的具身智能决策能力,终于有系统的通用评估基准了。

李飞飞吴佳俊团队新提出的评估框架,对具身智能决策的四项关键子能力来了个全面检查。

这套基准已经被选为了 NeurIPS 数据和测试集(D&B)专栏 Oral 论文,同时也被收录进了 PyPI,只要一行代码就能快速调用。

该框架名为Embodied Agent Interface(简称 EAI),提供了连接不同模块和基准环境的标准接口。

利用这套框架,作者对 18 款主流模型进行了测试,形成了一篇超百页的论文。

测试结果显示,在已公开的大模型当中,o1-preview 的综合成绩位列第一

李飞飞本人表示,对这项合作研究感到非常兴奋。

有网友评价说,这项成果为大模型具身智能决策塑造了未来。

四项子能力全面评估

首先,EAI 提供了一种统一的目标表示方法,能够兼容不同类型的目标,并支持复杂约束的描述。

团队认为,现有的具身决策任务通常针对特定领域设计目标,缺乏一致性和通用性。

例如,BEHAVIOR 和 VirtualHome 都是具身智能体的评测基准和模拟环境,用于研究智能体在复杂环境中完成任务的能力。

但二者又有所区别,BEHAVIOR 使用基于状态的目标,而 VirtualHome 使用时间扩展的目标。

EAI 则通过引入线性时态逻辑(LTL),实现了目标表示方式的统一,提高了模块之间的互操作性,便于比较不同模型在同一任务上的表现。

在具体的评估过程当中,EAI 采用了模块化的评估方式,并将评估指标进行了更细粒度的划分。

以往的研究通常将大模型作为整体进行评估,很少关注其在具身决策各个子任务上的表现;

同时,这些现有基准通常只关注任务的最终成功率,很少深入分析模型的错误类型和原因。

为了更深入理解大模型的行为模式和优劣势分布,EAI 提出了四个关键能力模块,并设计了一系列细粒度的评估指标:

将模型能力分为四个关键模块;

定义了清晰的输入输出接口;

从轨迹可执行性、目标满足度、逻辑匹配性等多个角度评估模型的性能;

引入了丰富的注释(如目标状态、关系、动作),以实现自动化的错误分析。

具体来说,四个关键模块及内容分别是:

目标解释(Goal Interpretation):将自然语言表述的任务目标转化为形式化的 LTL 目标公式;

子目标分解(Subgoal Decomposition):将任务目标分解为一系列子目标,每个子目标也用 LTL 公式表示;

动作序列规划(Action Sequencing):根据任务目标生成动作序列,在环境中执行以达成目标状态;

转换建模(Transition Modeling):为每个动作或操作符生成前提条件和效果,形成环境转换模型。

另外,EAI 选取了两个具有代表性但特点迥异的环境,也就是前面提到的 BEHAVIOR 和 VirtualHome。

相比于单一环境评估,EAI更能考察大模型跨领域的泛化能力,有助于全面理解其适用范围和局限性

o1-preview 综合成绩第一

利用 EAI 这套标准,研究团队对 GPT、Claude、Gemini 等 18 款主流模型(型号)的决策能力进行了评估。

在 BEHAVIOR 和 VirtualHome 环境下,o1-preview 均获得了排行榜综合成绩第一名。

其中在 BEHAVIOR 环境中,o1-preview 得分为 74.9,比第二名的 Claude 3.5 Sonnet 高了 10 多分,排在之后的是 60 分左右的 Claude 3 Opus 和 GPT-4o。

到了 VirtualHome 环境下,依然是 o1-preview 领先,但前三名的成绩相对接近。

同时 Gemini 1.5 Pro 变成了第二名,不过整体来看排行靠前的几个模型和 BEHAVIOR 环境类似。

当然如果比较单项能力,不同模型也体现出了各自不同的优势项目。

比如在 BEHAVIOR 环境中,总分排第二的 Claude 3.5 Sonnet,目标解释能力略高于总分排第一的 o1-preview。

在 VirtualHome 环境中,总分相对靠后的 Mistral Large,在动作序列规划上取得了第一名。

作者还对各模型的失败情况进行了深入分析,发现了将中间状态误识别为最终目标状态、对隐含的物理关系理解不足、忽略重要的前提条件等具体问题。

这些发现能够让研究人员对模型的优缺陷进行更深层的了解,为之后的研究提供了重要参考。

项目主页:

https://embodied-agent-interface.github.io/

论文:

https://arxiv.org/abs/2410.07166

代码:

https://github.com/embodied-agent-interface/embodied-agent-interface

数据集:

https://huggingface.co/datasets/Inevitablevalor/EmbodiedAgentInterface

宙世代

宙世代

ZAKER旗下Web3.0元宇宙平台

逗玩.AI

逗玩.AI

ZAKER旗下AI智能创作平台

相关标签

李飞飞 公式 自动化 关键能力
相关文章
评论
没有更多评论了
取消

登录后才可以发布评论哦

打开小程序可以发布评论哦

12 我来说两句…
打开 ZAKER 参与讨论