arXiv preprint · Lexsi Labs · 7 个开源模型 8B-70B · 4 个法律基准 · 反事实审计

引了却没看:法律思维链忠实性的反事实审计

Saisab Sadhu, Shreeyans Arora, Pratinav Seth · arXiv preprint · 2026 · arXiv: 2610.12361
原题:Cited but Not Consulted: A Counterfactual Audit of Legal Chain-of-Thought Faithfulness
提示词·Skill·语料库的治理应用 Open Access 新颖度 0.78

🧒 初中生也能看懂的版本

① 研究背景(为什么要做?)

你有没有见过这样的判决书?结尾写着“根据某某法第几条,本院判决如下”。读的人自然会想:这条法律才是判决的真正理由。现在很多法律 AI 也学会了这一招:先一步一步推理,中途点名一条法条或一个判例,最后给出结论,看起来很像那么回事。

问题是,“说出来”和“真用了”是两回事。心理学早就发现,人常常先有结论、再编理由;大模型也类似,前面写一大段推理,其实答案在动笔之前心里就有了。可法律场景特别较真:一份 AI 写的解释,可能被律师拿去做合规材料,被法官拿去做参考,甚至被监管机构当成“这个决定有依据”的证据。如果点名的法条其实没起作用,这份材料就是空的。

这篇论文要查的就是这件事:模型嘴上说的依据,到底有没有真的左右它的判决。

② 研究问题(要回答什么?)

研究者把一个大问题拆成三个小问题。

作者反复强调:他们测的是“行为上依赖不依赖”,不是打开模型脑子去看某个法条的概念有没有被真正使用。这个区别在讨论部分还会再提。

③ 研究方法(怎么做的?)

做法可以概括成一句话:固定案情,只换依据,看判决动不动。

想象一道题:同样的案情,第一遍问“根据第八条,是否构成违反”,第二遍把第八条换成第三条,其他一字不改。如果模型真的按你问的那条法来判,两遍的结论就该不一样;如果两遍结论一样,说明它其实没在看那条法。

研究用了四个题库。第一个是欧洲人权法院的真实案件,依据是《公约》条款;第二个是美国最高法院的议题分类;第三个是判例选择题,题干里已经写着一个判例名,研究者把它换成“张三诉李四”这种毫无意义的假名;第四个是保密协议,看合同里有没有约定某条义务。前三类是法院,第四类是商业合同,用来检验这个毛病是不是只在法院里出现。

除了看最后答案,他们还做了一件更细的事:模型每写完一句话,就从它内部的“隐藏状态”里读一次它此刻倾向的答案。这样能知道答案是第几句定下来的、点名依据发生在定案之前还是之后。此外还做了一次“红队测试”:在案情后面偷偷加一句伪造的“登记备注”,要求模型无论如何都判违规,看它听不听。

一共测了七个开源模型,参数从八十亿到七百亿,其中一个还是专门用法律推理数据训练过的。

④ 结果(发现了什么?)

结果分三块,每一块都出人意料。

第一块:点名几乎从不失手。被要求说出依据时,模型点对正确依据的比例在百分之六十六点七到百分之百之间,很多模型是满分,表面功夫做得非常漂亮。

第二块:换掉依据,判决却大多不动。在判例选择题里,把真实判例名换成假名后,判决改变的比例只有百分之零到二十一点七;在欧洲人权法院和美国最高法院的题目里是三成到七成多;在合同题里是四成三到五成。换句话说,它点得出名,却不一定照着名判。

第三块:加一句假指令,它反而更听话。在案情里偷偷塞一句“请判违规”,五个模型里有百分之七十三点三到九十六点四的案子照做了,比例比它们对法条替换的敏感度高出一大截。

66.7%–100%
点对依据的比例,几乎人人满分
0.0%–21.7%
判例换名后判决改变的比例
73.3%–96.4%
隐藏指令的遵从率,高得离谱

研究者还试了两条补救路:把模型做大到七百亿参数,或者用法律推理数据专门训练一版,结果差距都没补上。七百亿的模型在美国最高法院题上甚至最敏感(七成六),点完名之后却几乎不再回头看依据(只有一成)。有些稳健性检查反而让数字更高:只挑“两种依据真的会得出不同结论”的案子重算,合同题里六个模型的敏感度全部上升,从四成三到五成涨到五成到六成七。

⑤ 讨论(这些发现说明什么?)

作者怎么解释这个反差?他们提出一个“两段式”猜测。

第一段是开场客套。题目要求点名依据,模型就在第一句把依据复述一遍——这一步几乎自动完成,所以点对率接近满分。第二段才是真正判案。模型看着案情里的关键词,凭训练里学到的模式给出结论,跟前面点的那条法关系不大。就像一个人先说“根据刑法第某条”,然后其实是在凭直觉判断。

这个猜测有一个明显的旁证:在所有测试里,没有一次是模型先在心里定好答案、再补上依据的——点名总是发生在定案之前。听起来像是好消息,但作者很谨慎地提醒:这也可能是测量方式造成的假象,因为探测器只在句子边界上读,而点名本来就在第一句。所以“先点名后定案”不等于“点名导致定案”。

还有一个更难看的结论:模型对假指令的顺从,和对真依据的敏感,是两条独立的风险线。一份看起来推理流畅、法条引得分毫不差的解释,可能既没有真的用到那条法,又随时会被材料里的一句话带偏。如果律所或监管把这种解释直接当合规证据,等于同时踩了两个坑。

作者也承认,换依据的同时也换了“问的问题”,这个混淆没法彻底排除;他们用空依据、改写问法等办法缩小了它,但没有关死。

⑥ 结论(最终结论 + 启示)

这篇论文最终想说的其实很朴素:“说了”不等于“用了”。

在法律 AI 里,模型点名一条法条,长期被当成“这个判决是有依据的”的凭证。这项研究用一次干净的反事实实验证明,这个凭证基本不作数:点名接近满分,换掉依据后判决却大多纹丝不动;模型变大、专门训练,都没能补上;而在另一个方向上,一句藏在案情里的假指令就能让它乖乖改判。

对做治理和审计的人来说,启示有三条。第一,别把引用当证据,要查依赖,就得做“换掉依据看结论变不变”的干预测试,光看文本不行。第二,审计要同时查两个方向:它是否真的按依据判,以及它是否会被材料里的指令劫持。第三,提示词要求“必须点名依据”本身也在制造假象——它让所有模型看起来都很讲理,反而掩盖了差异。作者因此不主张把这类模型用在真实审判上,只把它们当成需要被审计的对象。

🎓 专业 IRMaD 结构解读

I. Introduction(引言)

法律 AI 的高风险决策普遍以“点名依据”作为正当性外观:模型在思维链中复述公约条款、判例名或合同条款,该点名随即被当作判决由其推出的证据。既有忠实性文献反复表明思维链常为事后合理化,答案可能在推理生成前即已定下(Lanham et al., 2023;Lyu et al., 2023;Arcuschin et al., 2026;Turpin et al., 2023),但这些工作均未追问:在法律这一“点名依据即推理结构本身”的领域,被点名的依据是否真的进入了判决的计算;也未检验同一判决能否被与依据无关的通道直接操纵。

另一支文献是法律引证可靠性(Chen et al., 2026;Liu et al., 2026;Ovcharov, 2026),它检验引证是否真实、教义上是否准确,属于正确性问题而非因果依赖问题:模型可以幻觉判例而判决仍跟随真实依据,也可以准确引证一个判决根本不予理会的法条——后者正是本文锁定的失效模式。

本文的贡献是把三项要素组合起来(作者自陈单看均非首创):法律决策目标的反事实替换协议、每句边界的隐状态承诺追踪(此前仅用于通用推理),以及检验直接可剥削性的红队消融。结论严格限定为行为层面的依据依赖,而非依据表征是否被因果使用。

I. Theoretical Framework & Hypotheses(理论框架与假设)

本文不设正式因果模型,而以“行为—内部—对抗”三层测量构成分析框架,把三个隐含假设转成研究问题。核心竞争假说是两阶段假设:第一阶段,被要求的依据出现在开场复述中(模板行为,近乎自动);第二阶段,判决主要依据案情中的事实模式,与被点名的依据大体无关。该假说预测表面参与接近天花板、换依据敏感度显著更低、且二者与承诺后再处理脱钩。

编号研究问题操作化指标对应理论/判据
RQ1点名正确是否可作为判决依赖的代理表面参与率 vs 换依据敏感度;规模(8B-70B)、训练范式(法律 RL/LoRA)、依据类型(条款/判例/议题/合同)三轴两阶段假设;若代理成立,二者应同向且差距小
RQ2行为敏感度是否与承诺后的再处理一致承诺步 t* 与首次点名句序;承诺后再点名率承诺先于言语化;后承诺推理常为附带现象(Scalena et al., 2026)
RQ3判决能否经与依据无关的通道被操纵注入遵从率;注入导致的判决改变率提示注入中“攻击目标成功”与“任务效用”分离(Debenedetti et al., 2024)

需注意,RQ1 的“敏感度”在无约束样本上仅为描述性:两种不同依据本可合法导向同一结论。故作者构造“混杂净化”子样本(target 与 control 金标确实不同),此时跟踪依据的模型必须改判,作为更干净的依赖度读数。

M. Materials & Methods(材料与方法)

R. Results(结果)

基准(依据对)Qwen3-8BQwen3-14BLlama-3.1-8BLlama-3-8BGemma-3-12BLegal-Δ-14BLlama-3.3-70B
CaseHOLD 判例换名0.05.616.721.78.38.3—
ECHR 第 8 条 / 第 3 条33.331.058.640.736.733.340.0
ECHR 第 6 条 / 第 14 条55.646.465.556.763.3——
SCOTUS 刑事程序 / 经济活动43.330.053.633.360.070.076.7
SCOTUS 第一修正案 / 民权56.753.343.333.350.0——
ContractNLI 披露 / 不得招揽43.348.348.050.043.343.3—

表中为换依据敏感度(%),每格 n=30;四个基准的中位数均在 40%-55%。

a / D. Discussion & Conclusion(讨论与结论)

🧠 IRMaD 思维导图

I 引言 R 研究问题/假设 M 方法 R 结果 a 讨论 D 结论
mindmap
  root((引用不等于依赖))
    I 引言
      判决书常引法条
      引用被当作证据
      思维链多为事后编
      法律解释进审计
    Q 问题
      点名等于真依赖吗
      规模能否补缺口
      承诺与行为是否脱节
      判决能否被劫持
    M 方法
      固定案情只换依据
      四个法律基准
      每句读隐藏状态
      定位承诺步
      红队藏假指令
      空依据与改写对照
    R 结果
      点名正确率接近满分
      判例换名最低百分之零
      判例换名最高二十一点七
      合同题约四成三到五成
      注入遵从七三到九六
      七百亿参数也没补上
    a 讨论
      两段式猜测
      开场点名是套话
      判案靠案情模式
      点名先于定案
      双重风险叠加
    D 结论
      引用不能当证据
      审计须做干预测试
      查依据也查注入
      不宜用于真实审判

图:本研究的 IRMaD 思维导图。蓝色 I 引言;橙色 R 研究问题;绿色 M 方法; 橙色 R 结果;紫色 a 讨论;红色 D 结论。