研究:SAE 相关性恢复的特征最高 77% 因果无效
From Geometric Recovery to Causal Validation: A Reproducible Audit of Sparse Autoencoder Features, from Superposition Geometry to Causal Inertness
论文用消融与转向干预审计SAE,发现余弦≥0.90特征中退化SAE有77%、良好SAE有9%因从不激活而因果惰性。
- 稀疏自编码器(SAE)评估通常依赖解码器原子与目标方向的余弦相似度等相关性指标,但这混淆了解码器几何对齐与编码器激活行为。若解码器几何与编码器激活脱节,模型可能学到看似几何匹配但从不激活的特征,误导可解释性分析。
- 构建真实特征已知的合成模型,对余弦匹配的特征执行消融与带符号转向干预,度量激活比例与因果特异性,将流程封装为开源审计工具 sae-causal-audit,并在 GPT-2-small 残差流 SAE 上开展概念级审计。
- 合成模型中,余弦≥0.90的匹配特征在退化TopK SAE有77%、良好SAE有9%从不激活(因果惰性);对跖对几何导致读写解离,转向特异性达143–310而消融效果为0。GPT-2-small审计中7个匹配特征有1个惰性,且出现原子碰撞。
- 定量结论主要来自小型合成模型(22个充分表征特征、单随机种子),仅在单特征开启状态测试而未测多特征交互;真实模型依赖线性探针均值差作为替代方向,Prompt采样有限;读写解离仅基于两套SAE中的5组对跖对。
- Evaluated models
- toy model (32->8, s=0.95, decayed)toy model (nhidden=20)GPT-2-small (gpt2-small-res-jb/blocks.8.hook_resid_pre)
- Benchmarks
- synthetic sparse inputs (nhidden=20, nfeatures/nhidden in {1, 2, 4, 8}, s in {0, 0.3, 0.6, 0.8, 0.9, 0.95, 0.99})synthetic decayed-importance inputs (32->8, s=0.95, decayed)83 hand-written concepts probe dataset (8 positive, 8 negative prompts per concept)
- Metrics
- feature dimensionality (Di)dedicated-feature fractionL0 sparsityreconstruction loss (MSE)recovery precision (unsigned cosine >= 0.90 or >= 0.5)fired_fracablation specificitysign-correct steering specificitymean active-magnitude change
研究者 Mohamed Abdessalem Bal 对稀疏自编码器(SAE)的评估实践提出质疑:领域主流的余弦相似度恢复指标衡量的是解码器几何对齐,而原子是否真正激活由编码器与 TopK/ReLU 选择决定,二者是两种不同的经验主张。在真值完全已知的合成模型上,作者对每个相关性恢复的特征施加消融与符号正确的引导干预,发现退化 SAE 中通过余弦 ≥0.90 恢复门槛的特征最高 77% 因果无效,训练良好的 SAE 中为 9%,无效匹配的余弦最高达约 1.000。对已发布的生产 SAE(GPT-2-small,83 个概念,单 hook 层)的审计在小规模上复现了定性模式(恢复特征中 14% 因果无效),并发现少数解码器原子在数十个语义无关概念中反复成为最近匹配,在三个独立构建的概念批次中复现。
Why it was selected论文在已知真值的合成模型上对 SAE 特征做消融与引导验证,量化了相关性恢复与因果有效性的差距,并给出可复用的审计工具。
Paper analysis
What problem does this paper attempt to solve?
仅凭解码器余弦相似度评估SAE特征,混淆了几何对齐与编码器激活,导致因果失效。
论文试图解决当前机制可解释性中,仅凭解码器几何相关性指标(如余弦相似度)评估稀疏自编码器(SAE)特征恢复质量,无法保证编码器实际激活行为和因果有效性的问题。
- 评估指标的脱节:当前主流评测主要计算解码器原子与目标特征方向的无符号余弦相似度,作者指出这度量的是重构几何,而特征是否激活由编码器权重及选择非线性决定。
- 因果有效性未经验证:即便解码器方向与真实特征在几何上高度对齐,编码器在特征出现时可能从未激活对应原子,导致名义上恢复成功的特征在因果层面不起作用。
- 安全与可解释性风险:在安全监控或模型干预场景中,若直接依赖未经因果检验的SAE特征,作者认为可能导致监控失效或产生错误干预。
- 核心假设与方案:作者认为几何对齐与编码器激活是两个不同的经验断言,提出通过消融与转向干预对匹配特征进行因果审计,并开源了评估工具。
What related research exists?
相关研究涵盖叠加假说、TopK与L1字典学习及特征吸收,缺乏逐特征因果验证工具。
相关研究主要围绕叠加表征、稀疏字典学习及其评估方法展开:
- 叠加表征假说:Elhage et al. (2022) 提出线性表征假说与叠加假说,指出当特征稀疏时模型倾向将更多特征压缩到低维空间中,形成对跖对(antipodal pair)等几何结构;Johnson & Lindenstrauss (1984) 为高维空间容纳大量近似正交方向提供了理论依据。
- 字典学习与SAE架构:Olshausen & Field (1996) 与 Bricken et al. (2023)、Templeton et al. (2024) 将稀疏编码用于神经网络表征分解;Tibshirani (1996) 指出L1惩罚存在收缩效应;Gao et al. (2024) 提出TopK SAE以消除收缩偏差;Rajamanoharan et al. (2024) 与 Bussmann et al. (2024) 分别提出门控SAE与BatchTopK。
- 特征激活失效与代理指标缺陷:Chanin et al. (2024) 发现特征吸收现象,指出层级特征会导致宽泛特征激活被具体特征吸收;Karvonen et al. (2025)(SAEBench)指出无监督代理指标无法稳定转化为实用性能;Bereska & Gavves (2024) 提出模型可能形成抵御探测内部结构的担忧。
- 基线方法与基准:实验对比了L1 SAE(惩罚系数0.003至0.1)与TopK SAE(k值4至13);基准包括不同稀疏度的合成模型以及GPT-2-small残差流与83个概念的探针数据集。
作者指出,现有工作要么依赖相关性代理指标,要么仅在模型回路分析中零星使用干预;本文定位为逐特征、逐方向(读与写)的因果验证工具,直接揭示相关性恢复与因果有效性的解离。
How does the paper address this problem?
通过消融与带符号转向干预度量因果特异性,提出成因与方向双轴分类体系及审计工具。
作者提出通过因果干预评估特征有效性,并封装了开源审计工具 sae-causal-audit。
问题设定与形式化
- 玩具模型构建低维瓶颈,输入 x 满足稀疏分布,重建过程定义为 h = W x, x̂ = ReLU(W⊤ h + b),强制模型在有限维度中压缩表征。
- 引入激活概率度量 fired_fraci,j = 1/N ∑n=1N 𝕀[|fj(hn)| > ε],若特征呈现时对应原子激活概率为0,则判定为因果惰性。
因果干预流程与特异性度量
- 消融干预(读方向):在仅特征 i 激活的孤立输入下,将匹配原子 j 的编码激活置零并解码,计算目标特征输出降幅与其余特征受扰动绝对均值的比值(消融特异性)。
- 带符号转向干预(写方向):在特征 i 未激活的输入下,按匹配符号强制赋予原子 j 固定激活并解码,度量目标特征上升幅度与其余特征扰动的比值(转向特异性)。
- 防错接口设计:通过 SparseAutoencoder 与 FeatureProbe 协议规范接口;匹配结果显式分离无符号余弦和方向符号,避免因符号错误被ReLU截断输出。
因果惰性双轴分类体系
- 成因轴划分:结构性惰性由对跖对几何结构与正向ReLU编码器结合产生,无法通过改进SAE训练消除;竞争性惰性则源于退化字典中的TopK竞争失败。
- 方向轴划分:解离为读惰性(编码器从不激活,监控失效)与写惰性(干预无法驱动行为,转向无效)。
What experiments did the paper conduct?
实验覆盖合成模型相图、L1收缩验证、两套SAE因果普查及GPT-2-small真实模型审计。
实验设置
- 被测模型:合成瓶颈玩具模型(20维相图分析模型,以及32输入压缩至8维的衰减重要性模型);开源语言模型GPT-2-small(测试层为blocks.8.hook_resid_pre的SAE)。
- 数据集与基准:合成数据采用稀疏度0至0.99的均匀分布输入;真实模型采用83个手写概念,每概念含8条正样本与8条负样本。
- 对比基线:L1 SAE(λ ∈ {0.003, 0.01, 0.03, 0.1})与TopK SAE(k ∈ {4, 6, 9, 13})。
- 评估指标:特征维度Di、L0稀疏度、重构MSE损失、余弦恢复精度、激活发生率fired_frac、消融特异性、转向特异性。
- 样本量与测试条件:合成模型每次评估采样500个单特征样本;幅度重优化测试基于5000条样本;真实模型探针基于各8条正负Prompt计算均值差方向。
主结果
确定性流程下22个充分表征特征的因果普查结果如下(据 Table 5):
Swipe horizontally to read the table
SAE配置 相关性恢复数(/22) 因果惰性数(fired_frac=0) 消融特异性中位数[95% CI] 转向特异性中位数[95% CI] TopK k=4 (良好) 22 / 22 2 (9%) 133.8 [107.0–167.4] 37.7 [33.1–41.8] TopK k=13 (退化) 18 / 22 3 (17%) 68.3 [22.0–105.9] 16.9 [14.2–21.3] 注:据 Table 5,退化SAE在±1浮动带内因果惰性数可为4;特异性中位数基于所有32个特征中恢复的原子对计算(k=4时n=24,k=13时n=21)。
- 完美匹配依然存在因果惰性:作者指出良好SAE中存在余弦达0.9997与0.9998的特征,其对应原子在500次测试中从未激活(Table 5)。
- 相关性代理能力随字典退化而衰减:在产生激活的特征对中,良好SAE的余弦与对数消融特异性相关系数为r=0.859,退化SAE降至r=0.471(第9节)。
- 退化SAE的不确定性显著偏大:退化SAE消融特异性95%置信区间相对宽度达123%,且表现出多峰分布(Figure 4b)。
叠加相图与弥散共享表征
- 测试内容:固定隐藏层为20维,扫描超完备比(1至8倍)和稀疏度(0至0.99),评估Di分布与权重模长。
- 实验结果:在超完备比8、稀疏度0.99下,所有特征Di约为0.08,但权重模长平方均值约为1.40,重构损失为0.136±0.009(第4.4节)。
- 作者解读:作者认为这揭示了有别于专用维度和对跖对的第三种几何状态——弥散共享,且Di指标对幅值不敏感导致对此模式存在盲区。
L1收缩效应验证与TopK对比
- 测试内容:固定两类SAE选出的激活支持集,仅重新优化激活幅值以最小化重构误差(Table 3)。
- 实验结果:在L0≈4匹配稀疏度下,L1 SAE重构MSE改善91.2%,平均活跃激活幅值提升22.5%;TopK SAE重构改善64.8%,幅值变化为-0.05%(Table 3)。
- 作者解读:作者认为该测试定量证实了L1惩罚对激活强度的收缩压制,而TopK不存在方向性的幅值低估偏差。
真实模型普查与原子碰撞分析
- 测试内容:在GPT-2-small残差流SAE上评估83个概念的探针匹配与因果特异性。
- 实验结果:余弦≥0.5下匹配到7个特征,1个(14%)因果惰性;原子14149同时成为天文学、密码学、法律等8个无重叠概念的最近匹配(余弦0.30至0.70)(第11.1与11.2节)。
- 作者解读:作者认为真实模型中复现了因果惰性,少数原子匹配大量无关概念体现了字典未充分分裂的欠表示问题。
其他消融与分析
- 训练步数对高稀疏度收敛影响:超完备比1在稀疏度0.99下,训练步数由1500增至8000步后专用特征比例恢复为1.00±0.00(第4.2节)。
- 多线程与单线程运行差异:多线程下退化TopK SAE因果惰性特征为17个(77%),确定性单线程下为3个(17%)(Table 4与Table 5)。
- 对跖对转向特异性:良好SAE中特征8和5的转向特异性分别为310和203,退化SAE中三对对跖对转向特异性为143至261(第10.2节)。
- 概念Prompt模板化消融:73个国家模板化概念使碰撞率明显增加且恢复产出降低(第11.2节)。
What are some points that can be further explored?
作者指出结论源自小型合成模型且未测多特征交互;实验覆盖单层残差流与83个概念。
作者指出的局限与后续方向
- 合成模型规模局限:所有定量断言均来自小型全合成玩具模型,真实Transformer残差流具有跨层、跨token结构且缺乏确切基准真值,玩具模型数字仅作为简易情形的校准基准(第13节)。
- 特征交互效应未测:因果评估电池仅在开启侧对孤立特征进行测试,多特征同时激活时的相互作用效应在合成与真实模型中均未作检验(第13节)。
- 样本量与随机种子局限:读写解离结论基于两套SAE中的5组对跖对,且在确定性流程下单模型单种子运行(22个充分表征特征),未衡量跨随机种子的方差(第13节)。
- 真实模型探针近似误差:真实模型审计采用均值差线性探针代替基准真值,且Prompt集对概念分布采样有限,削弱了相关性匹配的严密性(第13节)。
- 流水线潜在代码缺陷:作者指出在研究过程中发现并报告了4处程序缺陷,按规律预期仍可能存在未发现的缺陷(第13节)。
- 真实模型扩展计划:作者计划将真实模型普查扩展到更多概念、更多挂载层以及Gemma Scope等其他生产级SAE,并厘清原子碰撞是几何对跖、代理伪影还是多义中心特征(第11.1、11.2与14节)。
实验覆盖范围
- 被测架构与层级:实验覆盖了20维与8维隐藏层的合成瓶颈模型,以及GPT-2-small单个残差流层(blocks.8.hook_resid_pre)。
- 字典学习算法配置:测试了L1正则化SAE(4组惩罚超参)与TopK SAE(4组k值超参),字典超完备度为16倍(128个原子)。
- 数据与概念规模:合成实验覆盖了7种稀疏度设置;真实模型实验覆盖了83个手工撰写的概念,每概念包含各8条正负Prompt。
- 干预与评估样本量:因果审计在单特征孤立输入下进行,每个特征测试500个样本;幅度重优化基于5000条激活样本。
- 复现平台覆盖:确定性复现验证覆盖了Ubuntu 24.04环境与Windows环境,论文报告了跨操作系统底层BLAS构建带来的浮点差异。
Summarize the main content of the paper
论文揭示SAE特征存在几何匹配与因果有效性脱节现象,提出读写解离机制与实践准则。
- 定位与核心问题:论文针对机制可解释性中仅凭余弦相似度等相关性指标评估SAE特征恢复的不足,提出端到端因果干预验证框架。
- 核心方法与工具:构建可控合成瓶颈模型,对匹配特征执行消融(读)与带符号转向(写)干预,度量激活发生率与特异性比值,并开源审计工具 sae-causal-audit。
- 因果惰性与解离发现:在退化TopK SAE中77%(多线程)或17%(确定性流水线)的余弦达标特征从不激活;在良好SAE中亦有9%特征因果惰性,且余弦可达0.9998。
- 对跖对读写分离机制:5组对跖对特征证实了读写解离现象,其消融特异性为0但转向特异性达143至310,表现为无法监控但可被有效转向。
- 真实模型验证与碰撞:在GPT-2-small残差流SAE审计中发现14%(1/7)特征因果惰性,且单个原子同时成为多达8个无关概念的最近邻匹配。
- 实践启示:作者建议在安全部署中不可将未经因果验证的原始SAE特征直接用于自动化决策,监控与转向任务须分别进行读验证与写验证。