0. 链接验证表与证据边界
下列 URL 均在 2026‑09‑08 实际访问。数值只取自本次实际阅读的 ICML/PMLR 论文、arXiv v4 HTML 正文与附录;网页索引只用于核验 venue、版本与公开资产。核心论文 arXiv 2412.10510v4,2025‑07‑24;PMLR 正式页明确记载 ICML 2025、页码 5383–5417。OpenReview 页面触发浏览器验证,故只能确认入口存在,不能把其不可读内容作为证据。Papers with Code 与 Semantic Scholar 精确标题检索没有稳定返回核心条目;这不等于论文不存在于索引,只表示本次无法核实独立记录。
| 论文 / 资源 | 会议或正式页 | arXiv(版本、日期) | 代码 | 数据 / 权重 | 项目页 / 视频 |
|---|---|---|---|---|---|
| DEFAME(核心) | ICML 2025 / PMLR;正式 PDF | 2412.10510v4,2025‑07‑24;可逐行核验 HTML | 官方 ICML 分支,Apache‑2.0 | ClaimReview2024+,有访问条款;AVeriTeC/MOCHEG/VERITE 下载入口见仓库 | 研究组项目页;视频未找到 |
| RAGAR | FEVER 2024 / ACL Anthology | 2404.12065v2,2024‑10‑31 | 未公开 / 未找到 | 使用政治图文声明;可下载数据资产未找到 | 项目页 / 视频未找到 |
| MOCHEG | SIGIR 2023 / ACM | 2205.12487v3,2023‑07‑06 | 官方仓库 | 仓库含数据、代码与模型 checkpoint 说明 | 项目页即仓库;视频未找到 |
| MetaSumPerceiver | ACL 2024 Main | 未找到独立 arXiv 版本 | 论文页未列官方代码 | 使用 MOCHEG 多文档证据;独立权重未找到 | 项目页 / 视频未找到 |
| AVeriTeC | NeurIPS 2023 Datasets & Benchmarks | 论文页提供正式 PDF;版本日期以 proceedings 为准 | 官方仓库 | 官方数据页 | AVeriTeC 2.0 任务页;视频未找到 |
| SNIFFER | 论文自述为 OOC 检测工作 | 2403.03170,2024‑03‑05 首版 | 官方仓库 | 模型权重 | 官方 demo 页;视频未找到 |
证据定位约定:例如“arXiv v4 行 192–203”指上表可逐行核验 HTML;“表 3/4/5/8”指论文自身编号。所有百分点与相对百分比均由本报告依据原表复算,并明确标注;没有从图中猜数。
1. 候选池、去重与真实随机选择
先读取 ml-report-index.md,排除最近 14 天已深度覆盖的
Visual Graph Arena、Q‑VDiT、DocVXQA、AVUT、LongLive、DreamGen
及其紧邻主题。候选从 ICML 2025 PMLR、ICLR 2026 OpenReview、EMNLP/ACL
Anthology 与近期 arXiv 建立,并用 Hugging Face Daily Papers、Papers with
Code、Semantic Scholar 做发现与交叉检索。完整清单另存为
candidates_2026-09-08.tsv。执行
shuf -i 1-23 -n 1,真实输出 4,命中
DEFAME;正式正文、附录、代码与数据均可访问,因此 0
次重抽。
- Unifying 2D and 3D Vision-Language Understanding(ICML 2025)
- Do Vision-Language Models Really Understand Visual Language?(ICML 2025)
- ELITE: Enhanced Language-Image Toxicity Evaluation for Safety(ICML 2025)
- DEFAME: Dynamic Evidence-based FAct-checking with Multimodal Experts(ICML 2025)
- Improving Zero-Shot Adversarial Robustness in Vision-Language Models(ICML 2025)
- Multimodal Time-Aligned Shared Token Recommender(ICML 2025)
- CoreMatching: Co-adaptive Token and Neuron Pruning for VLMs(ICML 2025)
- Agent Reviewers: Domain-specific Multimodal Agents with Shared Memory(ICML 2025)
- Empowering World Models with Reflection for Embodied Understanding(ICML 2025)
- video-SALMONN-o1: Reasoning-enhanced Audio-visual LLM(ICML 2025)
- The Hidden Life of Tokens: Reducing Hallucination via Visual Information Steering(ICML 2025)
- Compositional Condition Question Answering in Tabular Understanding(ICML 2025)
- Orthus: Autoregressive Interleaved Image-Text Generation(ICML 2025)
- Be Confident: Uncovering Overfitting in MLLM Multi-Task Tuning(ICML 2025)
- Training Vision-Language Process Reward Models for Test-Time Scaling(ICLR 2026)
- Multi-modal Data Mixtures for Vision-Language Model Training(ICLR 2026)
- RobustVLA: Robustness of Vision-Language-Action Models(ICLR 2026)
- VSTAT: Benchmarking Visual State Tracking(arXiv 2026)
- HAVEN: Hierarchically Aligned Multimodal Benchmark(arXiv 2026)
- MVU-Eval: Towards Multi-Video Understanding Evaluation(arXiv 2025)
- Video-MMLU(arXiv 2025)
- MT-Video-Bench(arXiv 2025)
- MMIU: Multimodal Multi-image Understanding(ICLR 2025)
2. Motivation:为什么“看图后直接回答真假”不够
现实事实核查不是静态分类。声明可能由文字、照片、截图或复合图组成,相关证据也散落在网页文字和图片中;专业核查者检查的声明约 80% 是多模态(核心论文引言,arXiv v4 行 75–79)。然而既有 AFC 系统多为文本管线;少数视觉方法常把图像压成 caption,或只利用模型参数记忆,无法同时处理多模态声明与多模态外部证据(行 79–82)。这产生三个具体问题:知识截止后事件无法靠参数记忆回答;无来源链接的解释不可审计;单次检索无法根据新发现追问。
旧基准又可能给出虚假的安全感。AVeriTeC 声明截至 2021‑12,VERITE 覆盖 2001‑01 至 2023‑01,MOCHEG 截至 2022‑05,而论文所用 GPT‑4o 的知识截止为 2023‑10;公开 fact-check 页面可能已进入预训练语料(附录 A,行 418–433)。为此作者构造 ClaimReview2024+:300 条英文声明,来源文章在 2023‑11‑01 至 2025‑01‑18,含 160 条纯文本、140 条图文;标签分布为 Refuted 129、Supported 89、Misleading 61、NEI 21(§4,行 165–174)。它不是严格的“事件从未出现”保证,因为作者承认部分新文章可能复核旧事件,但比按发布日期早于 cutoff 的静态集更接近时间外分布。
最直观的量化证据来自表 3:直接 GPT‑4o 在旧集 AVeriTeC/MOCHEG/VERITE‑T/F 上分别为 62.1/53.7/78.7,到 ClaimReview2024+ 跌至 35.2;CoT 更低至 31.4。DEFAME 则为 70.5/59.2/83.9/69.7(arXiv v4 行 192–203)。这说明“语言模型会推理”与“系统拿到了当前证据”是两个不同变量,外部取证在新事件上比让模型多写几步思维更重要。
3. 论文故事线:由静态分类器转向可停止的取证过程
论文的故事线不是发明一个新视觉编码器,而是把散落的 AFC 子任务组装成一条动态循环。系统由一个 MLLM、四类外部工具和持续增长的 fact-check report 组成;每次 MLLM 调用都看到当前报告状态与阶段指令(§3,行 127–132)。这份报告同时是工作记忆、证据账本和最终解释的原材料。
六阶段如下:
- Plan: 根据尚缺的信息生成动作,且记录已执行动作避免重复;动作空间含 Web Search、Image Search、Reverse Image Search(RIS)、Geolocation。
- Execute: Web/Image Search 各取前 3 个网页;RIS 对输入图取最多 3 个含同图页面;GeoCLIP 给出可能国家。网页结果限制在声明发布日期之前,并排除主要 fact-check 站点以降低答案泄漏(行 133–153)。
- Summarize: 抽取与当前声明有关的文字、图像和
URL;无贡献结果返回
NONE,把长网页压入报告(行 154–156)。 - Develop: 将声明与已摘要证据做逐步推演,显式标注证据缺口(行 157–159)。
- Judge: 输出数据集标签。若为 NEI,则返回 Plan;达到确定标签或最多 3 次迭代后停止(行 160–161)。
- Justify: 从完整报告压缩出带超链接的短解释,避免把冗长工作轨迹直接丢给用户(行 162–164)。
其核心假设有四个:搜索引擎前列结果有足够召回;MLLM 能识别相关证据并抵抗网页提示注入;同一模型在规划、摘要、推演和裁决中的误差不会系统性自我强化;NEI 是“需要继续检索”的可靠停止信号。设计权衡也清楚:动态循环提高覆盖率和可解释性,却把可复现性从固定模型扩展到搜索索引、API、网页状态、抓取器和时间过滤器整条供应链。
4. 方程级形式化与可执行伪代码
令文本空间为 T、图像空间为
I,多模态序列空间 M=(T∪I)*,标签空间为
Y。DEFAME 是:
F: M → M × Y, F(c) = (R_out, y_out) (1)
其中输入声明 c 可以交织文字与图像;R_out
是完整核查报告。一次迭代由五个阶段复合(附录 F,行 520–553):
(R^(i+1), y^(i+1)) := F_iter(R^i)
F_iter := S5 ∘ S4 ∘ S3 ∘ S2 ∘ S1 (2)
A_i = S1(R^i) # 规划动作
E_i = { τ(a) | a ∈ A_i } # 工具执行与证据集合
R1^i = σ(E_i, R^i) # 有上下文的摘要追加
R2^i = S4(R1^i) # 证据推演
(R3^i, y^i) = S5(R2^i) # 中间裁决
停止时刻为:
i* = min { i ≤ N | y^i ≠ NEI or i = N }, N = 3
y_out = y^(i*)
R_out = S6(R^(i*)) (3)
这一形式化揭示一个容易忽略的问题:论文把 y≠NEI
当停止条件,但 Supported/Refuted/Misleading
的置信度并未显式建模。因此,模型即使基于一条表面相似图片过早输出
Supported,也会停止;失败分析确实发现“看到匹配文字的图片就过早判断”的案例(§5.7,行
282–285;附录 O,行 706–710)。
procedure DEFAME(claim c, max_rounds = 3):
R ← init_report(c)
for round in 1..max_rounds:
A ← MLLM.plan(c, R, unused_tools_and_queries)
E ← parallel_execute(A) # web/image/RIS/geolocation
E ← filter_by_date_and_domain(E)
S ← MLLM.summarize_relevant(E, R) # irrelevant → NONE
R ← append(R, A, S, URLs, images)
R ← MLLM.develop(c, R)
y ← MLLM.judge(c, R, label_rules)
if y != NEI: break
j ← MLLM.justify(c, R, y, require_hyperlinks=True)
return (R + j, y)
5. 关键机制与工程细节
| 模块 | 论文设置 | 预期贡献 | 真实工程依赖 / 风险 |
|---|---|---|---|
| Web Search | Serper/Google,前 3 页;AVeriTeC 改用 KB 的 5-NN | 找到当前或长尾文字证据 | 排名漂移、地区化、付费 API;去掉 Web Search 时 MOCHEG 59.2→42.0 |
| Image Search | Google Image Search,最多 3 个来源页 | 找相关图、图表和视觉上下文 | 相似图不等于同一事件;版权与热链不稳定 |
| RIS | Google Vision API,同图最多 3 个来源页 | 溯源、首次出现、复用语境 | 去掉 RIS 时 VERITE T/F 83.9→73.7,是该集最大工具损失 |
| Geolocation | GeoCLIP,论文侧 4×A100‑80GB 支持本地工具 | 补地点先验 | 例子中工具误报波兰/捷克,系统靠其他证据纠正;说明它是软证据而非裁决器 |
| Scraper | Firecrawl,扩展为抓网页内图像 | 保留文字—图片的原始排列 | 被墙、JS、长页和 robots 造成系统性缺证据;支持域列表还排除视频平台 |
| 多模态上下文 | 交织图文;每页最多 32 张图;超窗口截断 | 避免先 caption 再推理的信息损失 | 截断策略、图像排序和视觉 token 预算未单独消融 |
| Backbone | GPT‑4o、GPT‑4o mini、LLaVA‑OneVision 7B、Llama 4 Scout;温度 0.01,top‑p 0.9 | 模块可替换 | 表 2 跨骨干差距很大:CR+ 69.7 vs 32.6–48.8 |
| 报告记忆 | 每轮保存动作、摘要、图片、链接与推演 | 支持 multi-hop 与审计 | 同一 MLLM 生成并消费摘要,早期遗漏可固化为后续“事实” |
| 标签规则 | 各数据集在 Plan/Judge 注入 Extra Rules | 适配 OOC、Misleading、C/CP 等定义 | 因此不是完全零数据集配置;规则编写本身可能注入先验 |
公开 ICML 分支给出
Docker/手工安装、config/icml_experiments、批处理脚本与四类付费/免费
API;CPU-only 仅在不用本地 LLM 且关闭 geolocator 时成立。复现还需
OpenAI、Serper、Google Vision、Firecrawl/Hugging Face
凭证,其中部分付费(GitHub ICML 分支 README,实际访问行
274–334)。这比“代码公开”更接近真实可复现性边界。
6. 数据集、标签与指标
| 数据集 | 本文评估子集 | 模态 / 标签 | 指标 | 注意事项 |
|---|---|---|---|---|
| AVeriTeC dev | 500:Refuted 305、Supported 122、NEI 35、C/CP 38 | 文本声明;4 类 | Accuracy | 检索不是开放 Web,而是含约 1,000 干扰资源的互补 KB,每次取 5 条(行 178–181) |
| MOCHEG test | 1,689/2,001 有最终 ruling:667 Refuted、522 NEI、500 Supported | 文本声明 + 图文证据;3 类 | Accuracy = micro‑F1 | 作者附录证明单标签多类中二者等价(行 631–645);ground truth 会随时间过期 |
| VERITE | 去掉 13 个不完整样本后 1,001:338 True、325 OOC、338 Miscaptioned | 图文声明;二分类切片 | T/OOC、T/MC、T/F Accuracy | 两种假声明构造不同;T/F 合并后不能定位 OOC 与错配 caption 的能力差异 |
| ClaimReview2024+ | 300:160 文本、140 图文 | Supported/Refuted/Misleading/NEI | 4 类 Accuracy | 标签不均衡;仅一名博士研究者处理歧义、第二标注者复核,未报告 κ;当前 HF 数据页已提示被 VeriTaS 取代 |
准确率适合统一比较,但 129/89/61/21 的 CR+ 标签不均衡意味着 69.7% 不能替代 macro‑F1、每类召回或校准。论文给混淆矩阵却未在正文表格提供全部逐类数字;本报告不从图像估读。
7. 完整主结果数据矩阵
表 3
实际只有四个数据集、六个可比较指标;无法诚实扩成“五基准×六方法”。下表完整保留论文提供的稀疏矩阵,“—”表示论文明确称因代码不可用或设置不兼容而未评估。*
为原论文从已有数字推导;粗体标列最优。
| 方法 | AVeriTeC Acc | MOCHEG Acc | VERITE T/OOC | VERITE T/MC | VERITE T/F | CR+ Acc |
|---|---|---|---|---|---|---|
| CFR | 60.0 | — | — | — | — | — |
| DeBERTa | 65.6 | — | — | — | — | — |
| LVLM4FV | — | 45.1 | — | — | — | — |
| MetaSumPerceiver | — | 48.6 | — | — | — | — |
| CHASMA | — | — | 74.4* | 59.3* | 52.1 | — |
| AITR | — | — | 82.7 | 51.8 | 58.0* | — |
| GPT‑4o | 62.1±0.4 | 53.7±0.4 | 70.4±1.4 | 72.0±0.8 | 78.7±0.8 | 35.2±0.9 |
| GPT‑4o CoT | 61.0±0.4 | 49.7±0.3 | 74.1±0.9 | 76.5±0.4 | 80.0±0.6 | 31.4±4.5 |
| DEFAME | 70.5±0.6 | 59.2±0.4 | 78.4±1.0 | 83.3±1.1 | 83.9±0.5 | 69.7±2.5 |
来源:核心论文表 3,arXiv v4 行 192–204;后三行均为 3 次运行均值±标准差。逐列相对最强非 DEFAME 对手复算:
| 列 | 最强对手 | DEFAME 差值 | 相对变化 | 结论 |
|---|---|---|---|---|
| AVeriTeC | DeBERTa 65.6 | +4.9 pp | +7.47% | 新 SOTA |
| MOCHEG | GPT‑4o 53.7(旧专用 SOTA 48.6) | +5.5 pp | +10.24% | 若只比旧 SOTA则 +10.6 pp / +21.81% |
| VERITE T/OOC | AITR 82.7 | −4.3 pp | −5.20% | 不是 SOTA |
| VERITE T/MC | GPT‑4o CoT 76.5 | +6.8 pp | +8.89% | 明显受益 |
| VERITE T/F | GPT‑4o CoT 80.0 | +3.9 pp | +4.88% | 对旧专用 SOTA AITR 是 +25.9 pp |
| CR+ | GPT‑4o 35.2 | +34.5 pp | +98.01% | 最大可信增益,指向检索而非参数记忆 |
因此“在三个旧 benchmark 都全面超过所有方法”的表述需要收窄:DEFAME 在 AVeriTeC、MOCHEG、VERITE T/MC 与 T/F 最优,但在 VERITE T/OOC 不是。它更准确的定位是跨任务综合最强、时间外分布优势突出,而不是每一列都第一。
外部取证的收益在时间外 ClaimReview2024+ 上最显著
同一 GPT‑4o 直接裁决与 DEFAME 管线的准确率;VERITE 使用 T/F 列,纵轴均为 Accuracy(%)。
8. 骨干替换:模块化不等于骨干无关
| DEFAME backbone | AVeriTeC | MOCHEG | VERITE T/F | CR+ |
|---|---|---|---|---|
| GPT‑4o | 70.5 | 59.2 | 83.9 | 69.7 |
| GPT‑4o mini | 68.8 | 55.5 | 67.1 | 47.7 |
| LLaVA‑OneVision 7B | 49.3 | 42.1 | 59.3 | 32.6 |
| Llama 4 Scout | 67.0 | 55.0 | 72.3 | 48.8 |
来源:表 2,行 185–191。GPT‑4o 换成 Llama 4 后,CR+ 下降 20.9 pp(−30.0%),VERITE 下降 11.6 pp(−13.8%);换成 LLaVA‑1V 后 CR+ 下降 37.1 pp(−53.2%)。作者解释 LLaVA 常无法按格式输出动作,导致工具实际调用更少(行 205–208;附录 C 行 473–474)。所以“可插拔”是软件接口事实,不是性能等价;Agent 的结构遵循能力本身就是实验变量。
9. 逐层消融:检索覆盖比多写一段推理更关键
| 变体 | MOCHEG | Δ | VERITE T/F | Δ | CR+ | Δ |
|---|---|---|---|---|---|---|
| DEFAME | 59.2 | — | 83.9 | — | 69.7 | — |
| w/o Geolocation | 58.3 | −0.9 | 80.6 | −3.3 | 65.7 | −4.0 |
| w/o Reverse Search | 58.2 | −1.0 | 73.7 | −10.2 | 64.0 | −5.7 |
| w/o Image Search | 57.8 | −1.4 | 81.4 | −2.5 | 63.7 | −6.0 |
| w/o Web Search | 42.0 | −17.2 | 81.8 | −2.1 | 59.7 | −10.0 |
| Single Turn | 47.7 | −11.5 | 82.8 | −1.1 | 63.3 | −6.4 |
| w/o Planning | 58.7 | −0.5 | 83.0 | −0.9 | 68.0 | −1.7 |
| w/o Develop | 57.4 | −1.8 | 83.8 | −0.1 | 67.0 | −2.7 |
| Unimodal Develop | 56.1 | −3.1 | 82.0 | −1.9 | 65.7 | −4.0 |
来源:表 4,行 228–262;Δ 为本报告复算。机制呈现清晰的任务相变:MOCHEG/CR+ 对 Web Search 最敏感,而视觉错配集 VERITE 对 RIS 最敏感。多轮相对 single turn 在 MOCHEG 提升 11.5 pp(+24.1%),在 VERITE 仅 1.1 pp(+1.33%),说明 follow-up 的价值取决于任务是否需要补足外部事实,而非“循环总是更聪明”。
Develop 阶段在 VERITE 只贡献 0.1 pp,远小于 RIS 的 10.2 pp;这反驳了把主要进步归功于长推理的直觉。更合理的归因是:正确工具带来的证据可识别性 > 中间自然语言推演。不过各消融表没有标准差,且可能只运行一次,差 0.1–1.0 pp 的结论不应被视为稳健。
10. 超参敏感性、成本与“相变”
论文固定温度 0.01、top‑p
0.9、每页最多 32 张图、最多
3 轮、搜索结果每动作最多 3
条(AVeriTeC 为 5)。没有报告温度、top‑p、轮数、检索 k、32
图上限、上下文截断或置信阈值的网格,因此无法判断性能是否对这些选择稳定,也无法给出统计意义上的超参相变。
可观察的结构相变只有两类。第一是模态相变:RIS 在 VERITE 的边际贡献 10.2 pp,在 MOCHEG/CR+ 仅 1.0/5.7 pp;Web Search 则在 MOCHEG 为 17.2 pp。第二是骨干相变:LLaVA‑1V 动作格式失败使搜索数降至 0.9/claim,其较快运行并非更高效推理,而是工具没有被正确执行。
| 变体 | 时间/claim | LLM 成本¢ | 搜索成本¢ | 查询/claim | 输入 token | 输出 token |
|---|---|---|---|---|---|---|
| DEFAME GPT‑4o | 4:14 | 13 | <1 | 2.2 | 48K | 921 |
| GPT‑4o mini | 3:13 | <1 | <1 | 3.1 | 54K | 1300 |
| LLaVA‑1V | 1:23 | — | <1 | 0.9 | 14K | 794 |
| Llama 4 | 18:02 | — | <1 | 2.8 | 21K | 1325 |
| w/o Planning | 5:11 | 14 | <1 | 5.2 | 70K | 1100 |
| GPT‑4o direct | 0:06 | <1 | 0 | 0 | 2.2K | 67 |
| GPT‑4o CoT | 0:09 | <1 | 0 | 0 | 2.3K | 177 |
来源:附录表 5,行 455–475;时间是 VERITE 上粗略估计,论文提醒硬件共享导致高方差。相对 GPT‑4o direct,完整 DEFAME 慢约 42.3×(254s/6s)、输入 token 约 21.8×、LLM API 成本至少约一个数量级;换来 VERITE T/F +5.2 pp。去掉 Planning 反而将查询从 2.2 提至 5.2(+136.4%)、输入 token 从 48K 提至 70K(+45.8%),而准确率还下降 0.5–1.7 pp,说明规划的最大价值是成本控制,而非单独贡献很多准确率。
11. 统计显著性与解释质量
主结果对 DEFAME、GPT‑4o 与 GPT‑4o CoT 报告三次运行均值±标准差,但未提供逐样本配对检验、置信区间或多重比较校正。某些差异可从标准差量级看出明显,如 CR+ 的 +34.5 pp;但 VERITE T/F 相对 CoT 的 +3.9 pp 是否在配对样本上显著,论文未报告,不能仅凭标准差宣布显著。
人评覆盖 36 条声明、共 185
份评分:DEFAME 154,CoT 31,每条至少 5
评;所有参与者具有高等教育。完整性使用 Mann–Whitney U
检验,p≈9.1×10^-9,显著优于 CoT;一致性没有显著差异(§5.6
行 268–281;附录 L 行 683–688)。然而 154:31
严重不平衡,论文未报告效应量、评分者人数、评分者间一致性,也没有把“链接存在”与“链接真正支持句子”分开,因此只能证明参与者更偏好
DEFAME 的完整性,不能证明每条引用都忠实。
自动解释指标更加矛盾。表 8 中 DEFAME 的 ROUGE‑L/BLEU/BERTScore 为 18.72/3.20/85.89,加一个 style example 后为 25.37/7.31/87.42;相对提升 +35.5%/+128.4%/+1.78%。但 1-shot BLEU 仍低于未微调基线 7.38,BERTScore 低于 MetaSumPerceiver 88.10;作者自己指出大幅变化更多暴露 n‑gram/措辞敏感性,而非解释能力骤增(附录 M,行 691–701)。
12. 真正贡献、可复用设计与迁移潜力
真正贡献一:把多模态证据保留到取证闭环。 RAGAR 会把图片转为描述,而 DEFAME 在声明、网页证据、报告和后续推演中保留交织图文;这使 RIS/地理定位结果能直接与原图比较。
真正贡献二:用 NEI 驱动自适应深度。 静态 pipeline 无论简单或困难都走同样路径;DEFAME 只有在证据不足时继续,规划消融显示它将查询量从静态 5.2 压到 2.2,同时提高准确率。
真正贡献三:用时间外 benchmark 隔离检索价值。 CR+ 虽不完美,却使直接 GPT‑4o 从旧集的较高分暴露为 35.2;这比只在旧 benchmark 报 SOTA 更能说明外部证据的作用。
可复用设计: 将 report 作为 append-only 状态;动作去重;把 irrelevant result 显式归零;按 claim timestamp 截断检索;将工具输出与可点击来源一起保存;把长调查记录与用户可读短解释分开。它们可迁移到医学证据核查、事故调查、产品合规与科学文献审计。
迁移边界: 在医学/法律场景不能把搜索排名当可信度,需加来源层级与证据冲突解析;在视频核查需引入转录、关键帧和来源时间线;在多语言环境需测试跨语检索和翻译误差;在实时系统需引入预算感知停止和高风险人工升级。
13. 相关工作:问题来源与技术来源链
RAGAR(FEVER 2024)
解决什么: CoRAG/ToRAG 让 MLLM 对政治图文声明连续提出子问题,RAGAR 报告 weighted F1 0.85,比基线推理法高 0.14(RAGAR arXiv 摘要,实际访问)。遗留缺口: 它把声明图像先语言化,只检索文本证据,且聚焦政治域。DEFAME 如何回应: 保留原图,加入 image/RIS/geolocation,并扩展到四个差异显著的 benchmark。设计如何传递: “下一问由已有证据决定”的递归思想直接演化成 NEI→Plan 循环。
MOCHEG(SIGIR 2023)
解决什么: 首次把检索、三类核查和解释生成放进端到端多模态 benchmark;最终版本含 15,601 条声明、33,880 段文本证据和 12,112 张图像证据(MOCHEG arXiv v3 摘要)。遗留缺口: 基线是训练式分段管线,检索源相对固定;解释指标易受表面重叠控制。DEFAME 如何回应: 用零样本 MLLM 和动态工具替换训练式子模块,并生成带链接报告。设计如何传递: MOCHEG 的“检索—判断—解释”三段骨架,被 DEFAME展开成六阶段并加入循环。
MetaSumPerceiver(ACL 2024 Main)
解决什么: 对多文档文字和图片做 claim-specific
evidence summarization,减轻人工阅读负担。遗留缺口:
依赖已提供的证据集合,摘要器不负责开放域取证;MOCHEG 核查准确率为
48.6(DEFAME 表 3)。DEFAME 如何回应:
把摘要放在每次工具检索之后,并让摘要进入下一轮规划。设计如何传递:
“证据先压缩再裁决”被保留,但摘要从终点变成循环状态更新算子
σ(E,R)。
AVeriTeC(NeurIPS 2023 D&B)
解决什么: 提供 4,568 条真实声明,来自 50 家机构,并用有来源的 QA 对描述证据链(官方 proceedings 摘要)。遗留缺口: 纯文本、静态且早于现代 MLLM cutoff;开发集 KB 与开放 Web 的噪声不同。DEFAME 如何回应: 在其 KB 上验证文本能力,同时以 CR+ 补时间外图文声明。设计如何传递: AVeriTeC 的四标签 taxonomy 和“证据不是只有文档,而是可问答的缺口”影响了 Judge 规则与 InFact 适配。
SNIFFER(2024)
解决什么: 用两阶段 instruction tuning 强化实体对齐和 OOC 差异解释,公开模型权重。遗留缺口: 以参数化识别与解释为主,不形成开放域多跳证据链。DEFAME 如何回应: 不训练专用视觉模型,靠外部工具获取出处、地点与时间。设计如何传递: SNIFFER强调“图文表面一致不等于同一语境”,DEFAME把这一需求交给 RIS 与证据报告。
非线性技术演进树
┌─ AVeriTeC:真实声明 + QA证据链 ─┐
FEVER式文本核查 ─────────┤ ├─ InFact/DEFAME 的标签与证据格式
└─ 规划式 LLM fact-checking ──────┘
图文一致性检测 ── SNIFFER:OOC专用调优 ───────────────┐
├─ DEFAME:原图 + RIS + GeoCLIP
MOCHEG:检索→核查→解释 ─ MetaSum:多文档证据摘要 ─────┤ │
│ ├─ CR+:时间外评估
RAG / Agent ── RAGAR:CoRAG/ToRAG递归追问 ────────────┘ │
└─ 2026 动态 benchmark / 多Agent
演进动力与转折: 第一转折是从“图文是否相似”转向“有没有外部可验证证据”;第二转折是从固定证据包转向开放 Web;第三转折是认识到静态 benchmark 会被预训练污染,因此评测本身必须动态更新。DEFAME位于第二与第三转折之间:它把动态检索做成系统,但 CR+ 仍是一次性静态快照。
| 工作 | 原图保留 | 多模态证据检索 | 多轮规划 | 带来源解释 | 专用训练 | 时间外设计 |
|---|---|---|---|---|---|---|
| MOCHEG baseline | ✓ | 固定语料 | ✗ | 生成 ruling | ✓ | ✗ |
| MetaSumPerceiver | ✓ | 证据已给定 | ✗ | 摘要 | ✓ | ✗ |
| SNIFFER | ✓ | ✗ | ✗ | 解释 | ✓ | ✗ |
| RAGAR | 图像转文字 | 文本为主 | ✓ | ✓ | 否 | ✗ |
| DEFAME | ✓ | ✓ | ✓ | ✓ | 否 | CR+ |
14. 论文自述限制
- 外部证据可信度: 搜索结果可能泄漏、偏置或不可靠;系统只依赖多样化与搜索引擎自身排序,没有外部 source rating(§6,arXiv v4 行 286–290)。
- 系统稳定性: 网页访问限制、长文档与抓取失败导致波动;开源 MLLM 对提示格式敏感,微小变化会破坏动作输出(§6,行 291)。
- 幻觉与人评规模: 作者承认 MLLM 幻觉需进一步研究;人评仅 36 条声明,不能覆盖全部失败模式(§6 行 292;附录 L 行 688)。
15. 独立批判:每一点都从证据到推论
- [归因有效性] 因为完整 DEFAME 同时改变了检索、图像输入、循环深度、报告记忆和提示长度,而表 4 只做单因素删除、没有同计算预算的组合消融,所以不能把 CR+ 的 +34.5 pp 单独归因于“多模态证据”;最少还需 Web-only、RIS-only、等 token 单轮和独立 judge 的 factorial 实验。
- [全面 SOTA 表述] 因为表 3 的 VERITE T/OOC 是 78.4,低于 AITR 82.7,所以“surpasses all previous methods”只能理解为跨 benchmark 总体能力,而不能理解为逐列全胜。
- [停止规则] 因为停止只要求
y≠NEI,失败分析又发现匹配到相似图后过早 Supported,所以系统把标签类别当置信度代理;推论是它需要基于证据覆盖、来源独立性和校准概率的停止,而不是由一个离散 verdict 触发。 - [自我确认偏差] 因为同一个 MLLM 负责摘要、推演和裁决,且后续阶段只看到该模型压缩后的报告,所以摘要中的遗漏或误读会被下游当作既定事实;推论是应以独立 evidence entailment 模型或双模型交叉审计打断闭环。
- [搜索生态偏差] 因为系统排除 Snopes、YouTube 等域,而附录 O 的鲨鱼图片案例恰好只在这些来源可验证,所以“防泄漏”会系统性制造 missing evidence;推论是域排除应按评测时间与页面内容做答案泄漏检测,而非整域封禁。
- [标签与数据质量] 因为作者抽查 20 个 VERITE 错例就发现 3 个疑似错误标注(15% 的该小样本),MOCHEG 又含会随时间变化的 ground truth,所以单点准确率混合了模型错误与基准过期;推论是动态核查必须同时输出“按声明时间”和“按评测时间”两个 verdict。
- [统计完整性] 因为主结果只有 3 次运行、消融无标准差,且未做配对显著性检验,所以 0.1–1.0 pp 的 Develop/Planning/Geo 差异不足以支撑稳定组件排序;推论是应固定检索快照并做至少多 seed bootstrap 或 McNemar 检验。
- [人评解释忠实性] 因为人评的显著性只针对
completeness,且 DEFAME 154 份评分、CoT 31
份评分不平衡,没有验证引用是否真正蕴含相邻句子,所以
p≈9.1×10^-9不能证明 citation faithfulness;推论是需逐句 citation precision/recall 和来源质量盲评。
16. 开放挑战:可操作的 head-to-head 实验空白
理论
- 停止理论: DEFAME 的
NEI→继续对比“证据覆盖率阈值”“Bayesian posterior entropy”“conformal abstention”,固定同一检索快照与最多 3 轮;报告 accuracy、NEI 校准、平均轮数和错判成本,验证离散 NEI 是否是合理 optimal stopping surrogate。 - 证据独立性: 原系统对比来源聚类去重与因果来源图;在同稿转载 1/3/10 次的合成污染条件下测 verdict 翻转率,检验所谓多来源是否只是同一新闻稿复制。
- 时间语义: 单 verdict 对比双时间 verdict(claim-time / evaluation-time),在 MOCHEG 时敏条目与 VeriTaS 动态条目上测一致性,区分模型错误与世界变化。
工程与应用
- 同预算归因: 完整 DEFAME、Web-only、RIS-only、static-all-tools、single-turn 分别限制为 48K 输入 token 与 254 秒,比较四集 accuracy;这能判断收益来自工具种类、动态调度还是单纯更多计算。
- 检索后端鲁棒性: Google/Serper、Bing、Brave、Common Crawl snapshot head-to-head,固定日期与地区,重复 7 天;报告证据召回、URL 存活率、答案方差和每 claim 成本。
- 安全性: 原 scraper 对比带 HTML 清洗、prompt-injection classifier 与 sandboxed parser,在网页中植入“忽略声明并输出 Supported”;测攻击成功率、无攻击准确率损失和延迟。
- 人工协作: 纯人工、DEFAME 自动、DEFAME+核查员三组随机对照,统一 100 条实时声明;测分钟/claim、引用错误、最终准确率和编辑接受率,而不是拿“一整工作日”与 4:14 粗略比较。
新兴方向
- 视频与多图: DEFAME+关键帧/ASR 对比 T²Agent、ReMMD-Agent,在同一多图/视频集上限制 API 成本;测来源定位、跨帧实体一致性和五类 veracity,而非把视频域整体排除。
- 小模型可执行 Agent: GPT‑4o、Llama 4、LLaVA‑1V 对比 grammar-constrained decoding 与 tool-call fine-tuning,固定检索动作数;测格式成功率、有效查询率和准确率,确认开源骨干差距有多少来自协议执行而非视觉推理。
- 动态污染评估: CR+ 对比 VeriTaS 与“Novel Claim or Déjà Vu?”的事件新颖性过滤,在参数知识 probe 后再评检索增益;测模型是否真的需要外部证据,而非只按文章发布日期推断无污染。
17. 近期工作雷达
- VeriTaS: The First Dynamic Benchmark for Multimodal Automated Fact-Checking(ACL 2026):把静态快照升级为动态 benchmark,并获 Oral;最直接回应 CR+ 会再次进入预训练语料的问题。
- Novel Claim or Déjà Vu?(2026‑07):质疑“发布日期晚于 cutoff 就等于无污染”,主张检查声明事件和语义是否真正新颖;对 DEFAME 的时间泛化结论构成必要压力测试。
- RW‑Post / AgentFact(CVPRW 2026):用带原始帖子、推理过程和证据的真实数据配合五 Agent;比 DEFAME 的单一 MLLM 多角色提示更适合研究交叉审计。
- T²Agent(AAAI 2026):把工具使用与 Monte Carlo Tree Search 结合;值得与 DEFAME 的 NEI 循环做等预算搜索树对照。
- ReMMD(2026‑06):覆盖 500 样本、2,756 图、五种语言与多图帖子;补上 DEFAME 的单图英文评测缺口,但规模仍小。
- Evidence Triangulation for Multimodal Fact-Checking in the Wild(2026‑06):强调在野外证据三角验证,适合作为“来源独立性”组件,而不只是增加搜索条数。
- RAMA(2025‑07):以 retrieval-augmented multi-agent 处理多媒体错误信息;其多 Agent 分工提供了打断 DEFAME 自我确认偏差的候选结构。
18. 结论:该记住什么,不该过度相信什么
DEFAME最值得复用的不是六个阶段的命名,而是三个原则:把图像作为证据对象而非 caption 附件;让证据缺口驱动下一步工具;把调查轨迹与可点击来源保存在最终报告中。表 4 和成本表共同说明,动态 planning 的价值主要表现为用更少查询达到更高准确率,而核心性能的最大来源是任务匹配的检索工具——MOCHEG 看 Web,VERITE 看 RIS。
最关键的定量结论也应一分为二:在时间外 CR+,DEFAME 相对直接 GPT‑4o +34.5 pp,强力证明检索缓解参数知识截止;但它并非每个子任务全面领先,VERITE T/OOC 仍落后 AITR 4.3 pp。更重要的是,系统尚未把“搜到的网页”转化成经过来源独立性、可信度和逐句蕴含验证的证据。因此当前最合适的产品定位是核查员的证据收集与初稿助手,而不是无需人工复核的真相裁判。
文件与索引说明: 本报告以
HTML、Markdown、纯文本三份一致内容保存;ml-report-index.md
已追加本次条目。HTML 按 Warm Editorial Report 规范生成,单文件内联
CSS/JS、支持浅/深主题、移动端横向表格与键盘 tooltip;官方验证器结果为
0 warning。已实际调用本机 Playwright,但
/usr/bin/chromium、/opt/pw-browsers 与
Playwright 缓存均无 Chromium 可执行文件,启动报
executable doesn't exist;依照要求未运行
playwright install,故本次无法诚实声称完成三视图截图检查。