九讲的必记公式与结论收口于此。复习时只读这一页,逐条自问:能否默写、能否解释每个符号、能否说出适用条件。
怎么用这一页
- 默写模式:遮住右列,只看「项」名,把公式写出来。
- 追问模式:每条公式追问三句——符号是什么?从哪来?什么条件下失效?
- 配套:速查背记卡(最小可背诵单元)、易混对照卡(成对辨析)、闭卷回忆卡(检索练习)。
| 项 | 公式 / 结论 |
| 神经元 | z=wTx+b,a=ϕ(z) |
| MLP 前向 | z(l)=a(l−1)W(l)+b(l),a(l)=ϕ(z(l)) |
| 通用逼近(陈述) | 紧集上连续函数可被足够宽的单隐层网络一致逼近;不含「宽度可寻 / 可训练 / 样本高效」的保证 |
| Softmax | y^c=∑c′ezc′ezc |
| 交叉熵 | LCE=−∑cyclogy^c |
| CE + softmax 的梯度 | ∂z∂L=y^−y(不随饱和消失) |
| MSE | LMSE=N1∑i(y^i−yi)2 |
| 梯度下降 | θ←θ−η∇θL |
| 反向传播 | δ(l)=(δ(l+1)W(l+1)T)⊙ϕ′(z(l)), ∇W(l)=a(l−1)Tδ(l) |
| Momentum | v←βv+∇θL,θ←θ−ηv |
| Adam 偏差修正 | m^=1−β1tm, v^=1−β2tv, θ←θ−ηv^+ϵm^ |
| AdamW | 权重衰减解耦:θ←θ−η(m^/(v^+ϵ)+λθ) |
| 线性缩放规则 | 批大小 ×k ⇒ 学习率 ×k(配 warmup) |
| Dropout(推理) | 期望等价:a←pa(inverted dropout 在训练期已除以 p) |
| 项 | 公式 / 结论 |
| RNN | ht=ϕ(Wxhxt+Whhht−1+b) |
| BPTT 梯度 | ∂ht∂L 含 ∏k∂hk∂hk+1——谱半径 <1 时指数衰减(梯度消失) |
| 梯度裁剪 | g←g⋅min(1, τ/∥g∥) |
| LSTM 门 | ft,it,ot=σ(⋅);Ct=ft⊙Ct−1+it⊙C~t;ht=ot⊙tanhCt |
| 注意力 | Attention(Q,K,V)=softmax(dkQKT)V |
| 除 dk 的理由 | Var(q⋅k) 随 dk 线性增长 → softmax 饱和 → 梯度消失 |
| 多头 | headi=Attention(QWiQ,KWiK,VWiV),拼接后过 WO |
| 复杂度 | 时间 O(T2d);训练显存 O(T2)(FlashAttention 降到 O(T),FLOPs 不变) |
| 正弦位置编码 | PE(pos,2i)=sin(pos/100002i/d),奇数维用 cos |
| RoPE | ⟨Rmq, Rnk⟩=⟨q, Rn−mk⟩——位置写进内积,天然含相对距离 |
| KV cache 显存 | ≈2⋅L⋅Hkv⋅dh⋅T⋅B⋅字节(GQA 按 KV 头数等比削减) |
| MoE | y=∑i∈TopKgi(x)Ei(x),g 为 softmax 路由;K 常取 1–2 |
| 项 | 公式 / 结论 |
| 卷积输出尺寸 | Hout=⌊SHin−K+2P⌋+1 |
| 单层参数量 | K2⋅Cin⋅Cout+Cout(与输入分辨率无关) |
| 卷积 FLOPs | ≈HoutWout⋅Cout⋅K2Cin(乘加各算一次) |
| 感受野递推 | rout=rin+(K−1)⋅jin |
| 残差块 | y=x+F(x),梯度含恒等项 → 深层可训 |
| BatchNorm | x^=σB2+ϵx−μB,y=γx^+β;推理用滑动统计 |
| LayerNorm | 在特征维逐样本归一化(不跨样本、不依赖批大小) |
| 深度可分卷积 | K2Cin(深度)+ CinCout(逐点)≪K2CinCout |
| 项 | 公式 / 结论 |
| VAE 重参数化 | z=μ+σ⊙ε, ε∼N(0,I) |
| ELBO | logp(x)≥Eq[logpθ(x∣z)]−KL(qϕ(z∣x)∥p(z)) |
| KL 闭式(对角高斯) | KL=21∑j(μj2+σj2−1−logσj2) |
| GAN 目标 | minGmaxD Ex[logD(x)]+Ez[log(1−D(G(z)))] |
| 扩散前向闭式 | xt=αˉtx0+1−αˉtε,αˉt=∏s≤tαs |
| 扩散训练损失 | L=Et,x0,ε[∥ε−εθ(xt,t)∥2] |
| DDIM 采样 | 确定性反向:由 xt 与预测的 x0(或 ε)直接推 xt−1,可跳步 |
| CFG(条件引导) | ε~=ε∅+s(εc−ε∅);s 越大越贴提示、多样性越低 |
| 流匹配/整流流 | xt=(1−t)x0+tx1,回归速度场 L=∥vθ(xt,t)−(x1−x0)∥2 |
| VQ 量化 | zq=argminek∥z−ek∥;损失含代码本损失 + commitment 损失 + 直通估计 |
| 项 | 公式 / 结论 |
| 回报 | Gt=∑k≥0γkrt+k |
| 动作值 | Qπ(s,a)=Eπ[Gt∣st=s,at=a] |
| 贝尔曼期望 | Qπ(s,a)=Es′[r+γEa′∼πQπ(s′,a′)] |
| 贝尔曼最优 | Q⋆(s,a)=Es′[r+γmaxa′Q⋆(s′,a′)] |
| Q-learning 更新 | Q(s,a)←Q(s,a)+α[r+γmaxa′Q(s′,a′)−Q(s,a)] |
| 策略梯度定理 | ∇θJ=E[∇θlogπθ(a∣s)Aπ(s,a)] |
| GAE | At=∑l≥0(γλ)lδt+l,δt=rt+γV(st+1)−V(st) |
| PPO 裁剪 | Lclip=E[min(ρtAt, clip(ρt,1−ϵ,1+ϵ)At)],ρt=πθ/πθold |
| 熵正则 | 目标加 +βH(πθ(⋅∣s)) 鼓励探索 |
| Bradley–Terry | P(yw≻yl)=σ(r(yw)−r(yl)) |
| DPO 损失 | −logσ(βlogπref(yw)πθ(yw)−βlogπref(yl)πθ(yl)) |
| GRPO 优势 | A^i=std(r)ri−mean(r)(同组内相对,去掉 critic) |
| 项 | 公式 / 结论 |
| 语言建模目标 | L=−∑tlogpθ(xt∣x<t)(teacher forcing) |
| 困惑度 | PPL=exp(−N1∑ilogpθ(xi)) |
| 缩放律(形式) | L(N,D)=E+NαA+DβB(Chinchilla 修正了系数与最优配比) |
| 计算最优配比 | 给定算力 C:N⋆∝C0.5、D⋆∝C0.5,经验上 D≈20N |
| 测试时计算 | 多采样投票期望正确率随样本数上升但边际递减;验证器重排可再提升 |
| VLM 三段式 | ① 连接器对齐(冻结 LLM 只训投影)② 指令微调(解冻)③ 偏好优化 |
| Agent 循环 | 推理(Reason)→ 行动(Act,工具)→ 观察(Observe)→ 循环 |
| 基准污染 | 分数受污染影响可能显著高估;对策:私有题集、时间切分、动态基准 |
| 项 | 公式 / 结论 |
| 期望校准误差 | ECE=∑mn∣Bm∣acc(Bm)−conf(Bm) |
| 温度缩放 | p=softmax(z/T),T>1 使分布更平滑(降低过度自信) |
| FGSM 攻击 | x′=x+ϵsign(∇xL) |
| PGD 攻击 | 多步 FGSM + 投影回 ϵ-球 |
| 对抗训练 | minθ E(x,y)[max∥δ∥≤ϵL(fθ(x+δ),y)] |
| SAE 损失 | L=∥x−Dec(Enc(x))∥2+λ∥Enc(x)∥1(L1 促稀疏) |
| 公平性冲突 | 人口统计均等、机会均等、预测均等一般不能同时满足(不可能性结果)——必须显式选择 |
| 差分隐私(直观) | 相邻数据集上输出分布之比受 eε 约束;ε 越小隐私越强、效用越低 |
| 项 | 公式 / 结论 |
| 等变 / 不变 | 等变:f(Rx)=Rf(x);不变:f(Rx)=f(x)(能量对旋转不变,力等变) |
| 势函数加速 | 机器学习势函数在近 DFT 精度下比第一性原理快 103–106 量级 |
| PINN 损失 | L=Ldata+λ∥N[uθ]∥2(N 为 PDE 残差算子) |
| 神经算子 | 学「函数 → 函数」映射:Gθ:a(⋅)↦u(⋅)(FNO 频域截断 / DeepONet 分支-主干) |
| 多步预报误差 | 自回归展开的误差累积是天气类模型的核心难点(训练与推理的分布差异) |
| 项 | 公式 / 结论 |
| 显存五账单 | 参数 2N + 梯度 2N + 优化器状态 8N + 主权重 4N(混合精度 Adam)≈ 16N 字节 |
| 8-bit 优化器 | 优化器状态 8N→∼2N,总量 ≈ 10N |
| 激活显存 | 与 B⋅T⋅L 成正比;注意力项含 B⋅H⋅T2 |
| 数据并行 | 每卡一份模型、切分数据、All-Reduce 同步梯度(通信量 ≈ 2N 每步) |
| 张量并行 | 列并行(拼接输出)与行并行(求和输出);每层多次通信,层内并行 |
| 梯度累积 | 累积 k 步再更新 ≈ 批大小放大 k 倍(梯度方差按 1/k 降低) |
| 流水线气泡 | M+P−1P−1(P 段、M 个 micro-batch) |
| ZeRO 通信 | ZeRO-1/2 与 DP 相当;ZeRO-3 需 all-gather 参数,通信量更高(约 1.5× 量级) |
| LoRA | h=W0x+BAx,可训参数 r(d+k),初始 B=0(起点等价基座) |
| 量化推理 | 4-bit 权重把 7B 模型压到 ≈ 4 GB(近似无损需校准与分组尺度) |
三句话带走(全书)
- 一个范式:结构 + 损失 + 梯度下降;反向传播是链式法则的线性时间实现。
- 四条支线:序列用注意力、视觉用卷积、生成学分布、决策学策略——同一个范式换结构。
- 规模与责任:大模型训练的核心是显存与通信(第 9 讲);能力强了以后,可控、可信、公平成为设计约束(第 7 讲)。
背公式时最常见的五处混淆
- 把 dk 记成 d:dk 是单头的键维度(d/h),不是模型维度。
- 把扩散的 αˉt 与 αt 混用:αt=1−βt 是单步,αˉt 是累乘。
- 把 PPO 的 ϵ 与优化器的 ϵ 混用:前者是裁剪半径,后者是数值稳定项。
- 把 ZeRO-3 的通信量记成与 DP 相同:分片参数必须 all-gather,通信更高。
- 把 16N 记成「所有情况」:它对应「混合精度 + Adam 系 + 含主权重」;纯 fp32 或 SGD 的口径不同。