精读笔记
Problem Setting
VeriSpace 实际处理的是 VLA 的 test-time action selection，而不是 policy learning 本身。底层 VLA 在每个时刻产生多个 7D 候选动作，问题变成：在不执行、不 rollout 的情况下，如何判断哪个动作更可能推动任务成功。
关键矛盾是 robotics action 的误差容忍度远低于语言/视觉任务：两个在图像上几乎不可区分的动作，在 3D 空间里可能一个抓到物体、另一个擦边失败或碰撞。已有 VLA 多数 one-shot 输出，缺少执行前 deliberation；已有 verifier 虽然引入采样和重排，但通常还是基于 2D 图像和语言做 scalar scoring，缺少对候选动作与场景几何交互的显式建模。
因此这篇论文真正卡住的点是：verification 不能只是更大的 reward model，它必须比 generator 拥有不同的信息结构，尤其是能利用 3D 几何和任务阶段信息来区分局部动作质量。
Motivation
已有路线不够的原因很直接：VLA policy 的 action likelihood 不等于 task success likelihood，尤其在多模态动作分布和精细空间约束下，最大似然动作不一定物理可行。Test-time sampling 能增加找到好动作的概率，但如果 verifier 仍然只看 2D 语义，它对 grasp pose、clearance、相对高度、目标容器边界等因素的判别能力有限。
作者的核心观察是，manipulation verification 至少缺两类信息：一类是 action-level spatial validity，即动作是否与目标物、障碍物、末端执行器姿态在 3D 上一致；另一类是 goal-progress，即这个动作在当前任务阶段是否真的把状态推向目标。前者需要几何 grounding，后者需要把动作放到任务关系变化中评价。
所以 VeriSpace 的动机不是“再训练一个更强 VLA”，而是给现有 VLA 补一个专门面向执行前判别的 spatial decision layer。
Core Idea
论文的核心思想是把 VLA 的执行从 one-shot policy 改成 proposal-policy + spatial verifier。底层 VLA 只负责生成候选动作，VeriSpace 负责在 test time 用更强的空间表征和显式推理提示对候选动作重排。这个分工很重要：generator 保留大规模 robot data 学到的行为先验，verifier 则专注于局部几何一致性和目标进展判断。
本质区别在于建模方式改变了。Prior verifier 往往把动作打分看成 image-language-action reward prediction；VeriSpace 把它改成 grounded spatial relation evaluation。它引入的 inductive bias 是：动作质量应当可由任务相关实体、候选动作、局部 3D 几何之间的关系解释，而不是完全依赖 VLM 从 2D patch 中隐式恢复。
这也解释了为什么它可能更 scalable：随着采样候选数增加，policy 负责覆盖，verifier 负责筛选；两者可以独立扩展。尤其在 base policy 已经能提出若干近似可行动作时，显式 3D verification 的边际收益会高于继续让 policy one-shot 自信输出。
Method
方法层面可以压缩成三个机制。
第一，3D-aware scene representation。论文将深度反投影为 3D 坐标，并把坐标编码注入视觉 token，同时保留一条独立的 geometry token stream。这解决的是 VLM 视觉 token 缺少 metric spatial grounding 的问题。核心变化不是“多输入一个 depth”，而是让 verifier 的 token space 中显式存在可比较的 3D 位置信息。
第二，local geometry aggregation。单个 patch 的 3D 坐标不足以判断 manipulation 质量，因为抓取和放置常依赖局部表面、边缘、空隙、邻近障碍等结构。通过基于 3D 邻域的聚合，模型获得局部几何上下文。这个机制的价值在于减少纯 patch-level 表示对接触相关细节的丢失。
第三，spatially-grounded action reasoning + preference training。候选动作被 tokenized 后与 scene token、instruction 一起输入 VLM，模型在合成 CoT 监督下先进行 task-relevant object grounding、spatial relation / progress assessment，再输出 scalar score。训练使用 Bradley–Terry pairwise ranking，偏好标签由候选动作与 ground-truth action 的 RMSE 确定。这里的关键是把 action scoring 约束到可解释的中间空间结构上，而不是直接回归分数。
Key Insight / Why It Works
最可能真正有效的部分是“proposal coverage + spatial reranking”的组合，而不是 CoT 文本本身。VLA 采样提供了 action diversity；只要候选集合中包含接近成功的动作，verifier 的任务就从连续控制生成变成相对容易的 pairwise discrimination。这个问题转换大幅降低了难度。
3D inductive bias 是核心贡献。对于 pick-place、stacking、drawer、plate-height 这类任务，成功与失败往往由相对位置、高度、接触点和局部障碍决定。2D VLM 可以隐式学一部分，但对小幅 pose 差异缺少稳定坐标系；显式 3D token 相当于给 verifier 一个更合适的判别空间。实验中 w/o 3D、w/o D3SE、w/o SGAR 的下降支持这一点。
但需要直接说：这里的“reasoning”不应过度解读。CoT 是由 depth estimator、Grounding DINO、SpatialRGPT 合成的，模型很可能学到的是带空间术语的判别模板和数据相关 prior，而不是形成可泛化的物理推理。它可能主要起 regularization / representation alignment 作用，让 final hidden state 更关注 object relation，而不是证明 LLM 真的在进行因果规划。
另一个重要增益来源是 test-time compute scaling。k 从 1 到 8 明显提升，说明收益很大部分来自 repeated sampling + reranking。VeriSpace 相比 RoboMonkey 的改进说明不是纯参数量，但仍不能排除训练数据、合成监督、候选分布和 benchmark task structure 与 verifier 偏好高度匹配。
因此我的判断是：实质贡献是更好的 verifier inductive bias，而非新的 policy learning；辅助贡献是 CoT supervision 和工程化并行验证；可能被高估的是“goal-progress reasoning”的通用性。
Relation To Prior Work
这篇最接近 Robomonkey / RoVer / V-GPS / MG-Select 这条 test-time sampling-and-verification 谱系，而不是传统 3D-VLA policy 训练路线。它继承了同一个基本范式：多采样候选动作，再用外部 criterion 排序。但它指出 prior verifier 的弱点在于缺少动作-场景的显式 3D grounding。
相对 Robomonkey/RoVer，VeriSpace 的本质新增信息是 3D 几何和空间关系监督，而不是 verifier 这个概念本身。相对 MG-Select，它不是 verifier-free 的分布式启发式评分，而是学习一个带空间 inductive bias 的 reward/ranker。相对 SpatialVLA、3DS-VLA、PointVLA 等 3D-enhanced VLA，它不是把 3D 注入 policy，而是把 3D 放在 test-time verifier 里；这使其更 plug-and-play，也避免直接破坏 VLA policy 的预训练对齐。
看似新的部分包括 dual-path token、geometry aggregation、CoT reasoning，但这些都是已有 3D VLM、PointNet++ 局部聚合、LLM reward modeling、preference learning 的重组。实质创新在于把这些机制放到了 action verification 这个接口上，并证明这个接口对现有 VLA 有稳定增益。
Dataset / Evaluation
评估覆盖了 SimplerEnv、LIBERO 和 Franka 真机，且使用多个 VLA backbone，这比只在单一 policy 或单一 benchmark 上做 reranking 更有说服力。最能支撑论文 claim 的结果是：空间敏感任务上增益更明显，并且在真机 OOD 设置中也有提升。这说明 3D-aware verifier 确实可能缓解一部分 distribution shift。
但 evaluation 仍主要验证局部 manipulation decision，而不是通用机器人推理。LIBERO-Long 上提升有限，说明该方法对 long-horizon planning、状态记忆、子目标分解的帮助不大。真实世界任务数量也偏少，且多为 pick-place / stacking / drawer 变体，任务结构与训练/合成标注 pipeline 可能匹配较强。
另一个需要注意的点是 preference label 来自与 demonstration action 的 RMSE，而评估成功来自环境 rollout。这个 supervision 和真实 outcome 之间存在 gap：离 expert 更近不必然更成功，尤其在多解任务中可能误判 alternative valid actions。因此实验支持“better reranking under demonstration-like candidate distributions”，但还不足以证明它学到了 general-purpose action value。
Limitation
第一，方法强依赖候选动作质量。VeriSpace 是 reranker，不是 planner；如果 base VLA 采样空间没有覆盖正确动作，verifier 无法修复。这也是为什么强 backbone 上增益较小，而弱 backbone 或空间任务上增益更大。
第二，3D 输入链路是隐含前提。论文使用 depth 或估计深度，并需要相机内外参把 depth 反投影到 workspace。真实部署中深度噪声、透明/反光物体、遮挡、手眼标定误差都会直接影响 verifier。文中未充分说明在深度失败或标定偏移下的鲁棒性。
第三，所谓 goal-progress assessment 可能并没有真实建模 transition dynamics。模型没有显式 forward dynamics，也没有 rollout，只是根据当前 observation、候选动作和语言目标推断预期进展。这对于单步 pick-place 足够，但对需要物理后果预测、接触动力学或多步依赖的任务，上限明显。
第四，CoT 监督存在 hidden supervision 问题。Grounding DINO、SpatialRGPT、Metric Depth Anything 共同生成 reasoning annotation，这相当于把多个外部 foundation model 的先验蒸馏进 verifier。增益来源不清：可能来自空间结构，也可能来自更丰富的 synthetic supervision 和更强的数据覆盖。
第五，计算和系统复杂度被转移到了 test time。虽然论文展示了 KV-cache reuse 和多 GPU 并行后开销可控，但这依赖部署资源；对于高频闭环控制或边缘机器人，7B verifier 对每个候选打分仍可能是瓶颈。
Takeaway
- 1. 对 VLA 来说，test-time verification 是比继续追求 one-shot policy 更现实的可靠性路径；但 verifier 必须有不同于 policy 的信息优势，否则只是重复同一个 prior。
- 2. 3D 几何最适合放在 action selection / verification 这个层级：它不一定要改写整个 VLA policy，却能在执行前提供关键的物理判别信号。
- 3. CoT 在这里更像 representation shaping，而不是可信的推理证据。
- 未来更值得做的是把 verifier 的中间判断与可验证的 geometric checks、contact feasibility 或 learned dynamics 对齐。
一句话总结
VeriSpace 是把 VLA 从 one-shot action generation 推向 3D-grounded test-time reranking 的代表性工作，真正贡献在于为 action verifier 引入空间几何 inductive bias，而不是提出一个新的通用机器人策略模型。