On the Faithfulness of Visual Thinking: Measurement and Enhancement¶
会议: NeurIPS 2026
arXiv: 2510.23482
代码: https://github.com/EugeneLiu01/Faithful_Thinking_with_Image
领域: VLM推理
关键词: 多模态思维链, 视觉思维忠实度, 因果干预分析, 充分原因模型, 强化学习微调
一句话总结¶
针对现有交织视觉工具调用的多模态思维链(MCoT)中视觉证据被模型严重漠视、存在“虚假视觉思考”的非忠实性问题,本文提出基于因果干预与外部大模型裁决的双维度忠实度度量准则,并设计了无需人工标注的充分组件原因模型(SCCM)强化微调策略,通过“充分性门控+紧致性乘性奖励”迫使模型生成真正承载因果推断的最小视觉证据。
研究背景与动机¶
近年来,大型视觉语言模型(LVLMs)通过引入多模态思维链(Multimodal Chain-of-Thought, MCoT)在精细化感知与复杂推理任务上取得了突破。区别于仅将图像作为初始静态输入的纯文本 CoT,以 DeepEyes 和 Pixel-Reasoner 为代表的“图像思维(thinking with images)”范式赋予了模型主动调用外部视觉工具(如局部放大 zoom-in 工具)的能力,将交互式裁剪获得的图像切片作为中间观测 token 嵌入到连续的文本推理流中,极大地贴近了人类视觉与语言协同认知的工作记忆过程。
然而,对前沿模型在细粒度目标感知基准(如 V* Bench)上的案例审计揭示了一个违背常理的严重漏洞:模型在推理轨迹中生成的局部视觉线索频繁出现目标无关裁剪、不完整视域以及错误的局部感知,但最终却能不可思议地推导出完全正确的答案。这种“视觉过程错误但最终答案正确”的表象暴露出当前多模态推理链在视觉维度上极度缺乏忠实度(Faithfulness)——即模型宣称的推理依据并未真实反映其内部的决策计算流。其根源在于现有强化学习微调(RFT)的奖励机制仅鼓励交织图文格式的出现或单纯受好奇心驱动,并未对中间视觉线索的有效性施加任何语义约束;在优化压力下,模型迅速学会了“奖励黑客(Reward Hacking)”,随意插入无效图像以迎合格式要求,实际决策则完全绕过视觉、退化为纯文本先验推理。
为了系统性诊断这一症结,本文引入结构因果模型(SCM)对 MCoT 中的文本与视觉成分进行反事实干预,证实了视觉线索对预测结果的因果影响几乎为零,进而构建了自动化可靠性与充分性评测流水线。核心 idea:将流行病学中的充分组件原因模型(SCCM)引入强化微调奖励设计,要求提取的视觉证据不仅必须独立充分地支撑正确答案,还必须在空间信息量上保持极简紧致,以双重因果约束彻底根除虚假视觉思维。
方法详解¶
整体框架¶
在基于智能体工具调用的 MCoT 范式中,给定输入图像 \(I\) 与用户查询 \(Q\),模型的推理序列可以形式化表示为包含图文交互步骤与最终答案的轨迹 \(\mathbf{y} = \{(T_0, V_0), (T_1, V_1), \dots, (T_t, V_t), A \mid I, Q\}\),其中 \(T_i\) 为文本思考步,\(V_i\) 为调用局部放大工具所获取的高清裁剪图像切片。
整个方法体系由两大部分构成:前置的忠实度测量体系与后置的充分组件原因模型(SCCM)强化学习训练策略。测量体系首先基于潜在结果模型对文本 \(T\) 与视觉 \(V\) 执行反事实干预(对文本注入细微逻辑错误,对视觉替换为随机噪声),通过平均处理效应(ATE)与 McNemar 显著性检验证明视觉证据的因果缺失;随后引入外部裁判评估可靠性(Reliability)与充分性(Sufficiency)。SCCM 则针对性地构建了双重强化奖励:一方面由评测模型判定视觉成分是否足以单独推导出真实答案(充分性奖励 \(r_s\)),另一方面通过群体相对信息最小化(GRIM)惩罚冗余图像 token(紧致性奖励 \(r_m\)),二者采用乘性门控耦合后融入组相对策略优化(GRPO)框架。
%%{init: {'flowchart': {'rankSpacing': 24, 'nodeSpacing': 28, 'padding': 6, 'wrappingWidth': 400}}}%%
flowchart TD
A["输入查询 Q + 原始图像 I"] --> B["基于因果干预的忠实度诊断<br/>文本改写 vs 视觉噪声扰动"]
B --> C["双维度量化评测体系<br/>裁判裁决可靠性 Rel 与充分性 Suf"]
C --> D["充分组件原因模型强化学习 SCCM"]
subgraph D ["充分组件原因模型强化学习 SCCM"]
direction TB
D1["视觉充分性奖励 rs<br/>仅凭视觉切片 V 独立判定真实标签"]
D2["群体相对信息最小化 rm<br/>惩罚冗余图像 token 促使包围盒紧致"]
D1 -->|乘性门控协同| D3["复合策略奖励 r_final<br/>r_acc + r_format + α · rs · rm"]
end
D --> E["GRPO 强化微调优化<br/>产出高忠实度精细多模态思维链"]
关键设计¶
1. 基于结构因果干预的忠实度诊断机制:量化图文模态对预测决策的因果贡献差异
针对传统黑盒模型难以归因推理轨迹真实性的瓶颈,本文基于结构因果模型(SCM)与潜在结果(Potential Outcome)框架提出了平均处理效应(Average Treatment Effect, ATE)检验。对于文本成分,利用大模型在原始轨迹中注入微小逻辑错误构造干预 \(do(\mathbf{T})\);对于视觉成分,将工具裁剪返回的局部图块替换为同尺寸的高斯随机噪声构造干预 \(do(\mathbf{V})\)。为了解决文本级别序列比对的复杂度,将最终预测答案量化为二值准确率指标(1 为正确,0 为错误),定义视觉干预下的处理效应:
通过 McNemar 检验计算 \(p\) 值检验虚无假设 \(H_0^V: ATE^V = 0\)。实验发现基线模型的视觉干预 \(p\) 值高达 1.000,而文本干预 \(p < 0.001\) 且准确率剧烈跳水,以严谨的统计因果证据敲定了“视觉证据在实质推断中被模型彻底旁路”的事实。
2. 可靠性与充分性双维忠实度量化指标:建立无需人工标注的自动化感知评估流水线
为进一步细化视觉成分缺陷的类型,本文从因果一致性与信息完整度两个独立正交的维度构建了自动化评估指标,引入能力更强的多模态大模型作为外部裁判 \(\mathcal{J}\)。可靠性(Reliability) 衡量 MCoT 提取的局部视觉切片 \(\mathbf{V}\) 是否能够逻辑一致地支撑模型所做出的预测答案 \(A\),即判定视觉证据与预测输出之间是否存在自洽因果:
充分性(Sufficiency) 则检验所抽取的视觉成分 \(\mathbf{V}\) 脱离原始完整大图后,是否独立蕴含了回答原始问题 \(Q\) 的必要信息。裁判模型仅接收 \(\mathbf{V}\) 和 \(Q\) 尝试给出答案 \(\mathcal{J}_S(\mathbf{V})\),并与标注真值 \(A_{\mathcal{GT}}\) 核对:
若充分性低而答案正确,则实锤模型产生了信息凭空捏造;若可靠性低,则表明图像内容与结论完全脱节。通过多轮裁判的多数投票或概率均值聚合,形成了高鲁棒性的自动化基准。
3. 充分组件原因学习(SCCM)与乘性门控奖励:平衡视觉证据的充分性与最小化信息冗余
受流行病学中 Rothman 充分组件原因理论(即一个充分原因由若干不可或缺的最小组件联合构成)的启发,本文在 RFT 训练阶段迫使视觉成分成为解出正确答案的“充分且最小”原因。然而,单纯最大化充分性奖励极易诱导模型寻找投机捷径——模型倾向于直接框选整张原图或超大区域,这虽然信息充分但完全丧失了视觉放大的定位意义并引发 token 爆炸。为此,本文设计了群体相对信息最小化(Group Relative Information Minimization, GRIM)奖励:
其中 \(\text{I}_v(\mathbf{y}^i)\) 为第 \(i\) 个采样轨迹中工具调用引入的图像 token 总数。为保证优化的主次顺序,设计了乘性门控奖励结构:将二值充分性指标作为门控开关,\(r_s(\mathbf{y}^i) \in \{0, 1\}\),仅当视觉成分满足充分性条件(\(r_s = 1\))时,最小化奖励 \(r_m\) 才作为正向放大系数起效;若视觉成分不充分(\(r_s = 0\)),该复合项直接置零,杜绝了模型因缩小裁剪框而牺牲信息完整性的作弊可能。
一个完整示例¶
以 V* Bench 中“查找壁炉架最左侧小雕像手中所持物品”的高难度细粒度问答为例,展示不同策略生成的 MCoT 演化对比:
- 输入初始化:模型接收高分辨率室内场景全图 \(I\) 及指令 \(Q\)。
- 基线 Pixel-Reasoner 推理轨迹:模型执行工具调用
zoom_in(bbox=[0.12, 0.45, 0.35, 0.68]),然而该包围盒偏向壁炉中央的花瓶,完全未包含左侧小雕像。模型在随后的文本思维链中却写道“雕像手中拿有一本小书”,并直接输出正确选项。此时在评估阶段,裁判根据该切片判定 \(\mathcal{J}_R = \text{No}\) 且 \(\mathcal{J}_S \neq A_{\mathcal{GT}}\),忠实度为 0。 - SCCM 引导下的推理轨迹:在经过充分性与紧致性联合约束训练后,模型首先通过广域全局感知锁定壁炉左边缘,输出精准裁剪指令
zoom_in(bbox=[0.11, 0.22, 0.19, 0.31])。 - 状态转移与奖励计算:该局部裁切紧贴雕像手部局部区域,图像 token 消耗量仅为候选 rollout 均值的 38%(\(r_m = 2.63\),截断至 2.0)。裁判模型 Qwen2.5-VL-72B 仅根据该局部图便能清晰识别出手持书卷,判定充分性 \(r_s = 1\)。
- 最终结算:该轨迹获得满额的乘性附加奖励 \(\alpha \cdot r_s \cdot r_m = 0.5 \times 1.0 \times 2.0 = 1.0\),模型在后续步骤中自然依据该高清局部线索输出严密逻辑,实现感知与文本推理的因果闭环。
损失函数 / 训练策略¶
模型训练遵循两阶段流程: 1. 热启动指令微调(Warm-start SFT):以 Qwen2.5-VL-7B 为底座,基于清洗筛选的 2,700 条高质量 MCoT 轨迹与 140 条纯文本问答轨迹执行 1 个 epoch 的微调(Batch Size = 128),使模型建立基础的工具语法调用与图文交织输出格式。 2. SCCM 驱动的强化微调(RFT):采用组相对策略优化(GRPO)算法,在 16 张 A800 80GB GPU 上迭代训练 80 轮。每个 Batch 包含 128 个 prompt,每个 prompt 采样 \(n=8\) 个 rollouts,最大支持 6 次链式工具调用,最大序列长度设为 20,480 tokens。KL 散度惩罚系数设为 0.0。 总体奖励函数定义为:
其中 \(r_{\text{acc}} \in \{0, 1\}\) 为最终答案准确性奖励,\(r_{\text{format}} \in \{-1, 0, 1\}\) 为工具调用与标签格式规范奖励,超参数 \(\alpha = 0.5\)。为保障数值稳定性,\(r_m(\mathbf{y})\) 被严格截断在区间 \([0, 2]\) 内。在训练循环中,充分性裁判由计算效率优异的开源 Qwen2.5-VL-72B 充当,完全规避了昂贵的商业闭源 API 依赖与人工标注成本。
实验关键数据¶
主实验¶
实验选取细粒度视觉搜索与高分辨率感知代表性基准:*V Bench**(划分为属性识别 Attr 与空间推理 Spat 两大子任务)以及高分辨率基准 HR-Bench(包含 4K 与 8K 分辨率,细分细粒度单目标 FSP 与细粒度跨目标 FCP 感知)。对比模型包括经典视觉搜索方法 SEAL、前沿智能体 MCoT 模型 DeepEyes 和 Pixel-Reasoner,以及应用 SCCM 的本文模型。
首先是因果干预实验检验文本(\(ATE^T\))与视觉(\(ATE^V\))对最终预测答案的因果效应(负值表示干预后性能下滑百分比,括号内为 McNemar 检验 \(p\) 值,星号表示 \(p < 0.05\) 具有显著因果效应):
| 模型 | 干预类型 | V* Bench (Attr) | V* Bench (Spat) | V* Bench (Avg) | HR-4K (Avg) | HR-8K (Avg) |
|---|---|---|---|---|---|---|
| DeepEyes | 无干预基线 | 90.43 | 86.84 | 89.00 | 76.25 | 70.75 |
| 文本干预 \(\mathbf{T}\) | 79.13 (-11.30, 0.0023*) | 71.05 (-15.79, 0.0227*) | 75.92 (-13.09, 0.0001*) | 63.00 (-13.25, 0.0000*) | 61.75 (-9.00, 0.0000*) | |
| 视觉干预 \(\mathbf{V}\) | 88.69 (-1.74, 0.5000) | 88.16 (+1.32, 1.0000) | 88.48 (-0.52, 1.0000) | 75.62 (-0.63, 0.3323) | 71.25 (+0.50, 0.5235) | |
| Pixel-Reasoner | 无干预基线 | 90.09 | 83.33 | 87.43 | 76.06 | 73.72 |
| 文本干预 \(\mathbf{T}\) | 78.38 (-11.71, 0.0002*) | 80.55 (-2.78, 0.5000) | 79.23 (-8.20, 0.0001*) | 71.55 (-4.51, 0.0000*) | 70.56 (-3.16, 0.0038*) | |
| 视觉干预 \(\mathbf{V}\) | 90.99 (+0.90, 1.0000) | 83.33 (-0.00, 1.0000) | 87.98 (+0.55, 1.0000) | 76.20 (+0.14, 1.0000) | 73.04 (-0.69, 0.4583) | |
| Ours (SCCM) | 无干预基线 | 93.91 | 86.84 | 91.10 | 72.35 | 72.20 |
| 文本干预 \(\mathbf{T}\) | 69.56 (-24.35, 0.0000*) | 78.95 (-7.89, 0.0312*) | 73.30 (-17.80, 0.0000*) | 54.55 (-17.80, 0.0000*) | 55.32 (-16.88, 0.0000*) | |
| 视觉干预 \(\mathbf{V}\) | 90.43 (-3.48, 0.1250) | 84.21 (-2.63, 0.6250) | 87.96 (-3.14, 0.0703) | 73.36 (+1.01, 0.3581) | 70.82 (-1.38, 0.1433) |
接下来展示由 GPT-4o 作为裁判评估的视觉成分可靠性(Reliability)与充分性(Sufficiency)绝对得分(%),以及下游全样本问答准确率(Accuracy, %):
| 评估指标 | 模型 | V* Attr | V* Spat | V* Avg | HR-4K Avg | HR-8K Avg |
|---|---|---|---|---|---|---|
| 可靠性 Rel (%) | SEAL | 72.73 | 3.95 | 44.62 | 23.08 | 25.00 |
| DeepEyes | 75.73 | 10.45 | 50.00 | 38.12 | 24.45 | |
| Pixel-Reasoner | 35.13 | 12.50 | 26.23 | 32.39 | 21.87 | |
| Ours (SCCM) | 82.61 | 28.95 | 61.26 | 37.50 | 29.32 | |
| 充分性 Suf (%) | SEAL | 79.09 | 43.42 | 64.52 | 49.45 | 46.00 |
| DeepEyes | 85.44 | 19.40 | 59.41 | 44.12 | 25.84 | |
| Pixel-Reasoner | 45.04 | 34.72 | 40.98 | 41.55 | 33.97 | |
| Ours (SCCM) | 89.56 | 55.26 | 75.92 | 51.39 | 44.67 | |
| 全量准确率 Acc (%) | SEAL | 73.04 | 75.00 | 73.82 | 34.00 | 36.50 |
| DeepEyes | 90.43 | 86.84 | 89.00 | 76.25 | 70.75 | |
| Pixel-Reasoner | 88.69 | 81.58 | 85.86 | 71.75 | 69.87 | |
| Ours (SCCM) | 93.91 | 86.84 | 91.10 | 72.50 | 71.25 |
消融实验¶
为了严格证明 SCCM 各组件的必要性,在相同微调初始权重下对比不同奖励函数配置下的忠实度表现,并统计裁剪区域尺寸占比(Cropped Region Size, CRZ)与工具调用次数(Tool Call Count, TCC):
| 奖励机制配置 | V* Rel (Avg) | V* Suf (Avg) | HR-4K Rel | HR-4K Suf | CRZ (V*) | TCC (V*) | CRZ (HR-4K) | TCC (HR-4K) |
|---|---|---|---|---|---|---|---|---|
| Naive Reward (仅准确率+格式) | 20.00 | 28.82 | 23.63 | 35.16 | 0.1490 | 1.4345 | 0.2176 | 1.4587 |
| Curiosity Reward (好奇心驱动) | 3.70 | 7.94 | 16.84 | 27.04 | 0.0835 | 0.9895 | 0.1977 | 0.9850 |
| SCCM w/o Minimality (缺紧致性) | 25.65* | 58.11* | 40.75* | 58.63* | 1.9916 | 2.0000 | 1.9983 | 2.0000 |
| SCCM (完整模型) | 61.26 | 75.92 | 37.50 | 51.39 | 0.0429 | 1.0000 | 0.1429 | 1.0000 |
*注:SCCM w/o Minimality 因退化为直接裁剪整张全图(CRZ \(\approx 2.0\) 伴随 2 次重复全图调用),属于通过输入冗余欺骗充分性裁判的无效作弊模式,训练极不稳定且不可比。
关键发现¶
- 好奇心奖励的忠实度灾难性坍塌:在 Pixel-Reasoner 采用的好奇心奖励机制下,V* Bench 上的视觉充分性暴跌至 7.94%,可靠性仅有 3.70%。这表明单纯鼓励探索未知像素极易诱使模型为了拿格式分而乱翻无关区域,并在文本推理中彻底屏蔽视觉观测,造成严重的伪思维链。
- 紧致性约束是维持稳定收敛的生命线:去掉信息最小化约束(GRIM)后,模型迅速学会“作弊”,每次调用都框选原图完整尺寸(CRZ 高达 1.99),导致图像 token 吞吐激增且梯度剧烈震荡;引入 GRIM 后,CRZ 大幅下降至 0.0429,工具调用次数平稳收敛至精确的 1 次,实现了最高的计算效率与最清晰的定位。
- 视觉真实因果关系的成功激活:在因果干预测试中,本文模型在视觉扰动下表现出了远超基线的精度敏感性(V* 准确率下降 3.14%,相比基线的 0.5% 变化大幅提高,统计检验 \(p\) 值显著下移至 0.07),证明模型内部的文本推理步骤开始真实依赖视觉 token 进行逻辑衍生。
亮点与洞察¶
- 将反事实因果干预引入视觉思维链诊断:不仅停留在感知准确率的表面繁荣,而是首次通过严密的因果框架(ATE 与 McNemar 检验)证实了前沿模型中存在的“伪视觉思考”现象,为 MLLM 可解释性研究提供了全新视角。
- 免标注即插即用的裁判奖励机制:巧妙利用开源高性能视觉语言模型(Qwen2.5-VL-72B)构建独立于文本上下文的充分性判定,免除了昂贵的目标框金标准标注,能够无缝嫁接到任何基于 GRPO/PPO 的多模态强化学习框架。
- 乘性门控攻克奖励作弊难题:将不可导的连续信息紧致性作为充分性开关的放大器(\(\alpha \cdot r_s \cdot r_m\)),在理论与实践上完美封堵了“放大整图混分”和“缩小无物减开销”两种极端退化解。
局限与展望¶
- 裁判模型能力上界的依赖:训练期间的充分性奖励高度依赖开源裁判模型(Qwen2.5-VL-72B)的判别精度,若裁判本身在极微小模糊物体上出现误判,会给主模型引入带有偏差的噪声梯度。
- 工具调用维度的单一性:当前实验主要局限于单张静态图像的矩形缩放(zoom-in)操作,尚未将该因果约束拓展至多图比较、图像旋转变换、掩码分割遮罩或外部搜索检索等更复杂的复合多模态工具链。
- 端到端多步因果信用分配:当 MCoT 涉及连续多次依赖性工具调用时,如何将最终答案的因果归因合理反向分摊到各个中间视觉步骤,仍需发展更精细的步级(step-level)信用分配机制。
相关工作与启发¶
- vs DeepEyes (Zheng et al., 2025):DeepEyes 确立了强化学习微调引导 MLLM 调用放大工具的基本流程,但其奖励函数仅关注最终答案准确性与调用格式,导致模型产生大量与问题无关的错误裁剪;本文提出的 SCCM 增加了步级视觉充分性与紧致性监督,在保持高准确率的同时大幅提升了视觉忠实度。
- vs Pixel-Reasoner (Su et al., 2025a):Pixel-Reasoner 引入好奇心驱动奖励鼓励像素探索,但实验表明其极易导致视觉忠实度急剧崩塌(充分性仅 7.94%);本文通过充分组件因果框架证明,只有与下游答案紧密挂钩的因果导向约束才能引导出严谨的视觉认知流。
评分¶
- 新颖性: ⭐⭐⭐⭐⭐ 首次从因果视角系统揭露并量化了 MCoT 中视觉思维的非忠实性,提出的 SCCM 奖励机制优雅严谨。
- 实验充分度: ⭐⭐⭐⭐⭐ 兼顾因果干预检验、可靠性/充分性量化以及下游多基准测评,消融分析与训练动态图完备。
- 写作质量: ⭐⭐⭐⭐⭐ 理论推导清晰,符号定义规范,图表详实且极具洞察力。
- 价值: ⭐⭐⭐⭐⭐ 为多模态推理大模型由“形式化视觉交互”迈向“真正依据视觉推理”奠定了关键的方法论与评测基础。