跨时空的视觉化思考:面向视频分割的接地推理 Think Visually Across Space and Time: Grounded Reasoning for Video Segmentation
用时序视频基元链把思维链显式锚定到时空证据,大幅提升视频推理分割
前置知识
视频推理分割(VRS)
视频推理分割要求模型理解一个隐式的自然语言查询(如“谁在与染发运动员握手之后又拥抱了他”),在视频中找出被指代的目标,并输出该目标在整个视频上的像素级掩码轨迹。它由指代视频分割(RVOS)扩展而来:查询不再直接描述目标外观,而是编码意图、常识与时序逻辑,因此模型必须同时完成语义消歧、时间定位和空间分割三件事。
本文的任务设定就是 VRS,所有基准(ReVOS、MeViS、ReasonVOS、Long-RVOS、GroundMoRe)、评价指标和对比方法都围绕它展开,先理解任务才能理解改进点在哪里。
思维链(CoT)与引用鸿沟
思维链让模型先输出中间推理步骤再给最终答案。纯文本 CoT 的问题在于:推理可以把目标选择“讲得通”,却不会把推理中提到的实体绑定到具体帧和具体框上。论文把这种失配称为视频引用鸿沟——语言结论与分布在各帧中的视觉证据之间缺少显式对应,导致推理可能指错人、指错时间段,且中间过程无法被检查或监督。
引用鸿沟是本文的问题出发点,TCoVP 的整个表示设计、数据构建和奖励设计都是为了在推理过程中弥合这个鸿沟。
GRPO 组相对策略优化
GRPO 是一种在线强化学习算法:对同一输入采样一组 G 个候选回答,用组内奖励的均值和标准差把每个回答的奖励归一化为优势,从而省去价值网络;再优化带长度归一化的对数似然,并用 KL 惩罚约束策略不偏离参考模型。DeepSeek-R1 等推理模型广泛采用该算法来优化可验证的推理过程。
TCoVP 的第二阶段训练就是 GRPO 式的“链对齐 RL”,公式 (5)(6) 的组归一化优势与 KL 正则均来自它,理解它才能看懂四项奖励如何作用于基元链的生成。
SAM2/SAM3 视频掩码传播
SAM 系列是可提示的视频分割基础模型:给定某一帧上的框或点提示,模型生成初始掩码并在整段视频上双向传播,输出完整的掩码轨迹。本文用 SAM3 作为掩码执行后端——MLLM 只负责“想清楚目标是谁、在何时何地”,精细的像素级分割由 SAM3 完成,两者解耦。
TCoVP 的最终输出不是掩码而是带时间戳的框提示,分割质量是 MLLM 推理与 SAM3 传播的乘积效应;附录的 oracle 分析正是通过更换后端和替换真值提示来定位误差来源的。
J&F 与 tIoU 指标
VRS 领域的标准指标:J 是区域相似度(预测掩码与真值掩码的 IoU),F 是轮廓精度(基于边界 F 度量),J&F 是两者平均;tIoU 是时间交并比,衡量预测时间段与真值时间段的重合程度。运动接地类基准(如 GroundMoRe)同时考察 J&F 与 tIoU,因为目标只在动作区间内有效。
论文所有表格都用 J&F(及其 J、F 分解)报告,时间定位部分用 tIoU,而且奖励函数 $\mathcal{R}_{ta}$、$\mathcal{R}_{stg}$ 直接内嵌了 IoU 和 tIoU,不熟悉这些指标就无法读懂实验与公式。
LoRA 低秩适配
LoRA 冻结预训练模型权重,只训练注入的低秩分解矩阵(秩 $r$、缩放 $?lpha$),大幅降低微调的显存与存储成本,是 3B/4B 级多模态模型做监督微调的主流选择。
TCoVP 在 Qwen2.5-VL-3B 和 Qwen3-VL-4B 上用 LoRA($r{=}64, ?lpha{=}128$)做 SFT,这是复现训练设置的关键细节,也说明该方法的算力门槛不高。
研究动机
视频推理分割要求模型把“谁在与染发运动员握手之后又拥抱了他”这类隐式查询解析成目标实体的像素级掩码轨迹。现有方法分两类:一类用潜在分割 token 或掩码解码器连接语言与掩码(如 VISA、HyperSeg、VideoLISA),推理过程不可读也不可验证;另一类用强化学习优化文本思维链加关键帧选择(如 Veason-R1、VideoSEG-O3),但文本 CoT 可以把目标选择“讲得通”,却不把语言引用绑定到具体帧和具体框上。论文把这一失配称为视频引用鸿沟:Figure 1 的例子里,“染发运动员”只是识别语境,真正要分割的是与它握手的教练,而教练在握手之后仍长期可见;文本 CoT 方法 Veason-R1-3B 于是聚焦到后面的拥抱事件,把框打在了错误的运动员身上。在运动接地基准 GroundMoRe 上,这种时间与指涉的混淆使最强的 RL 基线 VideoSEG-O3-4B 总体 J&F 只有 31.96,说明该问题远未解决。
本文的目标是本文的目标是让 Video CoT 在推理全程获得显式的空间与时间引导,可拆成三点:其一,推理中的每一次视觉指涉都要落成带时间戳、带框、带时间支撑的结构化证据,而非一句含混的自然语言;其二,表示必须能区分“提供语境的上下文实体”与“要分割的目标实体”,并区分“查询动作发生的区间”与“对象仅仅可见的区间”——这正是 Figure 1 的握手/拥抱例子和 GroundMoRe 基准的核心难点;其三,推理结束后应能直接把选出的目标证据转换成掩码预测所需的空间提示(带时间戳的框)与时间约束(动作区间),让“想”与“分割”无缝衔接。配套地,作者还要构建能把这种接地推理监督出来的数据与训练目标,并用受控实验证明:在同等数据量与骨干网络下,接地表示本身(而非额外数据)带来了提升。
与已有工作不同的是,已有工作的切入角度各不相同:潜在 token 方法把语言到掩码的连接藏在模型内部,不可解释;关键帧选择类方法(Veason-R1 等)只在推理末尾挑一帧做提示,丢失时序结构;VideoSEG-O3 用多轮工具交互反复细化时空预测,流程复杂;thinking-with-image 一系方法(DeepEyes 等)在图像上裁剪区域,但图像没有时间轴;Open-o3 Video 为视频 QA 生成时间戳空间证据、STVG-o1 做时空视频接地、EventCoT 做事件中心时序定位,但都不是面向隐式查询的像素级分割。TCoVP 的独特切入是:(1) 把视觉证据组织成按时间排序的基元链,用重复实体 id 把跨时刻观测串成同一对象,同时用链的顺序记录证据的时序演化,这是图像基元方法与单关键帧方法都不具备的结构;(2) 整个接地过程在单轮自回归生成内完成,无需多轮工具调用;(3) 链中选出的目标基元直接可执行,成为 SAM3 的框提示与时间约束。
核心方法
直觉上,TCoVP 让模型“边看边记”:像侦探做时间线笔记一样,在一条推理轨迹里按时间顺序记下每个与查询相关的实体——它是谁(实体 id 与语义状态)、何时被观察到(时间戳)、在画面哪里(框)、它成立的时间段(时间支撑)、与谁发生什么动作(关系)。技术路线分四步:首先定义时序基元链表示,每个基元 $p_\ell=(\mathrm{id}_\ell,c_\ell,\tau_\ell,b_\ell,[s_\ell,e_\ell],r_\ell)$,链按 $\tau_1\le\tau_2\le\cdots$ 排列;其次在 ReVOS/MeViS/Long-RVOS/GroundMoRe 训练集上用 Kimi-K2.5 自动生成与基元交错的推理标注,经链一致性检查(时间戳有序、实体 id 复用、目标可匹配)与 Qwen2.5-VL-7B 视觉过滤,得到 TCoVP-SFT-15k 与 TCoVP-RL-13k;然后用 SFT 冷启动让模型学会规范序列化,再用 GRPO 式链对齐强化学习优化四项奖励;最后推理时解析 中的目标基元,把带时间戳的框交给 SAM3 双向传播成掩码轨迹,多基元结果按像素并集合并。
核心创新是把“接地”从推理之后挪进推理之中:文本 CoT 只在最后输出一个框或关键帧,中间引用全是自然语言,既无法被检查也无法被监督;TCoVP 则强制每个中间引用都写成一个可解析、可验证、可执行的基元——实体身份、时间戳、框、时间支撑都是结构化字段。与潜在 token 方法的本质区别:这里的表示是离散符号序列,与标准自回归解码完全兼容,而且人可读、规则可查、奖励可算。与关键帧方法的本质区别:基元链显式区分了实体身份与单次观测(同一 id 在不同时间戳复用以保持实体连续性)、区分了动作区间与可见区间( 的语义按目标/上下文角色不同而不同),因此既能回答“哪里”也能回答“何时”。与多轮工具调用方法(VideoSEG-O3)的区别:单轮生成完整时序链,训练与推理流程简单,且链中每个基元都可独立解析和验证。这个结构还使中间接地本身可以被奖励直接监督(时间对齐、空间 IoU),形成所谓的 chain-aligned RL,使训练目标与最终执行路径严格对齐。
方法步骤详情
流程分五步。(1) 输入:视频 $V$ 均匀采样 16 帧(始终保留首尾帧)与隐式查询 $q$。(2) 链生成:在 中按时间顺序自回归展开,每个采样时刻 $t_k$ 执行 $\mathcal{C}^{(k)}_q=\mathrm{Append}(\mathcal{C}^{(k-1)}_q,\mathrm{Emit}(I_{t_k},q))$,无相关证据时 Emit 为空;每个基元以 /// 标签序列化,同一实体跨时刻复用 id,允许后文回访修订早期基元。(3) 目标选择:链完成后在 中选出查询相关基元集 $\mathcal{P}_{ans}$。(4) 掩码执行:目标基元的 $(\tau_\ell,b_\ell)$ 映射到对应帧作为 SAM3 框提示,$\widehat{\mathcal{M}}=\bigvee_{p_\ell\in\mathcal{P}_{ans}}\Phi_{seg}(\mathcal{V};\tau_\ell,b_\ell)$,双向传播后按像素并集合并;GroundMoRe 将掩码限制在预测动作区间内,无有效基元则输出空轨迹。(5) 训练:SFT 一轮(LoRA $r{=}64,\alpha{=}128$,lr $4\times10^{-5}$)加 RL 两轮(每组 $G{=}8$,lr $5\times10^{-7}$);奖励 $\mathcal{R}=\mathcal{R}_{str}+\mathcal{R}_{ta}+\mathcal{R}_{stg}+\mathcal{R}_{acc}$:结构项检查标签配对与格式;$\mathcal{R}_{ta}$ 用高斯容差 $\sigma{=}1.0$ 的软精确率/召回率 F1,防止证据坍缩到单一时间戳;$\mathcal{R}_{stg}$ 在 1s 时间门内取最大框 IoU 并乘上时间支撑的 tIoU;$\mathcal{R}_{acc}$ 以 $R_{i,j}=w_tT_{i,j}+w_sS_{i,j}$ 为代价做匈牙利一对一匹配,按 $\max(M_{ans},N_{ans})$ 归一化(零目标双方皆空得满分),权重除 GroundMoRe 用 $w_t{=}2,w_s{=}1$ 外均为 $w_t{=}1,w_s{=}2$。
技术新颖性
技术新颖性可从四个层面评估。问题层:首次把“视频引用鸿沟”表述为需要显式中间监督的问题,并指出其两个成分——空间上实体身份与单次观测的混淆、时间上动作区间与可见区间的混淆。表示层:视频基元链同时编码实体连续性(id 复用)与时序演化(链的顺序),且与标准自回归解码完全兼容,是对图像基元方法(Thinking with Visual Primitives)在时间维度的非平凡推广,也不同于 Open-o3 Video 的一次性证据列表。训练层:四项奖励全部定义在链本身的结构上,这是 chain-aligned 区别于一般 outcome reward 的关键——结构有效性检查标签配对、时间对齐用高斯软 P/R 的 F1 同时惩罚无关与缺失证据、时空接地用时间门内 IoU×tIoU、目标准确率用匈牙利匹配同时惩罚幻觉与漏检,奖励与最终掩码执行路径共享同一套中间量。数据层:给出一条自动管线,把原本不产生中间接地监督的掩码型 VRS 数据转换为可验证的基元链监督,并用 Qwen2.5-VL-7B 对上下文实体框做二次语义过滤,解决“没有天然标注”的冷启动问题;同一数据池保留纯文本对照轨迹,使表示消融成为受控实验。
实验结果
(1) 运动接地基准 GroundMoRe(表1):TCoVP-M-4B 总体 J&F 55.37、TCoVP-4B 55.21、TCoVP-3B 53.67,而所列最强先前基线 VideoSEG-O3-4B 仅 31.96,领先逾 21 分,sequential 子集最高达 60.17。(2) 通用 VRS(表2):Molmo2-4B 变体在 Long-RVOS 67.4、ReVOS 68.3、MeViS 65.2 均为所列最高,ReasonVOS 上 Qwen3-VL-4B 以 72.1 领先;三个变体在 Long-RVOS/ReasonVOS 一致超越最强基线 7.7–10.0 与 6.7–7.3 分。(3) 表示消融(表3,数据量与训练配置完全相同):文本 CoT 五基准宏平均 57.8 → TCoVP-3B 62.7,GroundMoRe +7.4(46.3→53.7),其余 +2.5~6.4;相对 Veason-R1 的 48.3 提升 14.4 分,证明增益来自接地表示本身而非额外数据。(4) RL 消融(表4):SFT→SFT+RL 在四基准分别 +8.8/+8.5/+5.4/+9.9 分;去掉 $\mathcal{R}_{ta}$ 或 $\mathcal{R}_{stg}$ 均全面下降。(5) 中间接地质量(表7/8):RL 使 Long-RVOS 的 answer 框 IoU 从 54.9 升至 64.3、GroundMoRe 从 52.6 升至 59.4,tIoU 从 44.29 升至 50.20。(6) 后端与 oracle 分析(表5/6):换 SAM2 后 TCoVP-3B 仍比 Veason-R1 高 12.9/14.2/4.3/30.6 分;GroundMoRe 上 oracle 时间段把 J&F 从 53.67 提到 85.54,oracle 框仅 +6.43,双 oracle 达 93.10,说明时间定位是主要误差源。(7) 零样本迁移(表9):Ref-DAVIS17 达 81.7、Ref-YouTube-VOS 达 73.6(均未使用其训练集)。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| 运动接地视频推理分割 GroundMoRe(总体) | J&F | 55.37(TCoVP-M-4B);53.67(TCoVP-3B) | 31.96(VideoSEG-O3-4B,最强先前方法) | +23.4 / +21.7 |
| Long-RVOS | J&F | 67.4(TCoVP-M-4B) | 57.4(VideoSEG-O3-4B) | +10.0 |
| ReasonVOS | J&F | 72.1(TCoVP-4B) | 64.8(ReVSeg-7B) | +7.3 |
| ReVOS | J&F | 68.3(TCoVP-M-4B) | 67.7(VideoSEG-O3-4B) | +0.6 |
| MeViS | J&F | 65.2(TCoVP-M-4B) | 60.0(VideoSEG-O3-4B) | +5.2 |
| 推理表示消融(五基准宏平均,同数据同配置) | J&F | 62.7(TCoVP-3B) | 57.8(同数据文本 CoT);48.3(Veason-R1-3B) | +4.9 / +14.4 |
| Ref-DAVIS17(零样本迁移) | J&F | 81.7(TCoVP-4B) | 80.0(VideoSEG-O3-2B) | +1.7 |
局限与改进
作者承认的局限:模型只在 16 个均匀采样帧上推理,帧间发生的短暂事件可能完全不被观察到;跨实体的动作与关系仍以自然语言写在链中,缺少专门的结构化表示;最终掩码继承 SAM3 传播的误差。我的补充观察:其一,Figure 10 的失败案例显示,即便实体定位与时序接地全部正确,关系角色理解错误(把防守方当成进攻方)仍会选错目标,说明查询逻辑推理是独立于接地的另一个瓶颈;其二,标注管线依赖专有模型 Kimi-K2.5 生成、Qwen2.5-VL-7B 过滤,监督质量受制于这两个模型,可能继承其偏差,且中间标注数据能否随代码开源尚不明确;其三,奖励权重 $w_t/w_s$ 按数据集手工设定,迁移到新基准需要重新调参;其四,零目标样本仅占 2.5%,抗幻觉能力可能训练不足;其五,宏平均把五个规模不同的基准各计一次,与各测试集实际大小不成比例;其六,与不同基线的对比中骨干与规模并不完全对齐(如 ReVSeg-7B 是 7B 模型),跨表比较需谨慎。
独立分析的弱点
独立分析的弱点与改进方向:(1) 均匀 16 帧采样对快速动作(如瞬间触球)几乎必然漏采,且论文自己的 oracle 分析(表6)显示时间定位误差占总误差大头——可引入两阶段自适应采样:先粗读全片提名候选区间,再对候选区间高帧率精读;(2) 关系与动作只有自然语言描述,Figure 10 的角色混淆即源于此——可把交互写成结构化三元组基元 $(subject,predicate,object,interval)$ 并加图一致性奖励;(3) 分割执行与推理完全解耦,MLLM 得不到最终掩码质量的反馈——可用传播掩码与伪真值的 IoU 作为额外终端奖励回传策略;(4) 数据依赖 Kimi-K2.5 生成、Qwen2.5-VL-7B 过滤,成本与偏差并存——可改用开源模型蒸馏,或利用已有真值框做硬校验的自举迭代;(5) 零目标与多目标样本稀少(2.5%/14.7%),抗幻觉与多目标推理可能欠训练——应扩充占比并单独报告幻觉率;(6) 单轮生成使链无法自我修正错误观测——可探索测试时多次采样加链一致性投票,或解码中带显式回溯标记。
未来方向
作者提出的方向:自适应时间采样以捕获帧间短事件;更密集的空间证据以增强接地;为跨实体交互引入结构化表示。基于本文成果可自然延伸的研究:(1) 把基元链作为过程监督信号训练过程奖励模型(PRM),逐步验证链中每个基元的时空正确性,而不仅靠最终奖励;(2) 把“目标基元→SAM3”的执行路径替换为端到端可学的分割头,同时保留链对齐奖励,消除对冻结传播后端的依赖并让梯度流回推理;(3) 把时序基元链推广到其他视频任务——时刻检索、接地视频 QA、视频时序场景图构建——检验该表示的通用性;(4) 长视频下的层级化时序链:先建立秒级事件索引,再在相关事件内部展开细粒度基元,从根本上突破 16 帧约束;(5) 流式/在线设定下的增量链维护,使模型在视频持续输入时更新实体证据,面向机器人与具身智能场景;(6) 结合主动视觉范式,让模型在证据不足时主动“回看”特定时段或请求更高帧率,与 thinking-with-image 的工具使用思想接轨。
复现评估
复现条件总体友好。代码与模型承诺公开(项目页 victor-wjw.github.io/TCoVP/)。训练数据基于公开数据集 ReVOS/MeViS/Long-RVOS/GroundMoRe 的训练划分构建;附录 A.1 给出了完整的标注提示模板(Figure 5 的 JSON schema)、两套任务系统提示(Figure 6)、数据构成(Figure 4:SFT-15k 含 5.8k ReVOS、4.8k MeViS、2.6k Long-RVOS、1.8k GroundMoRe;RL-13k 相应为 5.1k/4.0k/2.2k/1.5k)以及全部超参(LoRA 设置、SFT lr $4\times10^{-5}$、RL lr $5\times10^{-7}$、$G{=}8$、KL 系数 0.04/0.1、$\sigma{=}1.0$、时间门 1s、$w_t/w_s$、温度与采样参数),细节充分。算力方面骨干仅 3B/4B、SFT 用 LoRA、RL 仅两轮,属中小规模训练,实验室级算力即可复现。主要风险:其一,标注依赖闭源的 Kimi-K2.5,若作者不随代码发布 TCoVP-SFT-15k/RL-13k 及中间产物,复现者需自付 API 成本重建数据,这是最大不确定性;其二,掩码执行依赖 SAM3 的可得性;其三,五个基准的评估协议对齐需仔细核对。综合判断:若数据随代码发布则复现为中低难度,否则为中等难度。
论文图表
同一查询“谁在与染发运动员握手之后又拥抱了该运动员”下的方法对比。左侧 Veason-R1-3B 采用纯文本关键帧式 CoT,聚焦到后段拥抱事件并把框打在错误的运动员身上;右侧 TCoVP-3B 在推理中逐步记录 [VP1]–[VP4] 四个带时间戳的视频基元(教练与运动员的握手框在 2.3s、3.0s,拥抱确认在 4.7s),区分握手区间 2.3–4.7s 与更长的可见区间,最终选中教练基元并输出其掩码轨迹。
一图讲清“视频引用鸿沟”问题与 TCoVP 的解法:文本 CoT 错在哪、基元链如何区分上下文实体与目标实体、动作区间与可见区间,是理解全文动机的入口。
查询“谁无法被白衣男子防住(得分)”,真值目标是红衣男子。TCoVP-3B 正确识别并全程追踪两名球员,实体身份、时间支撑与空间框都无误,但把攻防角色颠倒:将红衣男子解读为防守方、白衣男子解读为进攻方,最终选中 man_in_white,掩码全程跟着错误的人。
论文唯一展示的失败案例,说明对象定位与时序接地正确并不保证目标选择正确,细粒度关系角色推理是接地之外的独立瓶颈。