VIS-Ground:具有上下文接地的视频交互式叙事 VIS-Ground: Video Interactive Storytelling with Contextual Grounding
把异构上下文编译为可执行约束,让交互式视频续写同时忠于源、前缀与请求
前置知识
条件视频生成
指以文本提示、图像或已有视频片段为条件生成新视频的技术,主流实现是扩散模型或自回归流式模型。本文任务要求从已渲染的视频前缀 $v_{\text{prefix}}$ 出发续写 48 秒的多镜头视频,骨干模型(Omni-1.1-Flash、Veo 3.1、MiniMax-H3)负责最终的像素合成,而上层框架只负责决定以什么内容作为条件。
本文明确不修改生成模型本身,实验中跨骨干的比较就是为了分离'骨干能力'与'框架贡献',不理解这层边界就会误读 VC/VQ 等指标为何几乎由骨干决定。
上下文接地
让生成内容与外部信息源(叙事大纲、科学论文、维基条目等)保持一致的研究方向,要求模型不仅生成'好看'的视频,还要忠实传达源中的事实、事件与因果关系。本文将其形式化为:给定接地源 $\mathcal{G}$、视频前缀和新观众请求 $u$,生成 $v_{\text{cont}} \sim p_\theta(v_{\text{cont}} \mid \mathcal{G}, v_{\text{prefix}}, u)$。
这是论文的问题定义与命名来源;六个评估指标(SF/SC/IF/JCS/VC/VQ)的划分方式完全围绕'接地忠实'与'感知质量'两条线设计。
类型化谓词与结构化状态表示
用带类型和参数的谓词(如 Has(B, key, t)、Unlocks(key, cabinet))显式表示实体、属性、事件、关系和状态转移,并附加时间范围与证据链接。相比自由文本摘要,谓词化表示可以被程序化地检索、跨输入对齐与逐条检查,是符号推理与神经生成之间的桥梁。
论文的核心数据结构 $\mathcal{M} = (\mathcal{V}, \mathcal{H}, \mathcal{S}, \mathcal{A})$ 全部由谓词构成,消融实验(换成自由文本摘要掉 7.60 分)证明这种表示本身就有实质贡献。
约束满足与约束诱导
约束满足问题(CSP)研究在给定变量与限制条件下求可行解;约束诱导则指从数据或上下文中自动发现约束而非人工定义。本文把从依赖模型派生的关系投影为四元组约束 $c_j = (s_j, a_j, b_j, e_j)$,对候选脚本逐条评估为 pass/fail/unknown,并用失败反馈驱动定向修复。
方法的第二、三阶段本质上就是'约束诱导 + 约束引导的修复循环',掌握这个框架才能看懂算法流程和消融设计。
LLM/VLM 即评审
用大语言模型或多模态大模型按评分标准对生成结果自动打分的评估范式,通常配合逐项检查清单(checklist)和评分锚点提高一致性,并用人工盲测验证与人类判断的吻合度。本文用 Gemini 3.8 Flash 和 Claude Opus 5 两个独立评审,各指标取两者平均。
VIS-Bench 的全部六项指标都依赖这种方式计算,了解其清单式五级评分的机制与局限,才能正确解读 Table 1 中的分数和置信区间。
研究动机
现有工作分为两支却都没回答关键问题:交互式视频生成系统(如 StreamDiT、LongLive)强调低延迟地跟随用户提示词;源接地视频生成方法则只关注让内容与外部叙事或知识源对齐。但当观众在视频生成中途插话时,新请求往往同时隐含依赖于接地源和已渲染前缀,这些依赖不会在任何单个输入中显式出现。以论文 Figure 1 为例:已渲染片段显示桥断了、有船可用,用户请求'用船把药送给祖母并保持药干燥'——'必须用船'来自当前视频状态,'保护药物'则是源目标与新请求联合产生的约束。直接把三个输入拼进生成器会让这些关系保持隐式,容易引入不相容的状态变化、违背已传达的信息、或以源不支持的方式满足请求。问题的普遍性有数据支撑:大规模人机交互日志显示 18–30% 的会话中用户会在看到输出后修改意图(Mysore et al., 2025);作者的形成性研究(9 名志愿者,7 人通过注意力测试)测得带交互的学习增益为 47.9 个百分点,无交互仅 32.1 个百分点。
本文的目标是本文的目标是把'上下文接地'形式化为一个可操作的计算问题:给定接地源 $\mathcal{G}$(叙事、论文、维基页面或参考文档)、已渲染视频前缀 $v_{\text{prefix}}$ 和新观众请求 $u$,生成既回应观众、又与既有上下文兼容的视频续写 $v_{\text{cont}} \sim p_\theta(v_{\text{cont}} \mid \mathcal{G}, v_{\text{prefix}}, u)$。具体拆成三件事:其一,提出 VIS-Ground 框架,把异构非结构化输入转换为可执行的约束模型,并在生成全程(规划、脚本修复、渲染后修复)持续使用;其二,构建 VIS-Bench 基准,配对接地源、视频前缀与观众干预,覆盖叙事接地(132 个源)与知识接地(118 个源)两种设定;其三,设计能区分'上下文接地'与'感知生成质量'的六维评估体系(SF/SC/IF/JCS/VC/VQ),并在三个视频骨干上验证方法的一致优势,目标是平均绝对提升 10 分以上的综合表现。
与已有工作不同的是,独特的切入角度是把接地视为一个'上下文编译'问题:不再只问'接下来生成什么',而是先把各输入确立了什么(事实与状态)与它们的组合关系对生成意味着什么(依赖)分开处理。关键洞察是:许多约束只有在源、历史与请求被联合接地后才浮现,任何单一输入里都找不到'用船'或'保持药干燥'这类要求。与既有工作的本质差异在于:MM-StoryAgent 靠多智能体协调、MovieAgent 靠层级长片规划、VideoGen-of-Thought 靠显式中间推理,但它们都缺少一个从异构输入联合派生、可追溯到证据、且随候选续写演化而重算的约束层。本文也不提出新的视频合成模型,而是在理解与生成之间架起一个显式接口:依赖集 $\mathcal{R} = \text{Derive}(\mathcal{M})$ 从对齐状态中派生,再按候选条件化地激活为约束,同一套接地依赖模型同时服务渲染前与渲染后两个验证环节。
核心方法
直觉上,VIS-Ground 把'该接什么地'变成一个编译—检查—修复的循环:上下文先被编译为依赖,依赖只在被候选续写使其相关时才实例化为约束,违约再用于修复脚本或渲染结果。技术路线分三步:第一步 Structured Context Abstraction,用 VLM 把接地源、视频前缀和请求抽取为带类型谓词(含参数、时间范围、证据链接)的三种状态——视频状态 $\mathcal{V}$(画面已确立的实体、属性、位置、持有、动作与状态转移)、故事状态 $\mathcal{H}$(已完成事件、活跃目标、因果依赖与已传达信息)、源状态 $\mathcal{S}$(原子断言、定义、关系及限定条件),加跨上下文对齐 $\mathcal{A}$,构成接地模型 $\mathcal{M} = (\mathcal{V}, \mathcal{H}, \mathcal{S}, \mathcal{A})$。第二步 Generation Constraints Induction,派生依赖集 $\mathcal{R} = \text{Derive}(\mathcal{M})$,覆盖时间先后、因果前提、状态转移、持久性、兼容性与源支持依赖。第三步 Constrained Video Generation,规划器提出候选脚本 $P^{(0)} \sim p_\theta(P \mid \mathcal{M}, u)$,被激活约束逐条评估为 pass/fail/unknown,失败则定向修复脚本,通过后渲染并对渲染结果做同样的依赖检查,直至满足约束或预算耗尽。
核心创新是'候选条件化的约束激活'。接地模型不是一次性拼进提示词的额外条件,而是一个持续活跃的依赖库:每条依赖表示为约束 $c_j = (s_j, a_j, b_j, e_j)$,其中 $s_j$ 指定实体与时间范围,$a_j$ 是适用条件,$b_j$ 是必须成立的关系,$e_j$ 是支持该依赖的接地证据;仅当候选脚本引入了使该依赖相关的事件、关系或状态转移时(即 $a_j(P^{(k)}, \mathcal{M}) = 1$)才被激活。例如'持有'依赖只在脚本包含需要特定角色持有某物的动作时才约束生成,源定义的前提只在候选试图执行依赖它的有效事件时才生效。这与已有方法的区别是本质性的:依赖是派生对象而非额外存储组件,约束是针对候选实例化的产物而非预定义类别,且方法明确不以最终视频评测指标为优化目标;每次约束评估都保留指向支撑谓词和证据的链接,失败可以回溯到具体上下文依赖并转化为定向修订反馈,而不是从头重新生成。
方法步骤详情
第一步,接地状态抽取:输入为接地源文本、视频前缀帧与观众请求,用 VLM 抽取实体、属性、事件、关系和状态转移,写成带参数、时间范围与证据链接的类型化谓词,组织为 $\mathcal{V}$、$\mathcal{H}$、$\mathcal{S}$ 三个互补状态并构建跨状态对齐 $\mathcal{A}$,输出 $\mathcal{M} = (\mathcal{V}, \mathcal{H}, \mathcal{S}, \mathcal{A})$。第二步,依赖派生与约束诱导:对 $\mathcal{M}$ 运行 Derive 得到 $\mathcal{R}$;针对候选脚本 $P^{(k)}$ 逐条判断激活,实例化为 $c_j = (s_j, a_j, b_j, e_j)$,评估返回 pass、fail 或 unknown。第三步,规划与脚本修复:失败约束连同证据生成定向反馈 $F^{(k)}$,按 $P^{(k+1)} = \text{Revise}_\theta(P^{(k)}, \mathcal{M}, F^{(k)})$ 修订;因修订可能引入新事件,每次更新后重算约束激活,形成依赖引导的迭代修复。第四步,渲染与输出修复:通过脚本级检查的 $P^*$ 送入生成器 $v_{\text{cont}} \sim p_\psi(v_{\text{cont}} \mid P^*, v_{\text{prefix}}, \mathcal{G})$,再从渲染视频中抽取已实现关系并投影同一依赖集,若物件转移被省略、持久属性改变或前提事件缺失,则转化为输出级反馈回改脚本重渲染,直到满足约束或预算耗尽。
技术新颖性
新颖性体现在四个层面。表征层面:把非结构化的源、前缀、请求统一编译为谓词化的三态加对齐 $\mathcal{M}$,消融显示换成自由文本摘要(Unstructured State)使叙事设定下 SF/SC/IF 均值下降 7.60 分,证明结构化表征本身有实质贡献。推理层面:依赖集 $\mathcal{R} = \text{Derive}(\mathcal{M})$ 是从联合接地中派生的,而非任何单输入中显式存在,正命中'隐式依赖'这一核心难点。控制层面:约束是候选条件化的,只在被提议的未来使其相关时才实例化,避免了把所有可能约束塞进上下文的不可扩展做法;去掉它的 One-Pass Planning 使均值下降 4.36 分,与结构化表征的贡献互补。闭环层面:同一个依赖模型同时用于渲染前的脚本验证与渲染后的视频验证,形成 plan–verify–revise–render 循环,正面承认'脚本合法不等于视频忠实实现'。跨骨干综合分方差从 Direct 的 30 多点压到 6 点以内(约 82% 降幅),说明收益来自框架而非特定生成器。
实验结果
主实验(Table 1)在三个视频骨干上比较 Direct Generation、MM-StoryAgent、MovieAgent、VideoGen-of-Thought 与 VIS-Ground:综合分 Omni-1.1-Flash 上 84.2(次优 VideoGen-of-Thought 71.9,+12.3)、Veo 3.1 上 84.6(次优 Direct 69.3,+15.3)、MiniMax-H3 上 78.8(次优 MovieAgent 75.4,+3.4),对最强逐骨干基线平均绝对提升 10.3 分。JCS 相对最强基线的增益:Omni 叙事 +8.7、Omni 知识 +13.9、Veo 叙事 +9.2、Veo 知识 +17.0、MiniMax 叙事 +4.5、MiniMax 知识 +2.4,六个组合全为正,说明机制在两类接地源上都成立;接地相关维度(SF/SC/IF/JCS)平均提升约 10%。跨骨干稳健性:Direct 综合分在三个骨干间波动超 30 分,VIS-Ground 不到 6 分,约 82% 方差缩减。消融:叙事设定下 One-Pass Planning 使 SF/SC/IF 均值降 4.36 分,Unstructured State 降 7.60 分。失败分析(72 个输出):SF≥75 有 67 个,SC 与 IF 各 64 个,但满分稀少(SC 仅 8、IF 仅 11),说明续写常保住主上下文却丢失细节。形成性研究另显示交互带来 47.9 对 32.1 个百分点的学习增益。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| 交互式视频续写(Omni-1.1-Flash 骨干) | 综合分 Composite(0–100) | 84.2 [77.78, 90.45] | VideoGen-of-Thought 71.9 [64.50, 78.70] | +12.3 |
| 交互式视频续写(Veo 3.1 骨干) | 综合分 Composite(0–100) | 84.6 [80.95, 88.39] | Direct Generation 69.3 [57.34, 79.37] | +15.3 |
| 交互式视频续写(MiniMax-H3 骨干) | 综合分 Composite(0–100) | 78.8 [75.52, 81.42] | MovieAgent 75.4 [68.21, 81.70] | +3.4 |
| 知识接地设定下的联合约束满足 | JCS(SF/SC/IF 等权平均) | 六个骨干×设定组合增益全为正:Veo 知识 +17.0、Omni 知识 +13.9、Omni 叙事 +8.7、Veo 叙事 +9.2、MiniMax 叙事 +4.5、MiniMax 知识 +2.4 | 各组合中最强基线(MovieAgent / VideoGen-of-Thought 等) | +2.4 至 +17.0 个百分点 |
| 跨骨干稳健性 | 综合分在三个骨干间的极差 | < 6 分 | Direct Generation > 30 分 | 约 82% 方差缩减 |
| 消融:结构化表征与约束诱导 | 叙事设定下 SF/SC/IF 均值变化 | 完整方法最优 | Unstructured State(自由文本摘要)−7.60 分;One-Pass Planning(无实例化约束)−4.36 分 | 相对两个消融版本分别 +7.60 / +4.36 分 |
局限与改进
作者明确承认:VIS-Ground 并非在所有单项指标上最优,部分 IF、VC、VQ 比较落后;当请求模糊、激进或与既有上下文冲突时,框架倾向于与既有证据兼容而非字面服从,导致 IF 偶尔低于更直接条件化于最新指令的基线;视觉质量受限于底层生成器,因为方法不修改合成模型本身。Figure 9 的失败分析(72 个输出)显示既有序列与请求细节常被部分丢失(SC 满分仅 8 个、IF 仅 11 个),作者归纳的两大瓶颈是依赖抽取与渲染阶段的忠实实现。我的补充观察:其一,MiniMax-H3 上 78.8 与 MovieAgent 75.4 的置信区间高度重叠([75.52, 81.42] vs [68.21, 81.70]),弱骨干上优势统计上不牢;其二,评估依赖 Gemini 3.8 Flash 与 Claude Opus 5 双 LLM 评审,虽经盲测验证,清单式五级评分仍可能与人类偏好有系统偏差;其三,迭代验证—修复循环的延迟与调用成本未报告,而交互场景对延迟敏感;其四,VIS-Bench 的指令为规划生成的 2,008 个实例且全部用于评估,与真实用户多轮干预分布可能有差距;其五,48 秒之外的更长时程一致性未验证。
独立分析的弱点
弱点一:流水线上限被 VLM 状态抽取质量锁死——$\mathcal{V}$、$\mathcal{H}$、$\mathcal{S}$ 漏抽或错抽会传导为依赖缺失、约束激活不全,而论文对抽取环节没有独立错误率分析;改进方向是对抽取做多次采样一致性校验并引入置信度,把 unknown 约束升级为主动取证(如回看更多帧或检索源文档)。弱点二:plan–verify–revise–render 循环每轮重算激活并调用评估器,渲染失败还要重新生成视频,成本与延迟对'交互式'定位是硬伤;可训练摊销的约束预测器,在规划阶段一次性预测高价值约束子集以减少评估与重试。弱点三:方法不触及生成器本身,VQ 几乎由骨干决定(MiniMax-H3 上仅 47.8),可把约束作为条件信号注入扩散过程(LoRA 微调或噪声引导),把忠实实现从后验修复变为前验控制。弱点四:对模糊或冲突请求采用固定的'兼容优先'策略,缺少可配置权衡(如 IF–SF 权重)或向用户澄清的机制。弱点五:基准指令由模型规划生成,偏向可检查的原子需求,真实用户话题漂移与多轮连续干预未覆盖,建议补充真实用户在环评测集。
未来方向
作者指出的方向集中在两点:改进依赖抽取的质量,以及提升渲染阶段对脚本的忠实实现,同时处理请求与上下文冲突时的多目标权衡。基于本文成果可以延伸的方向包括:其一,把约束满足信号作为强化学习的奖励来训练规划器,让 Revise 从'调用大模型改写'进化为可学习的策略,甚至端到端联合微调;其二,将接地依赖模型与流式生成架构(StreamDiT、LongLive 一类)结合,实现边生成边验证的低延迟交互,缓解当前循环的开销;其三,扩展到音频、更长时程(远超 48 秒)与多线叙事的依赖追踪,检验持久性依赖在长程下的可扩展性;其四,系统研究 unknown 约束的主动消解,例如生成澄清性反问或插入信息性镜头,而不是默认保守兼容;其五,把 VIS-Bench 从 CoQA 派生的静态指令扩展为真实观众在环的动态基准,测量真实分布下的 IF 与用户满意度;其六,把约束层迁移到相邻任务,如具身智能体的行动可行性检查、教育视频的事实核查与长文档配图的一致性控制。
复现评估
复现难度中等偏高。有利因素:论文设有项目主页(https://vis-ground.github.io),附录 B 详述 VIS-Bench 构建(从 CoQA 相关来源采样 250 个源段落,覆盖 MCTest、Gutenberg、RACE、CNN、Wikipedia,132 叙事 + 118 知识,两种视觉风格,1,004 条指令、2,008 个实例,含质量检查与泄漏审计),附录 C/D/E 给出表征与修复流程、评分锚点与基线适配细节;评估协议(Gemini 3.8 Flash + Claude Opus 5 双评审、盲测人工验证、等接地权重)描述完整。不利因素:正文未明确承诺开源代码与数据(需查项目页);三个骨干中 Omni-1.1-Flash 与 Veo 3.1 为 Google 专有 API,仅 MiniMax-H3 本地托管,严格复现依赖付费 API;流水线涉及多轮 VLM 抽取、依赖派生与渲染验证,调用次数多、成本高。若只用开源权重模型,性能会明显低于报告值。总体判断:方法逻辑与实验设计可复现,数值结果难以低成本复现。
论文图表
首图用一个完整示例定义任务:接地源确立'把药送给祖母'的目标,渲染视频前缀显示'桥断了、有船可用',新请求是'用船并保持药干燥'。图示说明依赖如何同时来自源(送药目标)、当前视频状态(桥断、船可用)和新请求(保持药干燥),并给出 VIS-Ground 三阶段流程:结构化上下文抽象、生成约束诱导、约束视频生成。
这是全文的问题定义图,一图讲清'上下文接地'与普通指令跟随的区别——同一请求在不同视频状态和源约束下需要不同的续写,也预告了三阶段流水线的结构。
左图展示 7 名通过注意力测试的参与者的学习增益:带交互的均值前后测提升为 47.9 个百分点,无交互为 32.1 个百分点;右图展示 4 名受访者对体验的五点量表评分,集中在正向区间。图中还注明这是 9 名志愿者中 7 人的探索性观察,不构成对全部 9 人的增益估计。
提供了'为什么值得做交互式视频叙事'的实证动机,正文引用的 47.9 对 32.1 的核心数字都出自此图,是 motivation 部分最重要的证据。
四个面板(Omni 叙事/知识、Veo 叙事/知识)各以该设定下 IF 最强的基线为固定参照,对比四项指标的差值:VIS-Ground 在 SF/SC/JCS 上大幅领先(如 Veo 知识 SF +18.0、SC +9.4、JCS +21.5),但在 IF 上偶尔落后(如 Omni 叙事 -1.8),直观揭示'与上下文兼容'与'字面服从请求'之间的权衡。
这是理解本文局限性的关键证据图:作者用它说明 IF 上的落后是有意的多目标权衡结果,而非单纯的失败,讨论 limitation 时必须引用。
对 72 个已完成输出的分析子集(非全部评测集)的分数分布:Source Faithfulness 上 52 个输出在 50–75 区间、15 个满分,Story Continuity 满分仅 8 个,Instruction Fulfillment 满分仅 11 个,Video Quality 高分段最多(65 个高分、6 个满分);多数输出落在 50–100 区间,说明续写通常保住主上下文但丢失既有序列或请求细节。
量化了失败模式的分布,是局限性讨论中'细节丢失'结论的数据支撑,也为后续工作指明了改进的指标方向(SC 与 IF 的满分率)。