精读笔记
Problem Setting
论文标题：CADET: Physics-Grounded Causal Auditing and Training-Free Deconfounding of End-to-End Driving Planners（arXiv preprint / 2026）
这篇论文真正处理的是 frozen E2E driving planner 的 causal audit 与 test-time repair，而不是重新训练 planner。给定 SparseDrive 这类已经训练好的 imitation planner，问题是：它输出一个 ego trajectory 时，到底依赖了哪些 agent query？这些依赖中，有多少是物理上不应影响当前决策的 spurious reliance？如果发现了，能不能不重训地去掉？
困难点在于 planner 的传统指标与这个问题几乎错位。open-loop L2 主要由 ego status、历史轨迹和数据集偏置主导，不直接反映 planner 是否真的在用 causal scene elements。一个模型可以 L2 很低，但在局部场景中仍然把制动、偏移或速度变化建立在路边静态物、远处 off-path object、建筑 facade 等 shortcut 上。
以前方法主要卡在两端：训练时 causal intervention 方法可以改善 confounding，但需要改训练过程、重训大模型，无法 audit deployed planner；influence / occlusion 类方法能看到模型依赖什么，但不知道这种依赖是否合理；invariance 类方法依赖跨环境变化，一旦 spurious correlation 在所有环境中稳定存在，就会把稳定 shortcut 误认为 causal。关键矛盾是：模型依赖关系是内部统计行为，因果合理性却需要外部世界约束，仅靠模型或数据分布本身不够。
Motivation
作者的核心观察是：global spurious correlation 下，统计信号没有足够辨识力。一个 mailbox 如果在所有训练环境中都和减速共现，influence 会显示它重要，invariance 会显示它稳定；这两个信号都不能证明它是因果变量。换句话说，faithfulness 在这里正是会失败的假设。
因此论文缺的不是更复杂的 attribution，也不是更大的 counterfactual simulator，而是一个不来自训练分布的判别标准。作者选择物理几何先验作为 external anchor：一个对象是否可能影响当前 ego decision，至少应满足 corridor relevance、TTC urgency、动态交互可能性等基本约束。这个思路很 pragmatic：不试图从数据里“发现因果”，而是用交通物理规则排除一批不可能的因果解释。
这也是本文相对部署友好的动机：对于已经上线或已训练的 planner，最现实的工具不是重新训练，而是 forward-pass 级别的 audit、benchmark 和 test-time masking。它把 causal robustness 从训练目标转成了 inference-time instrumentation 问题。
Core Idea
CADET 的核心不是 PCR 公式本身，而是一个判别范式：把“模型是否依赖某 query”和“该 query 是否物理上有资格影响 plan”分开估计，然后只关注二者冲突的区域。高 influence + 高 physics plausibility 是正常 causal reliance；低 influence + 低 plausibility 是无害背景；真正危险的是高 influence + 低 plausibility，即 planner 正在用一个物理上不该起作用的对象。
这相当于把 causal audit 从 observational causality 转成了 physics-constrained attribution。prior work 多在 learned representation 或 environment variation 里找因果结构，而 CADET 引入的是外部 inductive bias：交通几何和运动学可达性。它改变了信息流：不是让 planner 自己决定哪些 query 是因果的，而是用 perception output 派生一个独立的 physical relevance score，再反过来审计 planner 的依赖。
理论上它可能有效的原因很简单：在 driving planning 中，一大类 spurious cue 的共同特征是物理不可达或当前决策不可干预。只要这个类别足够常见，物理先验就能提供比数据统计更稳定的筛选边界。它不保证发现所有 spurious dependence，但能可靠压制“明显物理无关却高影响”的那一类。
Method
方法层面只需要保留几个机制。
1. Query ablation / influence：通过移除单个 agent query 后的 plan change 来估计 planner 实际依赖。它解决的是 attribution 问题：不是问对象在真实世界是否重要，而是问模型有没有把它用于决策。必要性在于没有这个信号，physics-only 会把大量无害背景对象也标成问题。
2. Physics-geometric prior：用 box、velocity、class、confidence、TTC、drivable corridor overlap 等判断对象是否具备物理影响 ego plan 的资格。它解决的是 attribution 的不可辨识性：模型依赖不等于因果相关。核心变化是引入了独立于训练分布的约束，使 global shortcut 不再能仅凭稳定性伪装成因果变量。
3. Hard gate：高 physics plausibility 的 query 被保护，不会被 PCR 标成 spurious。这个设计很关键，因为 driving 中真正 causal 的对象通常正是 high influence；没有 gate，方法会退化成普通 occlusion sensitivity，误杀 lead vehicle、cut-in vehicle、pedestrian 等对象。
4. Cross-environment stability：用于补足 physics prior 对局部或环境相关 shortcut 的盲区。它的角色更像辅助 regularizer，而不是主贡献。文中在合成 ablation 中展示其价值，但真实 nuScenes 设置下它的实际贡献文中未充分说明。
5. TCM：把 PCR 高且未被 physics gate 保护的 query 在 inference 时 mask，再重新规划。它本质是 query-level approximate do-intervention，不更新参数。它解决的是 deployed model 的 repair 问题，但其安全性完全依赖“被 mask 的 query 真的非因果”这一前提。
Key Insight / Why It Works
这篇论文最有价值的 insight 是：causal confusion 的检测不能只看模型 sensitivity，也不能只看跨环境不变性；需要一个外部世界模型来判定“这个依赖有没有物理资格”。在 driving 里，最便宜且最强的外部世界模型就是几何和运动学约束。这比泛泛地说“引入 causal prior”更具体，也更可操作。
真正有效的部分大概率是 influence × (1 - physics plausibility) 这个交叉项，而不是完整公式。Influence 找到模型依赖，physics prior 去掉真正 causal 的高影响对象；二者相乘自然把异常点推出来。hard gate 是 precision 的来源。cross-environment term 的边际价值不确定，尤其在真实单帧 audit 中似乎没有成为主要驱动力。
这不是 scaling，也不是 data coverage 驱动的方法；它更像 better inductive bias + test-time compute。它利用 planner 已经暴露的 sparse query structure，把原本难以解释的 image-to-plan dependency 降到 agent-query 层面，再用物理规则审计。SparseDrive 这种 query-based planner 正好给了它可操作接口，因此“model-agnostic”应理解为对 query-based planner 较通用，而不是对任意端到端黑盒都直接适用。
TCM 的效果也要谨慎归因。它能提高 CSI，是因为 CSI 本身就是 query-level spurious perturbation 下的稳定性指标，和 PCR/TCM 的操作空间高度一致；这里存在 evaluation-method alignment，不是坏事，但不能直接推出 closed-loop safety 改善。open-loop L2 不变支持“L2 对 causal robustness 失明”，但不能证明 TCM 一定提升真实驾驶表现。
更尖锐地说，CADET 并没有解决一般 causal discovery。它解决的是一个受限但重要的问题：在 planner 已经结构化输出 agent queries 的前提下，识别并移除“高模型影响、低物理可能性”的依赖。这个边界清楚，贡献也主要在这里。
Relation To Prior Work
最接近的路线有三类。
第一类是 CausalVAD / Beyond Patterns 这种 training-time deconfounding。它们试图通过 backdoor adjustment、context prototype 或 causal intervention 改善训练后的 planner / predictor。CADET 的本质差异是 inference-only：它不学习一个更 causal 的 planner，而是审计一个 frozen planner 并做 test-time masking。实质新增信息是 physics prior 作为外部 arbiter，而不是 learned confounder representation。
第二类是 occlusion / perturbation attribution。CADET 的 influence 部分其实是经典 occlusion sensitivity 的 query-level 版本，并不新。新意在于它明确指出 influence 只能回答“模型用没用”，不能回答“该不该用”，并用 physics gate 修正 attribution 的语义。
第三类是 invariance / IRM / ICP。CADET 对这条路线的批评是准确的：如果 spurious cue 在所有环境都稳定，invariance 会失败。CADET 并不放弃 invariance，而是把它降级为辅助信号；主判别来自物理不可达性。这是本质差异。
和 CounterScene / closed-loop scenario generation 相比，CADET 更轻、更可复现，但表达能力更弱。CounterScene 尝试生成世界级 counterfactual，CADET 只做 query-level edits。前者更接近真实场景变化，后者更适合快速 audit。它属于“structured test-time auditing / intervention”谱系，而不是传统训练式 causal learning。
Dataset / Evaluation
实验设计有一个明显优点：作者没有只在真实数据上做无标签 audit，而是构造 SpurGen 给出 spurious / causal ground truth。这个合成 benchmark 对验证方法机制是有用的，尤其能展示 influence-only、physics-only、invariance-only 各自的失败模式。它确实支持核心 claim 的一部分：fusion 比单信号更适合识别高影响但物理无关的 shortcut。
但 SpurGen 也高度贴合方法假设：spurious objects 被设计成 off-path、low physics relevance，而 causal objects 被设计成 in-corridor 或 high TTC relevance。这验证的是“在物理不可达 shortcut 上 PCR 有效”，不是一般 causal confusion。对于语义型、历史型、map-prior 型、interaction-long-horizon 型 spurious reliance，覆盖不足。
真实实验使用 SparseDrive on nuScenes-mini，规模非常小，且是 single-frame inference。它能证明 CADET 可以接入真实 pretrained planner，并发现局部 spurious reliance；但不足以证明跨 planner、跨数据集、temporal planning 或 closed-loop deployment 中依然有效。论文声称 planner-agnostic，但实际只展示了 SparseDrive。
TCM 后 L2 基本不变这个结果很有解释力：它说明传统 open-loop L2 不测 causal robustness。但这不是 TCM 提升安全性的证据。CSI 更贴近方法定义，能验证 audit-consistent robustness，却不能替代 closed-loop collision、comfort、rule compliance 或 reactive simulation。
Limitation
最根本的限制是：CADET 把“因果资格”外包给 physics prior，而 physics prior 的正确性依赖 perception 和手工几何假设。检测框错、速度错、类别错、lane corridor 估计错，PCR 就会错。文中承认这一点，但没有系统评估 perception failure 下的风险。
第二，物理不可达不是 spurious 的充分覆盖。很多 spurious cue 物理上看起来完全 plausible：某类车辆、某个地图区域、道路纹理、交通灯附近背景、历史 ego motion pattern、社会交互模式，都可能被 planner 错用，但不会被 low ρ 捕获。文中用 stability term 试图补这个洞，但真实场景下是否有效文中未充分说明。
第三，TCM 的“不会移除 true cause”只是由 hard gate 近似保证，不是理论保证。当前帧 off-corridor 的对象可能在短时间内 cut-in；远处对象可能影响长期计划；静态 object 可能代表 road boundary 或 occlusion cue。若 physics prior horizon 太短，TCM 可能把早期预警信息当成 spurious。
第四，query-level perturbation 可能引入模型内部非自然状态。zeroing instance feature 并不等价于真实世界中移除一个 object；planning head 对这种 intervention 的响应可能混合了 representation artifact。所谓 approximate do-intervention 是合理类比，但不应过度解释。
第五，真实评估不足。nuScenes-mini、81 frames、单 planner、single-frame mode、无 closed-loop，是一个 proof-of-concept 级别 audit。泛化到 full split、temporal queue、不同架构和真实部署仍是开放问题。增益来源在真实数据中也不完全清晰：主要来自 physics gate 的保守筛选，而不是完整 causal adjustment。
第六，这篇论文的“deconfounding”说法偏强。它并没有估计 P(Y|do(S))，也没有真正做 backdoor adjustment；TCM 更准确地说是 test-time removal of physically implausible high-influence queries。把它称为 causal deconfounding 可以接受为工程近似，但不是严格因果识别。
Takeaway
- 1. 对 E2E planner 的 causal robustness，最实用的切入点可能不是再造一个 causal training pipeline，而是先建立 frozen-model audit：模型依赖什么、这些依赖是否有物理资格、移除后行为如何变化。
- 2. 在 driving 这类强结构任务中，外部物理先验比纯统计 invariance 更可靠。
- global spurious correlation 是 observational causal discovery 的硬伤，用 world constraint 做 anchor 是值得迁移的思路。
- 3. Query-based planner 暴露了一个很有价值的审计接口。
一句话总结
CADET 是一篇把 E2E driving 的 causal confusion 从训练期因果学习转向部署期物理约束审计的工作，核心贡献是用 physics-grounded query attribution 识别并测试时屏蔽物理无关但高影响的 planner 依赖。