高级专题
微调、事实可靠性、多模态和可解释性
沿着对象与状态理解本章
研究方法先还原它改变了哪个对象、需要什么假设,再设计最小反例。把原理、实现、基准结果与个人任务收益分开,才能决定是否值得迁移到自己的系统。
下方图解的固定输入在“输入与适用条件”中声明。它用于解释本章机制,不与本章其他独立例子的数值暗中接续。
先找错误发生在哪层,再谈换模型
什么时候该改Prompt、检索、记忆或模型?
一个错误答案可以来自不同原因。模型根本没拿到新版本时,增加推理时间不能补出缺失事实;检索已经拿到新版本却被旧记忆覆盖时,需要修上下文与记忆使用规则。选择修复层应跟随证据,而不是看到失败就再加一个Agent。
输入与适用条件:构造“旧配置被当成当前配置”的诊断案例;不以单次观察就宣称确定因果。
1 / 6 · 现象
窄屏可左右滑动图形,或点击“放大图形”。文字解释紧随图后。
先写清楚哪句话错、正确证据是什么,避免只说“感觉变差”。
本步状态由图形与说明共同给出。默认静止。用“下一步”看完解释再继续;播放到最后一步自动停止。键盘聚焦播放器后,可用左右键逐步查看、空格播放/暂停。图中颜色辅助区分,含义同时用文字注明。
为什么需要
避免无目的地叠Prompt、规则、模型和审查环节。
怎样实现
按原文→索引→检索→上下文→推理→行动→核验逐段定位。
可能的代价与误解
同时改变多个因素后只看总成功率,无法解释哪项改动起作用。
如何判断是否做对
同任务、同版本、同预算对照,保留失败样本与可复查轨迹。
先选择正确干预层
RAG提供外部证据,Memory保存跨任务信息,Skills组织方法,Harness管理执行,Fine-tuning改变参数行为。未知最新源码优先检索,权限错误优先改执行器,稳定行为偏差才可能需要训练。[S095][S113][S122][S172]
微调需要代表性数据和独立评测,不能只看训练损失或演示。要保留原能力回归,避免为一个任务过拟合。
LoRA、QLoRA、AWQ与蒸馏
LoRA冻结基础权重,以低秩增量W'=W+BA训练。原创计算:1024×1024矩阵有1,048,576参数,r=8的两个增量矩阵共16,384参数。这只说明该矩阵的训练增量,不是整个模型显存同比下降。[S174]
QLoRA结合量化基础模型与低秩适配;AWQ利用激活信息指导低比特权重量化。量化权重不等于全部计算同样低比特,速度仍依赖内核与硬件。蒸馏利用教师信号训练学生,不保证复制全部能力。PEFT提供实现,不替代数据治理。[S175][S176][S177][S178]
事实、幻觉与校准
TruthfulQA研究模仿常见错误观念的问题;模型自知研究观察某些条件下的自评能力,不支持把任意口述置信度当准确概率。生成概率、事实正确率和校准是不同概念。[S179][S180]
原创例子:十个答案都报0.9,实际只有五个正确,显示该样本上过度自信,但样本太少也不能精确估计整体校准。可靠路径包括获取证据、表达未知、核查引用、计算与测试;没有单项保证绝对正确。
自适应与纠错RAG
Self-RAG研究学习何时检索与评价生成,不只是普通Prompt加“自查”;CRAG研究证据质量不足时如何纠正。检索桥梁和自评都不是已证实事实。[S181][S182]
原创流程把证据分为充分、冲突、不足:不足时补查,冲突时核对来源与时间,充分时生成有出处结论。不能无限搜索回避判断,也不能把假设文档当原始证据。
Computer Use的观察—行动循环
视觉输入只是能力之一。GUI Agent还需截图、动作执行、新观察与状态验证。模型输出点击坐标不代表操作成功;分辨率、缩放、弹窗与页面变化都会影响定位。[S183][S184]
原创循环:看当前界面→判断目标→校验授权→执行→重新观察→验证业务状态。有稳定API时通常更容易精确控制;没有结构化接口或需要真实UI验证时,GUI仍有价值。
SeeClick研究界面定位,OSWorld评价真实桌面任务。命中“保存”按钮不等于保存成功,必填项缺失就可能失败。集成执行器需要验证实际状态,而非只看坐标或模型声明。[S185][S186][S187]
机制可解释性的边界
Towards Monosemanticity探索从激活中分解更易解释的特征,提示单个神经元未必是最佳单位。稀疏自编码器平衡重建与稀疏性,后续研究评价规模与特征质量。关联激活不等于完整因果解释,需要干预、消融和行为验证。[S188][S189]
Transformer Circuits是研究体系入口,不是一套已完全解释任意商业模型的结论。自然语言解释也不同于机制研究证据。[S190]
自检:微调替代查新资料?不能保证。模型解释自己就等于理解内部机制?不等于。
逐项中文讲义
保留拓展阅读目录编号与A/B/C优先级;每项包括机制解释、边界与原创练习。
B15.1 · 低秩参数适配
对应资料:LoRA
LoRA通过低秩矩阵学习基础权重的增量,通常冻结原始权重,减少可训练参数。它改变参数化行为,不是检索或会话记忆。
低秩大小、作用模块和训练数据决定适配效果。可训练参数少不等于整个训练显存按同样比例减少。
LoRA秩1增量具体长什么样
输入与条件。A=[[1],[2]],B=[[0.1,0.2]]。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1相乘 | AB | [[0.1,0.2],[0.2,0.4]]。 |
| 2更新 | 把AB加到基础W,基础W可冻结 | 只训练适配参数时行为仍可改变。 |
| 3大小 | 本例4个分解参数等于全矩阵4个 | 小例无参数节省,千维低秩才有明显账本优势。 |
把过程连起来。低秩例展示结构,不应谎称每个尺寸都省参数。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:计算一个1024×1024矩阵与秩8增量的参数量,说明基础权重、激活和优化状态仍需考虑。
完成标准是理解成本来源与适用条件,不把参数高效等同于所有任务无损。
拓展阅读目录事实依据 [S174] · 练习与工程推导为本书独立编写。
B15.2 · 量化模型上的高效微调
对应资料:QLoRA
QLoRA结合量化基础模型与低秩适配,以降低微调内存需求。量化、计算精度和适配参数是不同层面。
基础模型通常保持冻结,训练重点在适配部分;具体数值格式与系统支持影响结果,不能任意互换。
量化基础权重与可训练适配参数分开
输入与条件。基础W以低位存储,适配A/B保持训练所需精度。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1前向 | 按计算方式反量化或使用低位内核 | 不直接把整数码当真实权重。 |
| 2反向 | 梯度更新适配参数 | 基础量化权重通常冻结。 |
| 3容量 | 仍需适配梯度、优化器和激活 | 不能只报4bit权重大小当训练总显存。 |
把过程连起来。此为QLoRA式职责划分示意,不复现全部量化格式与分页优化器。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:列出权重、梯度、优化状态和激活四类内存,判断哪部分受到低秩与量化影响。
完成标准是能解释为何“低比特模型”不代表所有运算都在同一低精度进行,也不保证任意硬件都更快。
拓展阅读目录事实依据 [S175] · 练习与工程推导为本书独立编写。
B15.3 · 激活感知权重量化
对应资料:AWQ
AWQ利用激活相关信息指导权重量化,关注低比特部署中的质量与效率。量化方法改变表示与执行条件,不会自动增加模型知识。
实际加速依赖内核、设备与批处理方式;仅把文件变小不能证明端到端更快。
激活放大权重量化误差
输入与条件。两通道Δw都0.01,激活分别100和0.1。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1通道1 | 误差100×0.01=1 | 影响大。 |
| 2通道2 | 误差0.1×0.01=0.001 | 影响小。 |
| 3启发 | 校准时看激活分布 | 不能只按权重绝对值决定重要性。 |
把过程连起来。只是激活感知的局部理由,不是完整AWQ算法。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:比较模型权重大小、加载时间、推理延迟和任务质量四项指标,说明需要分别测量。
完成标准是区分存储压缩、数值误差与运行性能,不用某一项收益替代全部评价。
拓展阅读目录事实依据 [S176] · 练习与工程推导为本书独立编写。
C15.4 · 知识蒸馏
对应资料:Distilling the Knowledge in a Neural Network
知识蒸馏利用教师信号训练学生,软分布可以包含比单一标签更丰富的相对信息。学生能力仍受容量、数据覆盖与目标限制。
教师错误也可能被传递,学生不能凭蒸馏自动获得教师所有工具、上下文和推理能力。
教师软分布比单个标签多给什么信息
输入与条件。教师分布[0.7,0.2,0.1],硬标签只指第1类。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1硬监督 | 只告诉目标类 | 未表达第2/3类接近程度。 |
| 2软监督 | 保留0.2与0.1的相对信息 | 学生可拟合概率结构。 |
| 3风险 | 教师也可能错 | 学生不能仅靠蒸馏自动超过所有教师错误。 |
把过程连起来。蒸馏目标改变监督内容,不等于完整复制知识与能力。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:比较只给正确类别与给多个类别概率的训练信号,解释后者包含什么额外关系。
完成标准是理解知识迁移的条件,并通过独立任务检验,而非仅看学生模仿教师措辞是否相似。
拓展阅读目录事实依据 [S177] · 练习与工程推导为本书独立编写。
C15.5 · 参数高效微调的工程组织
对应资料:PEFT Documentation
PEFT工具库组织参数高效微调方法,帮助实现适配训练。工具能降低实现成本,但不替代训练数据、许可、评价和部署兼容性治理。
不同方法修改的参数或提示表示不同,不能只因都称为PEFT就视为相同机制。
多个适配器要与基础版本对齐
输入与条件。适配器A在基础模型M1训练,运行时误挂到M2。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1接口 | 矩阵形状可能恰好一致 | 不保证语义兼容。 |
| 2版本 | 基础权重不同导致组合行为变化 | 需记录依赖。 |
| 3验证 | 在目标M与A组合上评测 | 不能复用M1+A成绩。 |
把过程连起来。参数高效并不省掉版本与质量管理。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:先定义一个稳定输出行为目标,再决定需要什么样本、保留集和回归检查,最后才选择实现方法。
完成标准是有证据说明参数训练比Prompt、Skill或检索更适合当前问题。
拓展阅读目录事实依据 [S178] · 练习与工程推导为本书独立编写。
A15.6 · 事实性与模仿错误观念
对应资料:TruthfulQA
TruthfulQA研究模型重复人类常见错误观念的现象,强调语言模仿能力与事实正确性之间的差别。流畅和常见不等于真实。
事实问题需要可靠来源或可验证计算。提高生成概率、降低温度都不能自动纠正错误知识。
流行错误也可能被模型复述
输入与条件。训练语料多次出现错误命题P,真实证据支持非P。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1模仿压力 | 常见句式可能提高P的生成概率 | 流畅不等于真实。 |
| 2事实评测 | 问题专门区分P与非P | 检查是否复述误解。 |
| 3取证 | 可靠来源与验证约束 | 避免用多数网页重复作为真实性投票。 |
把过程连起来。事实性评价需要正确标签与证据,不把常见程度当真值。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:比较一个广泛流传但错误的说法与较少见的正确信息,说明仅依据文本频率为什么不够。
完成标准是要求结论与证据一致,并允许在信息不足时表达不知道,而不是用自信补空白。
拓展阅读目录事实依据 [S179] · 练习与工程推导为本书独立编写。
A15.7 · 置信度与校准
对应资料:Language Models Mostly Know What They Know
模型自知相关研究探索模型对自身答案正确性的判断能力。研究条件下出现的信号不意味着任意模型口述置信度都经过校准。
生成概率、主观评分与实际正确频率需要区分。一个0到1的数值合法,不代表具有概率意义。
概率80%要与同类结果对账
输入与条件。4次p=0.8,标签[1,1,0,0]。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1单项损失 | 0.04,0.04,0.64,0.64 | 平方误差。 |
| 2平均 | 0.34 | Brier分数。 |
| 3样本限制 | 仅4题 | 不能据此精确断言总体校准。 |
把过程连起来。高置信错误的代价应进入评价。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:把预测按置信度分组,对比各组真实正确率;样本少时同时说明不确定性。
完成标准是用独立数据检查校准,而不是因为模型说“非常确定”就放弃事实验证。
拓展阅读目录事实依据 [S180] · 练习与工程推导为本书独立编写。
B15.8 · 按需检索与自我评价
对应资料:Self-RAG
Self-RAG研究学习何时检索以及如何评价相关生成,涉及专门训练机制。它不等于给任意聊天模型加一句“请自我反思”。
检索需求判断与证据评价都可能出错。自评只能作为一类信号,不能代替真实来源与外部验证。
按需检索不是每句话都固定搜一次
输入与条件。问题A问已提供表中3+4,B问当前版本参数。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1A | 现有证据充分 | 直接计算7,无需额外搜索。 |
| 2B | 当前事实缺失 | 需要检索。 |
| 3自评 | 检索后仍检查证据支持程度 | 不是搜过就自动可信。 |
把过程连起来。Self-RAG类方法涉及训练与控制机制,普通手写条件只是局部示意。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:区分可直接计算、需要最新信息和已有充分证据的三个任务,设计不同检索行为。
完成标准是按需获取信息并能处理不足,不把每个任务都变成无限搜索循环。
拓展阅读目录事实依据 [S181] · 练习与工程推导为本书独立编写。
B15.9 · 检索证据不足时的纠正
对应资料:Corrective RAG
CRAG关注检索质量不足时的纠正路径,通过评价证据决定后续处理。检索失败需要识别,而不是在无关片段上强行生成答案。
证据不足、证据冲突和证据过期是不同问题,对应扩大查询、比较来源或更新数据等行动。
检索错误时重新查,而非用错资料硬答
输入与条件。问题是生产配置,返回全是测试环境文档。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1检测 | 环境条件不匹配 | 召回不足。 |
| 2纠正 | 增加生产范围或读取权威配置 | 改变查询/来源。 |
| 3仍缺失 | 回答不确定 | 不能因为生成阶段必须输出就选一条。 |
把过程连起来。纠正检索需要识别相关但不适用的证据。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:给定三个互相冲突的版本说明,要求先确认时间与适用范围,再决定是否回答。
完成标准是纠正信息供给,而不是用更长的生成掩盖证据缺口。
拓展阅读目录事实依据 [S182] · 练习与工程推导为本书独立编写。
A15.10 · 计算机操作的观察行动循环
对应资料:OpenAI Computer Use
Computer Use把图像观察与鼠标、键盘等动作连接起来。模型提出动作,外部执行器实施并返回新的观察;提出坐标不等于操作成功。
页面变化、缩放、异步加载和弹窗都会影响下一步。旧截图不能无条件用于新状态。
计算机操作要读回结果
输入与条件。点击保存后界面弹错误提示。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1动作 | 点击已执行 | 只证明输入事件完成。 |
| 2观察 | 发现校验失败 | 业务未成功。 |
| 3修复 | 按授权补字段或报告阻塞 | 不说“保存完成”。 |
把过程连起来。观察—行动—核验是GUI闭环。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:设计“打开表单→填写→保存→检查结果”的循环,明确每步成功证据,而不是只检查点击位置。
完成标准是验证真实应用状态,同时对发送、购买、删除等重要副作用保持授权边界。
拓展阅读目录事实依据 [S183] · 练习与工程推导为本书独立编写。
A15.11 · 截图、坐标和操作反馈
对应资料:Claude Computer Use Tool
Claude Computer Use工具提供连接界面观察与动作的产品机制。集成者仍需准备执行环境、截图反馈与权限控制。
工具输出可能显示动作执行,但业务层仍可能拒绝,例如表单验证失败。模型应依据新观察继续判断。
截图缩放改变坐标
输入与条件。截图2倍分辨率,目标点(120,80)。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1换算 | 除2 | 视口(60,40)。 |
| 2前提 | 无裁剪、偏移与滚动变化 | 否则还要其他变换。 |
| 3确认 | 重新观察目标和点击结果 | 不能一次换算永久有效。 |
把过程连起来。坐标必须与截图和执行坐标系一致。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:模拟按钮点击后出现错误提示,要求系统报告未完成并修正,而不是沿用原计划宣称成功。
完成标准是让动作与观察闭环,不能把一串鼠标命令当作任务完成证明。
拓展阅读目录事实依据 [S184] · 练习与工程推导为本书独立编写。
B15.12 · 真实桌面任务评测
对应资料:OSWorld
OSWorld在真实计算机环境中评价多模态Agent任务。任务包含规划、定位、动作与结果验证,不只是识别界面元素。
环境版本、软件状态与执行限制会影响结果。基准分数不能直接代表任意企业桌面工作流。
桌面任务不以点击次数判成功
输入与条件。任务把表格单元格改成7并保存,Agent执行10次点击。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1行为记录 | 10次动作 | 不是完成证据。 |
| 2状态检查 | 重新打开文件读取目标格 | 应为7。 |
| 3恢复 | 保存失败或路径错误 | 即使动作轨迹很长也应判未完成。 |
把过程连起来。真实环境评测需要结果状态与权限边界。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:把失败分为定位错误、规划错误、操作未生效和最终检查遗漏,分别设计证据。
完成标准是分析真实任务断点,而不把所有GUI失败归因于视觉模型不够强。
拓展阅读目录事实依据 [S185] · 练习与工程推导为本书独立编写。
B15.13 · 图形界面定位
对应资料:SeeClick
SeeClick关注GUI Grounding,将语言目标与界面中的位置对应。定位能力是计算机操作的一部分,不等于完整任务规划与业务理解。
相似按钮、遮挡和页面布局变化可能造成歧义。定位正确后仍需确认动作效果。
文字一样的两个按钮需要上下文定位
输入与条件。页面有两个“删除”,分别属于草稿和正式项目。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1文本匹配 | 找到两处 | 无法唯一确定目标。 |
| 2上下文 | 用户只允许删草稿 | 关联所在卡片与对象ID。 |
| 3动作前 | 再次核对目标与批准 | 不能选第一个匹配就执行。 |
把过程连起来。GUI grounding需要对象身份,不只有标签文字。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:在两个同名“保存”按钮的示意界面中加入上下文,说明模型需要哪些信息消歧。
完成标准是区分“找到目标”与“完成用户目标”,分别评价定位与任务成功。
拓展阅读目录事实依据 [S186] · 练习与工程推导为本书独立编写。
B15.14 · 浏览器与桌面执行环境集成
对应资料:Computer Use Integration Recipes
Computer Use集成把模型动作接到浏览器或桌面执行环境,再收集新观察。执行器需要处理坐标、等待、错误和状态,而不是只转发文本。
稳定API或结构化工具存在时,可以与GUI方式比较;后者适合需要真实界面或缺少接口的任务,但不应无条件优先。
DOM定位与视觉坐标各有边界
输入与条件。按钮在DOM可读,但某canvas控件没有语义节点。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1结构工具 | 对普通按钮用稳定属性定位 | 降低坐标漂移。 |
| 2视觉工具 | canvas需截图识别位置 | 明确坐标系。 |
| 3共同校验 | 动作后读状态 | 任何定位方式都不替代结果验证。 |
把过程连起来。优先可靠结构化接口,必要时补视觉,不必把一切操作都做截图点击。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:对同一数据读取任务分别设计API与界面方案,比较权限、脆弱性与验证成本。
完成标准是选择可控且可靠的接口,并保留最终状态检查,不只追求自动化外观。
拓展阅读目录事实依据 [S187] · 练习与工程推导为本书独立编写。
B15.15 · 单义特征与稀疏分解
对应资料:Towards Monosemanticity
Towards Monosemanticity研究把模型激活分解为更易解释的特征,指出单个神经元未必是最佳语义分析单位。本书依据研究团队可访问的官方介绍说明核心思想,不冒称覆盖全部实验附录。
特征与某类输入相关,不代表已解释完整决策。标签是研究者对行为的概括,仍需要干预检验。
一个神经元同时响应两个概念意味着什么
输入与条件。单神经元z=x1+x2,对输入[1,0]和[0,1]均输出1。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1观察 | 两概念都激活z | 不能直接把z命名成仅一个概念。 |
| 2表示 | 可能存在叠加或多义性 | 单点标签不充分。 |
| 3研究 | 引入更多特征与受控干预 | 检查是否能分离不同作用。 |
把过程连起来。这展示多义表示的简单可能性,不证明真实模型某神经元的语义。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:区分“某特征在路径相关文本中激活”和“该特征导致正确路径推理”两种命题,列出后者需要的额外证据。
完成标准是分清相关、解释假设与因果验证,不把可视化当成完整读心术。
拓展阅读目录事实依据 [S188] · 练习与工程推导为本书独立编写。
B15.16 · 稀疏自编码器的规模与评价
对应资料:Scaling and Evaluating Sparse Autoencoders
稀疏自编码器尝试用较少激活特征重建模型内部表示。规模化研究需要同时评价重建质量、稀疏性和特征可解释性等方面。
重建更好不必然意味着解释更清楚,特征更稀疏也可能丢失信息。不同指标需要权衡。
稀疏自编码器的两个目标可能冲突
输入与条件。输入x=[1,0],教学解码矩阵为单位阵。编码h=[1,0]可精确重建x;若h=[0,0],平方重建误差为1。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1重建项 | 鼓励还原原激活 | 减少失真。 |
| 2稀疏项 | 鼓励少量特征活跃 | 提高可分析性。 |
| 3权衡 | 稀疏惩罚过强 | 可能丢重要信息,不能只看活跃数少。 |
把过程连起来。可解释工具也要评价重建质量与特征有效性。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:用简单二维数据说明“重建原向量”与“得到有意义的因素”不是同一目标。
完成标准是理解评价问题,并知道机制可解释性仍不能完整解释任意商业模型的一次回答。
拓展阅读目录事实依据 [S189] · 练习与工程推导为本书独立编写。
C15.17 · 机制可解释性的研究方法
对应资料:Transformer Circuits
Transformer Circuits汇集机制可解释性的研究路线,关注模型内部计算如何实现具体行为。它是持续研究领域,不是一套已经穷尽所有模型机制的说明书。
观察激活、提出特征解释、进行干预和验证行为变化是不同步骤。模型自然语言自述不能替代这些证据。
相关性观察与因果干预的差别
输入与条件。特征f在正确答案时常激活。
| 步骤与对象 | 内部动作 | 中间结果 / 新状态 |
|---|---|---|
| 1相关观察 | f与正确同时出现 | 不证明f导致正确。 |
| 2受控干预 | 在可比较输入下抑制/替换f | 观察输出变化。 |
| 3解释边界 | 干预可能让模型离开训练分布 | 还需对照和局部化分析。 |
把过程连起来。机制解释需要可检验的因果证据而不是漂亮可视化名称。
边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。
依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。
原创练习:为一个简单行为提出两种可能内部解释,设计能够区分它们的干预,而不只观察相关性。
完成标准是保持研究假设与实证结论分离,并认识到局部机制不等于整个系统行为的全部原因。
拓展阅读目录事实依据 [S190] · 练习与工程推导为本书独立编写。