精读笔记

Problem Setting

这篇论文真正处理的是 long-video QA 中的 evidence acquisition problem，而不是单纯提升视频问答准确率。长视频里的有效证据通常是稀疏的、问题条件化的、可能同时涉及视觉事件和字幕线索；固定采样会把预算浪费在 irrelevant context 上，RAG/caption pipeline 又把视觉证据过早文本化，tool-calling 方法则依赖模型学会精确时间定位。关键矛盾是：回答需要 query-specific visual context，但训练通常只知道最终答案对错，无法判断模型是否找到了正确证据。因此模型可能通过语言先验、数据偏置或局部片段猜对，而不是形成可迁移的搜索策略。

Motivation

作者的动机很明确：把视频 agent 的训练推进到类似 math/code RL 的 regime，需要 verifiable intermediate reward。现有 video RL 多是 outcome-only，最多加 temporal ordering 或 self-verification，不能直接奖励“上下文构造正确”。而长视频任务的主要错误往往不是 reasoning 失败，而是 evidence missing 或 evidence pollution。论文抓住的缺口是：开放自然语言问题没有天然 unit test，必须先把问题转成可检查的视觉条件。VETL 的作用就是为 video search agent 构造一种弱形式的 unit test：哪些对象/动作/事件必须在检索上下文中出现。

Core Idea

核心思想是把 LVQA 的建模对象从 answer prediction 改为 evidence-seeking trajectory。模型每一步用自然语言提出检索需求，环境返回少量视频片段，模型再基于已有观察决定继续搜索或回答。这改变了信息流：视频不再一次性压进上下文，而是由问题驱动地被访问；计算预算也从均匀覆盖全视频转成对相关片段的 adaptive allocation。

VETL 引入的 inductive bias 是：好的搜索轨迹应该覆盖问题所需的 atomic visual primitives。Temporal logic 在这里更像一个结构化编译器，把“after X, what Y”这类自然语言问题拆成事件集合和关系，而不是直接执行严格模型检查。相比 prior 的本质差异是，prior 多把检索结果作为 inference-time context 或 post-hoc verification；VSeek 把被检索证据本身变成训练目标。这个转变比具体工具接口更重要，因为它让 agent 的搜索行为受到显式优化。

Method

方法的必要机制可以压缩为三层。第一层是 interactive search trajectory：模型必须在有限轮数内交替 thinking 和 tool call，这解决固定帧预算无法覆盖稀疏证据的问题，也把长视频理解转成 test-time retrieval problem。第二层是自然语言检索接口：相比 timestamp/action schema，它降低了监督成本，让 VLM 用已有语言能力表达视觉需求；subtitle search 则补上纯视觉 embedding 对对白和命名实体不敏感的问题。第三层是 VETL reward：用问题-答案生成 temporal specification，再抽取 primitives，奖励轨迹中是否检索到这些 primitives；最终 reward 是 EM 和 evidence coverage 的混合。这里的机制变化是 reward 从只看 answer 移到同时看 context construction。GRPO/RLOO/GSPO、ViCLIP、8 秒切片等更多是实现选择，不是论文最核心的概念贡献。

Key Insight / Why It Works

最可能有效的部分是 dense evidence reward，而不是 temporal logic 的形式美感。长视频 QA 的失败主要来自 evidence bottleneck：模型没有看到关键片段或看到了太多干扰片段。VSeek 通过多轮搜索增加 test-time compute，VETL 通过 partial credit 让 RL 能区分“虽然答错但找到了部分关键证据”和“完全乱搜”。这会直接改善 query formulation：EM-only reward 容易鼓励猜答案或泛泛搜索，VETL reward 会推动模型生成更具体的对象/动作 query。

但需要直说：这篇的核心增益很可能是 retrieval + reward shaping + in-domain post-training 的组合，不完全是 temporal logic。论文自己也承认最终 reward 忽略 evidence retrieval order，因为搜索可以非顺序访问视频；这意味着 TL 的 temporal operators 主要用于 decomposition，而不是严格验证时序满足性。因此如果一个强 structured prompting pipeline 也能稳定抽 primitives，未必会比 TL 差很多。appendix 中 VSeek-Direct 弱于 VETL，说明 TL 分解有价值，但差距不大，且 judge/generator 本身可能带来额外 supervision。

这也不是纯 reasoning breakthrough。所谓 agentic reasoning 很大程度上是 learned retrieval policy：知道该搜什么、何时补搜、何时回答。它确实是有用能力，但更接近 search control / evidence coverage optimization，而不是形成了深层视频因果模型。VETL 在 ID 长视频上表现更好，OOD 上退化，说明它学到的 specific search strings 和数据分布绑定较强。泛化上限可能由 retriever representation、训练问题覆盖和 primitive vocabulary 决定。

Relation To Prior Work

这篇位于三条路线的交叉处：video RAG / temporal search、LLM agentic search、neuro-symbolic video verification。和 VideoTree、VideoAgent、temporal search 类方法相比，VSeek 的不同不只是用了搜索工具，而是把搜索放进 RL trajectory 并优化 query generation。和 FrameThinker / VideoExplorer 这类 tool-calling VLM 相比，它避免了精确时间戳接口，转向自然语言搜索，因此监督门槛更低，但也把瓶颈转移给 retriever。和 Search-R1/R1-Searcher 相比，它把文本搜索环境换成视频检索环境，新增难点是视觉证据不可直接判定。

真正实质创新在于：把 neuro-symbolic temporal decomposition 从 post-hoc evaluation 转成 RL reward shaping。看似新的部分里，agentic search、GRPO、XML tool protocol、RAG 都是已有思想重组；VETL 的新增信息是把问题-答案编译成 evidence checklist，并用这个 checklist 奖励搜索轨迹。Temporal logic 是否不可替代仍不充分，但“用 formal/structured spec 生成可验证中间奖励”是值得迁移的方向。

Dataset / Evaluation

评估覆盖了多个 long-video QA benchmark，包含 in-domain split 和 OOD benchmark，任务类型也包括事件定位、时间顺序、字幕相关问题和多选问答。它基本能验证：在这些离线 benchmark 上，agentic search 比固定帧输入更 frame-efficient，VETL reward 对较长视频和 ID 分布有帮助。

但 evaluation 对核心 claim 的支撑仍有限。第一，训练集来自 LongVideoBench、MLVU、VideoMME 的混合并在同源 benchmark 上评估，ID 提升不一定代表真实跨域泛化。第二，所有评估仍是 offline multiple-choice QA，容易受选项分布、语言先验和 benchmark overlap 影响。第三，VETL reward 的 verifier 依赖 LLM 生成 spec 与 ViCLIP primitive matching，评估没有充分量化 reward noise 如何影响 policy。第四，Pass@4 提升可能部分来自采样和 test-time compute，而不是单次策略质量。整体看，实验支持“verified evidence reward 有用”，但没有完全证明“temporal logic verification 是必要条件”。

Limitation

最大的限制是方法把问题从“如何理解长视频”转移成“如何可靠检索并验证 primitives”。如果 retriever 找不到事件、embedding 对细粒度动作不敏感、字幕不完整、问题需要隐含因果/意图/全局叙事，VSeek 的优势会迅速下降。VETL 假设答案所需证据能被拆成有限独立 primitives，这对 object/action-centric benchmark 成立，但对抽象问题、情绪/风格判断、跨长时间依赖和反事实问题不稳。

Temporal logic 的使用也有上限。论文声称 formal temporal specification，但 reward 最终忽略检索顺序，只统计 primitive 是否出现；这会导致时序问题被弱化为 bag-of-events retrieval。对真正需要 before/after/while/causal chain 的问题，unordered coverage 可能给错奖励。文中未充分说明如何避免 spec hallucination、judge bias、primitive granularity 不一致，以及错误 reward 被 RL 放大的问题。

泛化方面，OOD 退化说明 VETL 可能带来 specialization bottleneck。模型学到的不是通用视频搜索规划，而是适配训练分布的高特异 query pattern。所谓 long-horizon reasoning 更像多轮检索控制，而不是长期状态建模；它没有维护显式 timeline memory，也没有真正对全视频结构建模。增益来源不清：base model、retriever、训练数据、工具预算、reward shaping 都混在一起，缺少更强的因果拆解。

Takeaway

• 第一，长视频 QA 的下一步不应只扩 context window，而应优化 evidence acquisition；把视频访问变成 agentic search 是合理方向。
• 第二，比最终答案更重要的是训练模型找到“可回答所需证据”，dense evidence reward 是这篇最值得迁移的 insight。
• 第三，formal specification 的价值不在符号主义本身，而在提供可检查的中间监督；未来可以用更强 verifier、object/action detector 或 learned grounding model 替代当前 VETL。
• 第四，真正值得做的是 order-aware、uncertainty-aware、retriever-agnostic 的 video agent reward，而不是继续堆工具协议或固定 benchmark 上的 Pass@k。

一句话总结

VSeek 是把 long-video QA 从固定帧感知推进到 RL-trained evidence-seeking agent 的一篇代表性工作，其真正贡献是用结构化视觉证据奖励训练搜索行为，而不是提出了一个严格意义上的 temporal-logic 视频推理系统。