拓展阅读

高级专题

微调、事实可靠性、多模态和可解释性

阶段 1517 项展开讲义正文全部展开

沿着对象与状态理解本章

研究方法先还原它改变了哪个对象、需要什么假设,再设计最小反例。把原理、实现、基准结果与个人任务收益分开,才能决定是否值得迁移到自己的系统。

下方图解的固定输入在“输入与适用条件”中声明。它用于解释本章机制,不与本章其他独立例子的数值暗中接续。

动态图解 · F40

先找错误发生在哪层,再谈换模型

什么时候该改Prompt、检索、记忆或模型?

一个错误答案可以来自不同原因。模型根本没拿到新版本时,增加推理时间不能补出缺失事实;检索已经拿到新版本却被旧记忆覆盖时,需要修上下文与记忆使用规则。选择修复层应跟随证据,而不是看到失败就再加一个Agent。

归因用证据判断导致现象的环节。
消融改变或移除一个因素,看现象如何变化。
最小有效修复能处理已确认问题而不扩大无关复杂度的改动。

输入与适用条件:构造“旧配置被当成当前配置”的诊断案例;不以单次观察就宣称确定因果。

1 / 6 · 现象

第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通过低秩矩阵学习基础权重的增量,通常冻结原始权重,减少可训练参数。它改变参数化行为,不是检索或会话记忆。

低秩大小、作用模块和训练数据决定适配效果。可训练参数少不等于整个训练显存按同样比例减少。

运行示例 · R15-01

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结合量化基础模型与低秩适配,以降低微调内存需求。量化、计算精度和适配参数是不同层面。

基础模型通常保持冻结,训练重点在适配部分;具体数值格式与系统支持影响结果,不能任意互换。

运行示例 · R15-02

量化基础权重与可训练适配参数分开

输入与条件。基础W以低位存储,适配A/B保持训练所需精度。

步骤与对象内部动作中间结果 / 新状态
1前向按计算方式反量化或使用低位内核不直接把整数码当真实权重。
2反向梯度更新适配参数基础量化权重通常冻结。
3容量仍需适配梯度、优化器和激活不能只报4bit权重大小当训练总显存。

把过程连起来。此为QLoRA式职责划分示意,不复现全部量化格式与分页优化器。

边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。

依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。

原创练习:列出权重、梯度、优化状态和激活四类内存,判断哪部分受到低秩与量化影响。

完成标准是能解释为何“低比特模型”不代表所有运算都在同一低精度进行,也不保证任意硬件都更快。

拓展阅读目录事实依据 [S175] · 练习与工程推导为本书独立编写。

B15.3 · 激活感知权重量化

对应资料:AWQ

AWQ利用激活相关信息指导权重量化,关注低比特部署中的质量与效率。量化方法改变表示与执行条件,不会自动增加模型知识。

实际加速依赖内核、设备与批处理方式;仅把文件变小不能证明端到端更快。

运行示例 · R15-03

激活放大权重量化误差

输入与条件。两通道Δ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

知识蒸馏利用教师信号训练学生,软分布可以包含比单一标签更丰富的相对信息。学生能力仍受容量、数据覆盖与目标限制。

教师错误也可能被传递,学生不能凭蒸馏自动获得教师所有工具、上下文和推理能力。

运行示例 · R15-04

教师软分布比单个标签多给什么信息

输入与条件。教师分布[0.7,0.2,0.1],硬标签只指第1类。

步骤与对象内部动作中间结果 / 新状态
1硬监督只告诉目标类未表达第2/3类接近程度。
2软监督保留0.2与0.1的相对信息学生可拟合概率结构。
3风险教师也可能错学生不能仅靠蒸馏自动超过所有教师错误。

把过程连起来。蒸馏目标改变监督内容,不等于完整复制知识与能力。

边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。

依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。

原创练习:比较只给正确类别与给多个类别概率的训练信号,解释后者包含什么额外关系。

完成标准是理解知识迁移的条件,并通过独立任务检验,而非仅看学生模仿教师措辞是否相似。

拓展阅读目录事实依据 [S177] · 练习与工程推导为本书独立编写。

C15.5 · 参数高效微调的工程组织

对应资料:PEFT Documentation

PEFT工具库组织参数高效微调方法,帮助实现适配训练。工具能降低实现成本,但不替代训练数据、许可、评价和部署兼容性治理。

不同方法修改的参数或提示表示不同,不能只因都称为PEFT就视为相同机制。

运行示例 · R15-05

多个适配器要与基础版本对齐

输入与条件。适配器A在基础模型M1训练,运行时误挂到M2。

步骤与对象内部动作中间结果 / 新状态
1接口矩阵形状可能恰好一致不保证语义兼容。
2版本基础权重不同导致组合行为变化需记录依赖。
3验证在目标M与A组合上评测不能复用M1+A成绩。

把过程连起来。参数高效并不省掉版本与质量管理。

边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。

依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。

原创练习:先定义一个稳定输出行为目标,再决定需要什么样本、保留集和回归检查,最后才选择实现方法。

完成标准是有证据说明参数训练比Prompt、Skill或检索更适合当前问题。

拓展阅读目录事实依据 [S178] · 练习与工程推导为本书独立编写。

A15.6 · 事实性与模仿错误观念

对应资料:TruthfulQA

TruthfulQA研究模型重复人类常见错误观念的现象,强调语言模仿能力与事实正确性之间的差别。流畅和常见不等于真实。

事实问题需要可靠来源或可验证计算。提高生成概率、降低温度都不能自动纠正错误知识。

运行示例 · R15-06

流行错误也可能被模型复述

输入与条件。训练语料多次出现错误命题P,真实证据支持非P。

步骤与对象内部动作中间结果 / 新状态
1模仿压力常见句式可能提高P的生成概率流畅不等于真实。
2事实评测问题专门区分P与非P检查是否复述误解。
3取证可靠来源与验证约束避免用多数网页重复作为真实性投票。

把过程连起来。事实性评价需要正确标签与证据,不把常见程度当真值。

边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。

依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。

原创练习:比较一个广泛流传但错误的说法与较少见的正确信息,说明仅依据文本频率为什么不够。

完成标准是要求结论与证据一致,并允许在信息不足时表达不知道,而不是用自信补空白。

拓展阅读目录事实依据 [S179] · 练习与工程推导为本书独立编写。

A15.7 · 置信度与校准

对应资料:Language Models Mostly Know What They Know

模型自知相关研究探索模型对自身答案正确性的判断能力。研究条件下出现的信号不意味着任意模型口述置信度都经过校准。

生成概率、主观评分与实际正确频率需要区分。一个0到1的数值合法,不代表具有概率意义。

运行示例 · R15-07

概率80%要与同类结果对账

输入与条件。4次p=0.8,标签[1,1,0,0]。

步骤与对象内部动作中间结果 / 新状态
1单项损失0.04,0.04,0.64,0.64平方误差。
2平均0.34Brier分数。
3样本限制仅4题不能据此精确断言总体校准。

把过程连起来。高置信错误的代价应进入评价。

边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。

依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。

原创练习:把预测按置信度分组,对比各组真实正确率;样本少时同时说明不确定性。

完成标准是用独立数据检查校准,而不是因为模型说“非常确定”就放弃事实验证。

拓展阅读目录事实依据 [S180] · 练习与工程推导为本书独立编写。

B15.8 · 按需检索与自我评价

对应资料:Self-RAG

Self-RAG研究学习何时检索以及如何评价相关生成,涉及专门训练机制。它不等于给任意聊天模型加一句“请自我反思”。

检索需求判断与证据评价都可能出错。自评只能作为一类信号,不能代替真实来源与外部验证。

运行示例 · R15-08

按需检索不是每句话都固定搜一次

输入与条件。问题A问已提供表中3+4,B问当前版本参数。

步骤与对象内部动作中间结果 / 新状态
1A现有证据充分直接计算7,无需额外搜索。
2B当前事实缺失需要检索。
3自评检索后仍检查证据支持程度不是搜过就自动可信。

把过程连起来。Self-RAG类方法涉及训练与控制机制,普通手写条件只是局部示意。

边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。

依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。

原创练习:区分可直接计算、需要最新信息和已有充分证据的三个任务,设计不同检索行为。

完成标准是按需获取信息并能处理不足,不把每个任务都变成无限搜索循环。

拓展阅读目录事实依据 [S181] · 练习与工程推导为本书独立编写。

B15.9 · 检索证据不足时的纠正

对应资料:Corrective RAG

CRAG关注检索质量不足时的纠正路径,通过评价证据决定后续处理。检索失败需要识别,而不是在无关片段上强行生成答案。

证据不足、证据冲突和证据过期是不同问题,对应扩大查询、比较来源或更新数据等行动。

运行示例 · R15-09

检索错误时重新查,而非用错资料硬答

输入与条件。问题是生产配置,返回全是测试环境文档。

步骤与对象内部动作中间结果 / 新状态
1检测环境条件不匹配召回不足。
2纠正增加生产范围或读取权威配置改变查询/来源。
3仍缺失回答不确定不能因为生成阶段必须输出就选一条。

把过程连起来。纠正检索需要识别相关但不适用的证据。

边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。

依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。

原创练习:给定三个互相冲突的版本说明,要求先确认时间与适用范围,再决定是否回答。

完成标准是纠正信息供给,而不是用更长的生成掩盖证据缺口。

拓展阅读目录事实依据 [S182] · 练习与工程推导为本书独立编写。

A15.10 · 计算机操作的观察行动循环

对应资料:OpenAI Computer Use

Computer Use把图像观察与鼠标、键盘等动作连接起来。模型提出动作,外部执行器实施并返回新的观察;提出坐标不等于操作成功。

页面变化、缩放、异步加载和弹窗都会影响下一步。旧截图不能无条件用于新状态。

运行示例 · R15-10

计算机操作要读回结果

输入与条件。点击保存后界面弹错误提示。

步骤与对象内部动作中间结果 / 新状态
1动作点击已执行只证明输入事件完成。
2观察发现校验失败业务未成功。
3修复按授权补字段或报告阻塞不说“保存完成”。

把过程连起来。观察—行动—核验是GUI闭环。

边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。

依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。

原创练习:设计“打开表单→填写→保存→检查结果”的循环,明确每步成功证据,而不是只检查点击位置。

完成标准是验证真实应用状态,同时对发送、购买、删除等重要副作用保持授权边界。

拓展阅读目录事实依据 [S183] · 练习与工程推导为本书独立编写。

A15.11 · 截图、坐标和操作反馈

对应资料:Claude Computer Use Tool

Claude Computer Use工具提供连接界面观察与动作的产品机制。集成者仍需准备执行环境、截图反馈与权限控制。

工具输出可能显示动作执行,但业务层仍可能拒绝,例如表单验证失败。模型应依据新观察继续判断。

运行示例 · R15-11

截图缩放改变坐标

输入与条件。截图2倍分辨率,目标点(120,80)。

步骤与对象内部动作中间结果 / 新状态
1换算除2视口(60,40)。
2前提无裁剪、偏移与滚动变化否则还要其他变换。
3确认重新观察目标和点击结果不能一次换算永久有效。

把过程连起来。坐标必须与截图和执行坐标系一致。

边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。

依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。

原创练习:模拟按钮点击后出现错误提示,要求系统报告未完成并修正,而不是沿用原计划宣称成功。

完成标准是让动作与观察闭环,不能把一串鼠标命令当作任务完成证明。

拓展阅读目录事实依据 [S184] · 练习与工程推导为本书独立编写。

B15.12 · 真实桌面任务评测

对应资料:OSWorld

OSWorld在真实计算机环境中评价多模态Agent任务。任务包含规划、定位、动作与结果验证,不只是识别界面元素。

环境版本、软件状态与执行限制会影响结果。基准分数不能直接代表任意企业桌面工作流。

运行示例 · R15-12

桌面任务不以点击次数判成功

输入与条件。任务把表格单元格改成7并保存,Agent执行10次点击。

步骤与对象内部动作中间结果 / 新状态
1行为记录10次动作不是完成证据。
2状态检查重新打开文件读取目标格应为7。
3恢复保存失败或路径错误即使动作轨迹很长也应判未完成。

把过程连起来。真实环境评测需要结果状态与权限边界。

边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。

依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。

原创练习:把失败分为定位错误、规划错误、操作未生效和最终检查遗漏,分别设计证据。

完成标准是分析真实任务断点,而不把所有GUI失败归因于视觉模型不够强。

拓展阅读目录事实依据 [S185] · 练习与工程推导为本书独立编写。

B15.13 · 图形界面定位

对应资料:SeeClick

SeeClick关注GUI Grounding,将语言目标与界面中的位置对应。定位能力是计算机操作的一部分,不等于完整任务规划与业务理解。

相似按钮、遮挡和页面布局变化可能造成歧义。定位正确后仍需确认动作效果。

运行示例 · R15-13

文字一样的两个按钮需要上下文定位

输入与条件。页面有两个“删除”,分别属于草稿和正式项目。

步骤与对象内部动作中间结果 / 新状态
1文本匹配找到两处无法唯一确定目标。
2上下文用户只允许删草稿关联所在卡片与对象ID。
3动作前再次核对目标与批准不能选第一个匹配就执行。

把过程连起来。GUI grounding需要对象身份,不只有标签文字。

边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。

依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。

原创练习:在两个同名“保存”按钮的示意界面中加入上下文,说明模型需要哪些信息消歧。

完成标准是区分“找到目标”与“完成用户目标”,分别评价定位与任务成功。

拓展阅读目录事实依据 [S186] · 练习与工程推导为本书独立编写。

B15.14 · 浏览器与桌面执行环境集成

对应资料:Computer Use Integration Recipes

Computer Use集成把模型动作接到浏览器或桌面执行环境,再收集新观察。执行器需要处理坐标、等待、错误和状态,而不是只转发文本。

稳定API或结构化工具存在时,可以与GUI方式比较;后者适合需要真实界面或缺少接口的任务,但不应无条件优先。

运行示例 · R15-14

DOM定位与视觉坐标各有边界

输入与条件。按钮在DOM可读,但某canvas控件没有语义节点。

步骤与对象内部动作中间结果 / 新状态
1结构工具对普通按钮用稳定属性定位降低坐标漂移。
2视觉工具canvas需截图识别位置明确坐标系。
3共同校验动作后读状态任何定位方式都不替代结果验证。

把过程连起来。优先可靠结构化接口,必要时补视觉,不必把一切操作都做截图点击。

边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。

依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。

原创练习:对同一数据读取任务分别设计API与界面方案,比较权限、脆弱性与验证成本。

完成标准是选择可控且可靠的接口,并保留最终状态检查,不只追求自动化外观。

拓展阅读目录事实依据 [S187] · 练习与工程推导为本书独立编写。

B15.15 · 单义特征与稀疏分解

对应资料:Towards Monosemanticity

Towards Monosemanticity研究把模型激活分解为更易解释的特征,指出单个神经元未必是最佳语义分析单位。本书依据研究团队可访问的官方介绍说明核心思想,不冒称覆盖全部实验附录。

特征与某类输入相关,不代表已解释完整决策。标签是研究者对行为的概括,仍需要干预检验。

运行示例 · R15-15

一个神经元同时响应两个概念意味着什么

输入与条件。单神经元z=x1+x2,对输入[1,0]和[0,1]均输出1。

步骤与对象内部动作中间结果 / 新状态
1观察两概念都激活z不能直接把z命名成仅一个概念。
2表示可能存在叠加或多义性单点标签不充分。
3研究引入更多特征与受控干预检查是否能分离不同作用。

把过程连起来。这展示多义表示的简单可能性,不证明真实模型某神经元的语义。

边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。

依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。

原创练习:区分“某特征在路径相关文本中激活”和“该特征导致正确路径推理”两种命题,列出后者需要的额外证据。

完成标准是分清相关、解释假设与因果验证,不把可视化当成完整读心术。

拓展阅读目录事实依据 [S188] · 练习与工程推导为本书独立编写。

B15.16 · 稀疏自编码器的规模与评价

对应资料:Scaling and Evaluating Sparse Autoencoders

稀疏自编码器尝试用较少激活特征重建模型内部表示。规模化研究需要同时评价重建质量、稀疏性和特征可解释性等方面。

重建更好不必然意味着解释更清楚,特征更稀疏也可能丢失信息。不同指标需要权衡。

运行示例 · R15-16

稀疏自编码器的两个目标可能冲突

输入与条件。输入x=[1,0],教学解码矩阵为单位阵。编码h=[1,0]可精确重建x;若h=[0,0],平方重建误差为1。

步骤与对象内部动作中间结果 / 新状态
1重建项鼓励还原原激活减少失真。
2稀疏项鼓励少量特征活跃提高可分析性。
3权衡稀疏惩罚过强可能丢重要信息,不能只看活跃数少。

把过程连起来。可解释工具也要评价重建质量与特征有效性。

边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。

依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。

原创练习:用简单二维数据说明“重建原向量”与“得到有意义的因素”不是同一目标。

完成标准是理解评价问题,并知道机制可解释性仍不能完整解释任意商业模型的一次回答。

拓展阅读目录事实依据 [S189] · 练习与工程推导为本书独立编写。

C15.17 · 机制可解释性的研究方法

对应资料:Transformer Circuits

Transformer Circuits汇集机制可解释性的研究路线,关注模型内部计算如何实现具体行为。它是持续研究领域,不是一套已经穷尽所有模型机制的说明书。

观察激活、提出特征解释、进行干预和验证行为变化是不同步骤。模型自然语言自述不能替代这些证据。

运行示例 · R15-17

相关性观察与因果干预的差别

输入与条件。特征f在正确答案时常激活。

步骤与对象内部动作中间结果 / 新状态
1相关观察f与正确同时出现不证明f导致正确。
2受控干预在可比较输入下抑制/替换f观察输出变化。
3解释边界干预可能让模型离开训练分布还需对照和局部化分析。

把过程连起来。机制解释需要可检验的因果证据而不是漂亮可视化名称。

边界与反例。本表是独立教学构造,用来解释该研究主题的一个局部机制,不是原论文实验或产品实测;完整方法与适用条件仍需结合本节正文。

依据与适用范围:[DERIVE]。示例输入和场景由本书明确设定。

原创练习:为一个简单行为提出两种可能内部解释,设计能够区分它们的干预,而不只观察相关性。

完成标准是保持研究假设与实证结论分离,并认识到局部机制不等于整个系统行为的全部原因。

拓展阅读目录事实依据 [S190] · 练习与工程推导为本书独立编写。

记录保存在本机浏览器。

输入关键词即可检索。

↑ ↓ 选择 Enter 打开Esc 关闭 · 仅本地搜索

阅读设置

阅读设置仅保存在本机浏览器,不上传任何数据。