一眼看懂
封面预览
论文提出了 BOKBO，首个用于K样本视觉语言动作（VLA）推理的保形弃权层，提供有限样本、分布自由的不安全执行率上限保证。
- 论文提出了 BOKBO，首个用于K样本视觉语言动作（VLA）推理的保形弃权层，提供有限样本、分布自由的不安全执行率上限保证。
- 核心问题在于现有K样本测试时扩展方法假设至少有一个候选动作是安全的，但实际上经常失效，导致“静默失败”。
- 论文通过诊断发现，在基于扰动的K采样下，策略内部的非一致性分数（如置信度代理和K样本分歧）与安全违规几乎无关，仅跟踪扰动参数，而非策略的不确定性。
Card 01
研究单位
研究单位
- 未在HTML原文中明确提及作者所属机构，根据电子邮件域名
rellingsystems.com推测可能属于一家科技公司。
Card 02
论文概述
论文概述
- 论文提出了 BOKBO，首个用于K样本视觉语言动作（VLA）推理的保形弃权层，提供有限样本、分布自由的不安全执行率上限保证。
- 核心问题在于现有K样本测试时扩展方法假设至少有一个候选动作是安全的，但实际上经常失效，导致“静默失败”。
- 论文通过诊断发现，在基于扰动的K采样下，策略内部的非一致性分数（如置信度代理和K样本分歧）与安全违规几乎无关，仅跟踪扰动参数，而非策略的不确定性。
Card 03
核心贡献
核心贡献
- 提出了 BOKBO 方法及其 Mondrian 变体，为K样本VLA推理提供形式化的弃权保证。
- 揭示了基于扰动的K采样下“自由信号”的结构性失败机制，并明确了该诊断的适用范围。
- 提出并纠正了方法论缺陷：全局设置的力阈值会夸大违规率，应采用任务特定的专家校准阈值。
Card 04
方法描述
方法描述
- 使用 保形风险控制 校准弃权决策，通过Bootstrap分割训练预测器，并在校准集上计算阈值以满足安全保证。
- 训练一个基于 DINOv2 视觉特征和任务ID嵌入的小型MLP作为违规预测器，而非依赖K采样产生的“自由信号”。
- 定义了任务特定的力阈值，通过专家演示的p99最大力加10N，并取50N作为下限，以正确评估安全违规。
Card 05
数据集与资源
数据集与资源
- 主要使用 LIBERO 套件中的两个基准：
libero_object_temp_x0.1和libero_spatial_temp_x0.1，包含各10个任务。 - 使用 OpenVLA-OFT 和 π₀-FAST 作为主要VLA骨干模型。
- 实验计算量约 1,600 A100小时，预测器推理延迟在A100上为 0.4ms，在Jetson AGX Orin上为 ~18ms。
Card 06
评估与结果
评估与结果
- 主要评估指标包括执行违规率、覆盖率、任务成功率及保形边界成立率。
- 在
ε=0.05时，使用学习预测器的 BOKBO 在 86% 的bootstrap分割上保持条件CRC边界，覆盖率为 78%，任务成功率为 70%。 - Mondrian 变体将最低任务特定条件保持率从 0.71 提升至 0.93。
- 结果在 π₀-FAST 模型、libero_spatial 套件及四种分布偏移场景下均有效复现或保持。