• https://github.com/ZJU-LLMs/Foundations-of-LLMs

      浙江大学-大模型原理与技术

      3Blue1Brown - Transformers (how LLMs work) explained visually | DL5

      毛玉仁

      第零章 语言模型基础

      00 序言

      语言之于智能:在认知层面,语言与智能紧密相连,语言是智能的载体。

      如何建模语言:将语言建模为一系列词元(Token)组成的序列数据。其中,词元是不可再拆分的最小语义单位。

      语言模型:语言模型旨在预测一个词元或词元序列出现的概率。现有语言模型通常基于规则、统计或学习来构建。

      {我,为,什么,要,选,这,门,课} → 语言模型 → 0.66666

      image-20250425062027391

      语言模型的概率预测与上下文语料库息息相关。

      上下文

      {这,课,好,难,我,为,什么,要,选,这,门,课} → 语言模型 → 0.9

      {这,课,好,简,单,我,为,什么,要,选,这,门,课} → 语言模型 → 0.2

      语料库

      普通话语料库:{我,为,什么,要,选,这,门,课} → 语言模型 → 0.6

      四川话语料库:

      {我,为,什么,要,选,这,门,课} → 语言模型 → 0.2

      {我,为,啥子,要,选,这,门,课} → 语言模型 → 0.6

      综合以上两点,我们可以用条件概率的链式法则对语言模型的概率进行建模。

      条件概率链式法则

      设词元序列为{w1,w2,...,wN},其概率可由条件概率的链式法则进行计算。

      P({w1,w2,...,wN})=P(w1)P(w2|w1)P(w3|w1,w2)...P(wN|w1,w2,...,wN2,wN1)

      n-阶马尔科夫假设

      当前状态只与前面n个状态有关。

      对序列{w1,w2,...,wN},当前状态wN出现的概率只与前n个状态{wNn,...,wN1}有关,即:

      P(wN|w1,w2,...,wN1)P(wN|wNn,...,wN1)

      image-20250425065726030

      01 基于统计的语言模型

      1.1 n-grams 语言模型

      n-grams 语言模型中的n-gram 指的是长度为n 的词序列。n-grams 语言模型通过依次统计文本中的n-gram 及其对应的(n-1)-gram 在语料库中出现的相对频率来

      计算文本w1:N 出现的概率。

      经典的n-grams语言模型,被工业界沿用至今。

      image-20250425071942493

      n-grams语言模型中,n为变量,当n=1时,称之为unigram,其不考虑文本的上下文关系。当n=2时,称之为bigrams,其对前一个词进行考虑。当n=3时,称之为trigrams,其对前两个词进行考虑。以此类推。

      bigrams的例子:

      image-20250425072659867

      虽然“长颈鹿脖子长”并没有直接出现在语料库中,但是bigrams 语言模型仍可以预测出“长颈鹿脖子长”出现的概率有 2/15。由此可见,n-grams具备对未知文本的泛化能力

      1.2 n-grams中的n

      Ptrigrams(鹿,,)=C(鹿,,)C(鹿,)=0

      n的选择会影响n-grams模型的泛化性能计算复杂度。实际中n通常小于等于5

      泛化性:在n-grams 语言模型中,n 代表了拟合语料库的能力与对未知文本的泛化能力之间的权衡。当n 过大时,语料库中难以找到与n-gram 一模一样的词序列,可能出现大量“零概率”现象;在n 过小时,n-gram 难以承载足够的语言信息,不足以反应语料库的特性。

      计算量:随着n的增大,n-gram模型的参数呈指数级增长。假设语料库中包含1000个词汇,则unigram的参数量为1000,而bigrams的参数量则为1000*1000。

      n-grams中的统计学原理

      n-grams语言模型是在n阶马尔可夫假设下,对语料库中出现的长度为n的词序列出现概率极大似然估计

      1.3 n-grams语料及数据

      n-gram的效果与语料库息息相关。Google在2005年开始Google Books Library Project项目,试图囊括自现代印刷术发明以来的全世界所有的书刊。其提供了unigram到5-gram的数据。

      n-grams的应用

      n-gram不仅在输入法、拼写纠错、机器翻译等任务上得到广泛应用。其还推动了Culturomics(文化组学)的诞生。

      n-grams的缺点

      n-gram因为观测长度有限,无法捕捉长程依赖。此外,其是逐字匹配的,不能很好地适应语言的复杂性。

      image-20250425164032067

       

      02 基于学习的语言模型

      2.0 学习与统计的区别

      统计:设计模型,描摹已知。

      学习:找到模型,预测未知。

      image-20250425164211005

      2.1 机器学习的过程

      机器学习的过程:在某种学习范式下,基于训练数据,利用学习算法,从受归纳偏置限制的假设类中选取可以达到学习目标的假设,该假设可以泛化到未知数据上。

      假设类:

      image-20250427141627827

      归纳偏置:

      image-20250427141809153

      学习范式:

      image-20250427141911240

      学习目标:

      image-20250427141949855

      损失函数:

      image-20250427142019106

      学习算法:

      1阶优化:目前最常用的梯度下降。

      0阶优化:对梯度进行模拟,用估计出来的梯度来对模型进行优化。

      image-20250427142132603

      泛化误差:

      image-20250427142512867

      泛化误差界的公式来自概率近似正确(PAC,Probably Approximately Correct)理论。

      PAC Learning为机器学习提供了对机器学习方法进行定量分析的理论框架,可以为设计机器学习方法提供理论指导。

      Leslie Valiant由该理论,获得2010年图灵奖。

      image-20250427143613330

      2.2 机器学习的发展历程

      image-20250427150044567

      image-20250427150311713

      03 RNN与Transformer

      3.1 RNN

      RNN 是一类网络连接中包含环路的神经网络的总称

      image-20250428110728884

      RNN 在串行输入的过程中,前面的元素会被循环编码成隐状态,并叠加到当前的输入上面。是在时间维度上嵌套的复合函数。

      在训练RNN时,涉及大量的矩阵联乘操作,容易引发梯度衰减梯度爆炸问题。

      LSTM

      为解决经典RNN的梯度衰减/爆炸问题,带有门控机制的LSTM被提出。

      LSTM将经典RNN中的通过复合函数传递隐藏状态的方式,解耦为状态累加。隐藏状态通过遗忘门输入门来实现合理的状态累加,通过输出门实现合理整合。

      GRU为降低LSTM的计算成本,GRU将遗忘门与输入门进行合并。

      3.2 Transformer

      image-20250512102743012

      左边是Encoder模块,右边是Decoder模块

      典型的支持并行输入的模型是Transformer,其是一类基于注意力机制的模块化构建的神经网络结构。

      两种主要模块

      (1) 注意力模块

      注意力模块负责对上下文进行通盘考虑。

      注意力模块由自注意力层残差连接层正则化组成。

      image-20250504171111974

      (2) 全连接前馈模块

      全连接前馈模块占据了Transformer近三分之二的参数,掌管着Transformer模型的记忆

      1. 注意力层

      image-20250504171823386

      说白了是加权输出的机制,而权重是通过WqWk两个矩阵学出来的。

      加权平均:原值是v,权重是当前位置的q和上下文的k的相似度。

      袁粒老师的比喻

      —— 想在京东买一件女式的红色大衣

      Q、K、V的解释: Q:输入的查询词:“女式”、“红色”、“大衣”;K:搜索引擎根据输入Q提供K(颜色、种类等),根据Q与K的相似程度匹配到最终搜索到的商品V。

      1. 层正则化与残差连接

      层正则化用以加速神经网络训练过程并取得更好的泛化性能;引入残差连接可以有效解决梯度消失问题。

      残差连接加在LN前叫pre-LN,加在LN后叫post-LN。不同的模型里,两种加法性能各有优劣。

      自回归 vs. Teacher Forcing

      自回归面临着错误级联放大和串行效率低两个主要问题。为了解决上述两个问题,Teacher Forcing在语言模型预训练过程中被广泛应用。

      image-20250504173734109

      3.3 训练RNN/Transformer的过程

      image-20250504174229743

      image-20250504174246875

      但Teacher Forcing的训练方式将导致曝光偏差(Exposure Bias):训练模型的过程和模型在推理过程存在差异。其易导致模型幻觉问题。

      04 语言模型采样与评测

      4.1 语言模型的采样

      语言模型每轮预测输出的是一个概率向量。我们需要根据概率值从词表中选出本轮输出的词元。选择词元的过程被称为采样

      两类主流的采样方法可以总结为

      (1). 概率最大化方法

      最大化P(wN+1:N+M)=i=NN+M1P(wi+1|w1:i)=i=NN+M1oi(wi+1)

      假设生成M个词元,概率最大化方法的搜索空间为MD,是NP-Hard问题

      但概率最大的文本通常是最为常见的文本。这些文本会略显平庸。用于生成代码还行。但在开放式文本生成中,贪心搜索和波束搜索都容易生成一些“废话文学”——重复且平庸的文本。

      (2). 随机采样方法

      在每轮预测时,其先选出一组可能性高的候选词,然后按照其概率分布进行随机采样。

      Temperature机制

      Top-K采样和Top-P采样的随机性由语言模型输出的概率决定,不可自由调整。但在不同场景中,我们对于随机性的要求可能不同。引入Temperature机制可以对解码随机性进行调节。

      image-20250509113132427

      Temperature越高随机性越高。可以看到T无穷大时,会变成概率为1K1|Sp|的均匀分布。反之,T趋近于0时,也会将概率值大的输出通过指数放缩得更大,再归一化。

      4.2 语言模型评测

      (1)内在评测:测试文本通常由与预训练中所用的文本独立同分布的文本构成,不依赖于具体任务。

      困惑度(Perplexity)PPL(stest)=P(w1:N)1N=i=1N1P(wi|w<i)N

      困惑度减小也意味着熵减,意味着模型“胡言乱语”的可能性降低。

      (2)外在评测:测试文本通常包括该任务上的问题和对应的标准答案,其依赖于具体任务。

      4.3 语言模型的应用

      第壹章 大语言模型架构

      10 模型架构概览

      涌现能力:实验发现新能力随着模型规模提升凭空自然涌现出来,因此将其称为涌现能力(Emergent Abilities),例如上下文学习、逻辑推理和常识推理等能力。

      扩展法则:GPT系列模型的性能提升,有着一系列关于模型能力与参数/数据规模之间的定量关系作为理论支撑,即扩展法则(Scaling Law)。其中以OpenAI提出的Kaplan-McCandlish法则以及DeepMind提出的Chinchilla法则最为著名。

      模型基础:Transformer灵活的并行架构为训练数据和参数的扩展提供了模型基础,推动了本轮大语言模型的法则。

      Note

      如上一章所述Transformer是模块化的模型

      1.1 基于Transformer的三种架构

      Transformer的基础上衍生出了三种主流模型架构

      Tip

      • 纯 Encoder 模型(例如 BERT),又称自编码 (auto-encoding) Transformer 模型;

      • 纯 Decoder 模型(例如 GPT),又称自回归 (auto-regressive) Transformer 模型;

      • Encoder-Decoder 模型(例如 BART、T5),又称 Seq2Seq (sequence-to-sequence) Transformer 模型。

      1.1(加餐-理论)

      https://transformers.run/c1/transformer/

      标准的 Transformer 模型主要由两个模块构成:

      这两个模块可以根据任务的需求而单独使用:

      原始结构

      Transformer 模型本来是为了翻译任务而设计的。在训练过程中,Encoder 接受源语言的句子作为输入,而 Decoder 则接受目标语言的翻译作为输入。在 Encoder 中,由于翻译一个词语需要依赖于上下文,因此注意力层可以访问句子中的所有词语;而 Decoder 是顺序地进行解码,在生成每个词语时,注意力层只能访问前面已经生成的单词。

      例如,假设翻译模型当前已经预测出了三个词语,我们会把这三个词语作为输入送入 Decoder,然后 Decoder 结合 Encoder 所有的源语言输入来预测第四个词语。

      实际训练中为了加快速度,会将整个目标序列都送入 Decoder,然后在注意力层中通过 Mask 遮盖掉未来的词语来防止信息泄露。例如我们在预测第三个词语时,应该只能访问到已生成的前两个词语,如果 Decoder 能够访问到序列中的第三个(甚至后面的)词语,就相当于作弊了。

      其中,Decoder 中的第一个注意力层关注 Decoder 过去所有的输入,而第二个注意力层则是使用 Encoder 的输出,因此 Decoder 可以基于整个输入句子来预测当前词语。这对于翻译任务非常有用,因为同一句话在不同语言下的词语顺序可能并不一致(不能逐词翻译),所以出现在源语言句子后部的词语反而可能对目标语言句子前部词语的预测非常重要。

      在 Encoder/Decoder 的注意力层中,我们还会使用 Attention Mask 遮盖掉某些词语来防止模型关注它们,例如为了将数据处理为相同长度而向序列中添加的填充 (padding) 字符。

      Transformer家族

      main_transformer_architectures

      Encoder 分支

      纯 Encoder 模型只使用 Transformer 模型中的 Encoder 模块,也被称为自编码 (auto-encoding) 模型。在每个阶段,注意力层都可以访问到原始输入句子中的所有词语,即具有“双向 (Bi-directional)”注意力。

      纯 Encoder 模型通常通过破坏给定的句子(例如随机遮盖其中的词语),然后让模型进行重构来进行预训练,最适合处理那些需要理解整个句子语义的任务,例如句子分类、命名实体识别(词语分类)、抽取式问答。

      BERT 是第一个基于 Transformer 结构的纯 Encoder 模型。

      Decoder 分支

      纯 Decoder 模型只使用 Transformer 模型中的 Decoder 模块。在每个阶段,对于给定的词语,注意力层只能访问句子中位于它之前的词语,即只能迭代地基于已经生成的词语来逐个预测后面的词语,因此也被称为自回归 (auto-regressive) 模型。

      纯 Decoder 模型的预训练通常围绕着预测句子中下一个单词展开。纯 Decoder 模型适合处理那些只涉及文本生成的任务。

      对 Transformer Decoder 模型的探索在在很大程度上是由 OpenAI 带头进行的。

      Encoder-Decoder 分支

      Encoder-Decoder 模型(又称 Seq2Seq 模型)同时使用 Transformer 架构的两个模块。在每个阶段,Encoder 的注意力层都可以访问初始输入句子中的所有单词,而 Decoder 的注意力层则只能访问输入中给定词语之前的词语(即已经解码生成的词语)。

      Encoder-Decoder 模型可以使用 Encoder 或 Decoder 模型的目标来完成预训练,但通常会包含一些更复杂的任务。例如,T5 通过随机遮盖掉输入中的文本片段进行预训练,训练目标则是预测出被遮盖掉的文本。Encoder-Decoder 模型适合处理那些需要根据给定输入来生成新文本的任务,例如自动摘要、翻译、生成式问答。

       

      1.2 三种架构对比

      image-20250511212904788

      10'(加餐-实践)

      10.1 Attention
      Scaled Dot-product Attention

      image-20250513144822766

      形式化表示为:

      Attention(Q,K,V)=softmax(QKTdk)V

      打印输出:

      Note

      上面的代码还考虑了 Q,K,V 序列的 Mask。填充 (padding) 字符不应该参与计算,因此将对应的注意力分数设置为 −∞,这样 softmax 之后其对应的注意力权重就为 0 了(e−∞=0)。

      注意!上面的做法会带来一个问题:当 Q 和 K 序列相同时,注意力机制会为上下文中的相同单词分配非常大的分数(点积为 1),而在实践中,相关词往往比相同词更重要。例如对于上面的例子,只有关注“eating”才能够确认“McDonald”的含义。

      因此,多头注意力 (Multi-head Attention) 出现了!

      Multi-head Attention

      多头注意力首先通过线性映射将 Q,K,V 序列映射到特征空间,每一组线性投影后的向量表示称为一个头,然后在每组映射后的序列上再应用 Scaled Dot-product Attention:

      image-20250513144841395

      每个注意力头负责关注某一方面的语义相似性,多个头就可以让模型同时关注多个方面。因此与简单的 Scaled Dot-product Attention 相比,Multi-head Attention 可以捕获到更加复杂的特征信息。

      形式化表示为:

      headi=Attention(QWiQ,KWiK,VWiV)

      MultiHead(Q,K,V)=Concat(head1,...,headh)

      其中 WiQRdk×d~k,WiKRdk×d~k,WiVRdv×d~v是映射矩阵,h 是注意力头的数量。最后,将多头的结果拼接起来就得到最终 m×hd~v 的结果序列。所谓的“多头” (Multi-head),其实就是多做几次 Scaled Dot-product Attention,然后把结果拼接。

      每个头都会初始化三个独立的线性层,负责将 Q,K,V 序列映射到尺寸为 [batch_size, seq_len, head_dim] 的张量,其中 head_dim 是映射到的向量维度。

      Note

      实践中一般将 head_dim 设置为 embed_dim 的因数,这样 token 嵌入式表示的维度就可以保持不变,例如 BERT 有 12 个注意力头,因此每个头的维度被设置为 768/12=64。

      最后只需要拼接多个注意力头的输出就可以构建出 Multi-head Attention 层了(这里在拼接后还通过一个线性变换来生成最终的输出张量):

      这里使用 BERT-base-uncased 模型的参数初始化 Multi-head Attention 层,并且将之前构建的输入送入模型以验证是否工作正常:

      10.2 Transformer Encoder

      回忆一下上一章中介绍过的标准 Transformer 结构,Encoder 负责将输入的词语序列转换为词向量序列,Decoder 则基于 Encoder 的隐状态来迭代地生成词语序列作为输出,每次生成一个词语。

      其中,Encoder 和 Decoder 都各自包含有多个 building blocks。下图展示了一个翻译任务的例子:

      encoder_decoder_architecture

      可以看到:

      The Feed-Forward Layer

      Transformer Encoder/Decoder 中的前馈子层实际上就是两层全连接神经网络,它单独地处理序列中的每一个词向量,也被称为 position-wise feed-forward layer。常见做法是让第一层的维度是词向量大小的 4 倍,然后以 GELU 作为激活函数。

      将前面注意力层的输出送入到该层中以测试是否符合我们的预期:

      至此创建完整 Transformer Encoder 的所有要素都已齐备,只需要再加上 Skip Connections 和 Layer Normalization 就大功告成了。

      Layer Normalization

      Layer Normalization 负责将一批 (batch) 输入中的每一个都标准化为均值为零且具有单位方差;Skip Connections 则是将张量直接传递给模型的下一层而不进行处理,并将其添加到处理后的张量中。

      向 Transformer Encoder/Decoder 中添加 Layer Normalization 目前共有两种做法:

      arrangements_of_layer_normalization

      本章采用第二种方式来构建 Transformer Encoder 层:

      同样地,这里将之前构建的输入送入到该层中进行测试:

      结果符合预期!至此,本章就构建出了一个几乎完整的 Transformer Encoder 层。

      Positional Embeddings

      前面讲过,由于注意力机制无法捕获词语之间的位置信息,因此 Transformer 模型还使用 Positional Embeddings 添加了词语的位置信息。

      Positional Embeddings 基于一个简单但有效的想法:使用与位置相关的值模式来增强词向量。

      1. 如果预训练数据集足够大,那么最简单的方法就是让模型自动学习位置嵌入。code

      2. 绝对位置表示:使用由调制的正弦和余弦信号组成的静态模式来编码位置。 当没有大量训练数据可用时,这种方法尤其有效;

      3. 相对位置表示:在生成某个词语的词向量时,一般距离它近的词语更为重要,因此也有工作采用相对位置编码。

      下面将所有这些层结合起来构建完整的 Transformer Encoder:

      10.3 Transformer Decoder

      Transformer Decoder 与 Encoder 最大的不同在于 Decoder 有两个注意力子层

      Masked multi-head self-attention layer自注意力模块):确保在每个时间步生成的词语仅基于过去的输出和当前预测的词,否则 Decoder 相当于作弊了;

      Encoder-decoder attention layer交叉注意力模块):以解码器的中间表示作为 queries,对 encoder stack 的输出 key 和 value 向量执行 Multi-head Attention。通过这种方式,Encoder-Decoder Attention Layer 就可以学习到如何关联来自两个不同序列的词语,例如两种不同的语言。 解码器可以访问每个 block 中 Encoder 的 keys 和 values。

      与 Encoder 中的 Mask 不同,Decoder 的 Mask 是一个下三角矩阵:

      这里使用 PyTorch 自带的 tril() 函数来创建下三角矩阵,然后同样地,通过 Tensor.masked_fill() 将所有零替换为负无穷大来防止注意力头看到未来的词语而造成信息泄露:

      本章对 Decoder 只做简单的介绍,如果你想更深入的了解可以参考 Andrej Karpathy 实现的 minGPT

      Tip

      本章的所有代码已经整理于 Github: https://gist.github.com/jsksxs360/3ae3b176352fa78a4fca39fff0ffe648

      image-20250511212904788

      由于各自独特的模型设计以及注意力矩阵上的差异,在同等参数规模下,这三种架构的模型在适用任务上也都各有倾向。

      11 基于Encoder-only架构的大语言模型

      Encoder-only架构中的双向注意力机制允许模型充分考虑序列中的前后文信息,捕捉丰富的语义和依赖关系。但由于缺少解码器组件,无法直接输出序列。

      适合:判别任务,如情感识别。

      12 基于Encoder-Decoder架构的大语言模型

      Encoder-Decoder架构通过添加解码器来基于编码器输出的上下文表示逐步生成输出序列。但解码器的加入也造成的训练和推理成本的增加。

      适合:既适合判别任务,也适合生成任务。但计算量大幅提升,不利于参数扩展。

      Encoder-Decoder架构主要包含编码器解码器两部分:

      image-20250514195804522

      image-20250514200347108

      13 基于Decoder-only架构的大语言模型

      大规模预训练数据的加持使得Decoder-only架构的模型能够生成高质量、连贯的文本。但是缺乏编码器提供的双向上下文信息,这一架构在理解复杂输入数据时存在一定局限性。

      适合:生成任务,如对话问答。

      image-20250514202100763

      Decoder-only架构去除了Transformer中的编码器部分,其简单的架构设计强大的可扩展性,使得Decoder-only架构被广泛应用于大规模语言模型。

      不仅去除了编码器,由此解码器中也不需要交叉注意力模块了。

      CloseAI的GPT闭源,Meta的LLaMA开源。

      GPT系列:

      GPT-1:《Improving Language Understanding by Generative Pre-Training》

      GPT-2:《Language Models are Unsupervised Multitask Learners》

      GPT-3:《Language Models are Few-Shot Learners》,GPT-3涌现出良好的上下文学习(In-Context Learning, ICL)能力。

      GPT-3的一系列衍生模型,其中最具启发意义的是有良好指令跟随能力的InstructGPT模型:《Training language models to follow instructions with human feedback》

      往后就闭源了。

      ChatGPT(GPT-3.5):标志着一种新的服务模式LLMaaS(LLM as a Service)的出现。GPT模型也开始走向闭源。

      GPT-4:更好理解复杂语境、生成连贯文本。还引入对图文双模态的支持。

      GPT-4o:继续提升模型性能和用户体验。比GPT4便宜很多,但成本、响应速度、延迟、多模态处理和多语言支持能力都比较好。

      image-20250515163122108

       

      LLaMA系列:

      推动力大语言模型的“共创”。

      GPT系列的升级主线聚焦于模型规模与预训练预料的同步提升(KM法则),而LLaMA则在模型规模上保持相对稳定,更专注于提升预训练数据的规模与质量(Chinchilla法则)。

      image-20250514113045152

      14 Mamba原理

      Tranformer并非完美

      image-20250517192955981

      Mamba的原理

      image-20250518150533014

      选择状态空间模型(Selective State Space Model) 所用的是控制论里面的知识。

      第一部分:状态空间模型(State Space Model,SSM)

      n阶系统用n个1阶系统进行矩阵表达。

      阅读[1]:https://blog.csdn.net/v_JULY_v/article/details/134923301

      阅读[2]:https://newsletter.maartengrootendorst.com/p/a-visual-guide-to-mamba-and-state

      状态方程:h(t)=Ah(t1)+Bx(t)

      输出方程:y(t)=Ch(t)+Dx(t)

      Note

      Dx(t) 可以视为跳跃连接,可被简化掉。

      img

      第二部分:从SSM到S4、S4D的升级之路

      零阶保持 能够令连续SSM转变为离散SSM,使得不再是函数x(t)y(t),而是序列到序列xkyk

      img

      循环结构表示:方便快速推理

      y2=Ch2=C(A¯h1+B¯x2)=...=CA¯2B¯x0+CA¯B¯x1+CB¯x2

      有没有眼前一亮?如此,便可以RNN的结构来处理。

      img

      卷积结构表示:方便并行训练

      y2=CA¯2B¯x0+CA¯B¯x1+CB¯x2

      可以视为:

      img

      由于其中三个离散参数A、B、C都是常数,因此我们可以预先计算左侧向量并将其保存为卷积核,这为我们提供了一种使用卷积超高速计算y的简单方法:

      这儿A、B、C都是 时不变。但这样

      img

      所以两全其美的办法是,推理用RNN结构,训练用CNN结构

      img

      总之,这类模型可以非常高效地计算为递归或卷积,在序列长度上具有线性或近线性缩放。

       

      第贰章 Prompt工程

      code is cheap, show me the prompt

      20 Prompt工程简介

      任务大一统:LLM处理下游任务时,从“预训练-微调-预测”范式,转向灵活的“预训练-提示(prompt)预测”范式。

      Prompt:用于指导生成式AI模型执行特定任务的输入指令

      Prompt的基本元素:

      image-20250518213332071

      Prompt工程:设计和优化prompt。常见的Prompt工程技术包括 上下文学习思维链等。

      21 上下文学习

      上下文学习(In-Context Learning,ICL)是大语言模型一种新的学习范式,它通过构造特定的Prompt,来使得语言模型理解并学习下游任务。相比于传统的监督微调,其不需要更新模型参数,可以快速适应下游任务。

      Note

      上下文学习 通过任务说明,演示示例等信息引导模型输出,快速适应新任务,使语言模型即服务成为可能。

      按照示例数量的不同,上下文学习可以分为三类:零样本(Zero-shot)单样本(One-shot)少样本(Few-shot)

      image-20250519140732631

      通常情况下,少样本性能>单样本性能>零样本性能;模型越大,差异越明显。

      演示示例选择的两个主要依据是相似性多样性

      22 思维链

      Tip

      在心理学中,System-1任务和System-2任务分别代表两种不同的思维方式所处理的任务类型。

      System-1(Intuition & instinct):快速、自动且无意识。

      System-2(Rational thinking):缓慢,需要集中注意力和耗费精力。

      标准提示下的现象:

      思维链 (Chain-of-Thought, CoT) 通过在提示中嵌入一系列中间推理步骤,引导大语言模型模拟人类解决问题时的思考过程,以提升模型处理System2任务的能力。

      CoT可以归纳为三种模式:按部就班、三思后行和集思广益

      image-20250522100629198

      按部就班模式

      强调逻辑的连贯性和步骤的顺序性。该模式下,模型像是遵循一条预设的路径,每一步都紧密依赖于前一步的结论。

      代表性方法:

      三思后行模式

      为了解决按部就班模式的不足,三思后行模式在决策过程中融入审慎灵活性。该模式下,模型在每一步会停下来评估当前的情况,判断是否需要调整方向。

      集思广益模式

      通过汇集多种不同的观点和方法来优化决策过程。

      Tip

      三种思维链模式都是作用于模型推理侧,OpenAI尝试在训练和推理时深度融合思维链技术,并提出了GPT-o1。它在回答问题前会花费更多时间来思考,擅长处理科学编程数学等领域的复杂问题。

      GPT-o1相比GPT-4o,常识(System-1)能力持平,但推理(System-2)能力更胜一筹。但是GPT-o1的推理运行开销显著高于GPT-4o。

      GPT-o1没有公开技术细节。我们猜测GPT-o1训练的关键在于从“结果监督”转为“过程监督”。训练时,利用大规模强化学习增强模型生成优质思维片段能力;测试时,利用大规模搜索采样可能的思维片段,并利用奖励模型指导生成。

      23 Prompt技巧

      结合Prompt技术(上面两节所介绍) 和 Prompt技巧,能够引导模型生成更加精准、符合预期的内容,进一步提升大语言模型在实际应用中的表现。

      1. 编写规范的Prompt是与大语言模型进行有效沟通的基础。

        一个标准规范的Prompt通常由任务说明,上下文,问题,输出格式这几个部分中的一个或几个组成。

        1. 任务说明:明确的动词(判断、分类),具体的名词(积极/消极、Yes/No),简洁明了。

        2. 上下文:丰富且清晰,如背景信息、演示示例或对话历史,避免冗余或不必要的信息。

        3. 输出格式:对于确保模型输出的可用性至关重要。

        4. 排版要清晰

        image-20250527091911165

      2. 合理归纳提问。提问的质量直接影响到信息触达的效率和深度。

        1. 复杂问题拆解:将问题分解为更小、更易于理解的子问题,并引导模型逐一回答。

        2. 追问:深入追问 或 扩展追问 或 反馈追问

      3. 善用CoT:

        1. 适时使用CoT:思维链能显著增强模型的推理能力,但在决定何时使用CoT时,需要对任务类别、模型规模以及模型能力三方面因素进行考虑。

        2. 灵活使用CoT:按部就班、三思后行、集思广益

      4. 善用心理暗示:

        1. 角色扮演:为大语言模型设定一个详尽的角色

        2. 情景带入:示例:想象你在90年代的街头,放学的小朋友们围成一圈,手中玩着弹珠和卡片,欢声笑语中流露出纯真的快乐。小浣熊干脆面给我们带来的快乐有什么?

      5. Prompt长度压缩问题:LLMLingua 是一个经过充分训练的小型语言模型,能迭代地检测并提出Prompt中的非必要Token,最小化损失的同时,实现最高20倍的压缩率。

      24 相关应用

      我们可以通过精心设计的Prompt,激活大语言模型的内在潜力,而不需要对模型进行微调。因此Prompt工程已经在垂域任务、数据增强、智能代理等多个领域发挥出卓越的性能。

      1. 自然语言接口:利用精心设计的Prompt引导大模型,实现自然语言接口,让我们能够用自然语言与计算机交流,简化人机交互,提高效率和用户体验。

        例如:Text-to-SQL(如C3)、代码生成(如AlphaCodium)

      2. 大模型支撑的数据合成:利用大语言模型强大的思维能力、指令跟随能力,来合成高质量数据的方法已成为当前研究的热点议题。

        例如:Self-Instruct、Evol-Instruct

      3. 大模型增强的搜索引擎:利用Prompt工程技术,引导大模型理解用户的查询意图,提供更加个性化和精准的搜索结果。

        例如:Microsoft Copilot

      4. 大模型赋能的智能体:经典的智能体通常由大语言模型基座和四大模块组成,分别是配置模块(profile)、记忆模块(memory)、计划模块(planning)和行动模块(action)。

        例如:GPT researcher(单智能体)、HuggingGPT(单智能体),MetaGPT(多智能体 )、斯坦福小镇(多智能体 )

        image-20250613150407982

      5. 大模型驱动的具身智能:大语言模型是AGI的重要基石与智慧引擎,机器人是大语言模型走向真实世界的物理载体。通过机器人的实体感知和行动能力,将LLM的强大语言理解和生成能力转化为实际的物理交互,实现从虚拟智能到具身智能到跨越。

        例如:VoxPoser(给定自然语言指令,LLM生成控制机械臂的代码)、Alter3(生成动作代码 + 人类反馈与记忆训练动作)

      第叁章 参数高效微调

      30 参数高效微调简介

      下游任务适配:预训练模型难以直接适配到下游任务。

      比如,经过续写任务预训练的 Qwen2.5-1.5B 倾向于续写或复读一句话。

      虽然,利用上下文学习可以让Qwen2.5-1.5B回答得更好,但是上下文学习也存在几点不足:性能有限、人力成本高、推理效率低。

      指令微调:为了保证下有任务性能,语言模型需要定制化调整以完成下游任务适配。

      比如,经过指令微调的Qwen2.5-1.5B-Instruct就能够听从人类指令并回答问题。

      指令微调

      image-20250620104205909

      image-20250620104317518

      回顾上一章节的Self-Instruct、Evol-Instruct

      监督微调(SFT):基于构造的指令数据集,对大模型进行监督微调。对于现有大语言模型,通常以自回归(+Teacher Forcing)方式进行训练。

      全量监督微调的挑战

      全量微调需要更新所有模型参数。面临:

      参数高效微调

      为了解决全量微调的问题,参数高效微调(Parameter-Efficient Fine-Tuning,PEFT)避免更新全部参数,在保证微调性能的同时,减少更新的参数数量计算开销

      PEFT技术主要有三方面优势:计算效率存储效率以及适应性强

      适应性强,是指在大部分任务上性能匹配或超过全量微调基线。这是由于全量微调可能有过拟合的,而PEFT对假设空间做了一定限制,泛化好一点。

      主流PEFT方法可分为三类:参数附加方法参数选择方法低秩适配方法

      image-20250620110753295

      31 参数附加方法

      参数附加方法通过增加并训练新的附加参数或模块对大语言模型进行微调。参数附加方法按照附加位置可以分为三类:加在输入加在模型 以及 加在输出

      加在输入

      加在输入的方法将额外参数附加到模型的输入嵌入(Embedding)中,其中最经典的方法是Prompt-tuning。

      image-20250623161903596

      这些额外参数通常称之为软提示(Soft Prompt)。 不同于手工编写的硬提示(Hard Prompt),软提示会在训练过程中被动态调整,其本质是可训练的、连续的嵌入

      image-20250623162252240

      Prompt-tuning

      加在输入的优势:内存效率高、多任务能力、缩放特性

      加在模型

      加在模型的方法将额外的参数或模型添加到预训练模型的隐藏层中,其中经典的方法有Prefix-tuning、Adapter-tuning等。

      image-20250623163254765

      Prefix-tuning(发表于ACL 2021)和Prompt-tuning(发表于EMNLP 2021)十分类似,但对软提示的处理有所不同:

      Tip

      Prompt-tuning可以理解为改善该怎么描述这个问题、提示。

      Prefix-tuning可以理解为也改善该怎么理解这个问题。

      但Prefix-tuning从结构上是不美的,因为有点违反transformer模块化的思想,它要拆开KV把参数加到其中。本身是搭积木的过程,成了在积木上雕花。而Adapter-tuning 很好地沿用了堆积木的思想。

      Adapter-tuning 通过在预训练语音模型的每个多头注意力层和全连接层后插入新的可学习神经网络模块(称为适配器,Adapter)来实现扩展。

      image-20250625172400544

      image-20250625172621336

      最后仅对适配器、层正则化以及最后的分类层参数进行微调。可以逼近甚至超过全量微调的效果。

      加在模型的优势:参数效率高、任务适应性强、保持预训练知识

      加在输出

      在微调LLM时,仍会面临以下问题:

      1. 大规模模型微调困难:大规模的模型(如Llama70B)即使使用PEFT技术也无法在普通的消费级GPU上进行微调。

      2. 黑盒模型:用户可能无法直接访问大语言模型的权重,为微调设置了障碍。

      Proxy-tuning :为了应对上述问题,代理微调(Proxy-tuning)提供了一种轻量级的解码时(Decoding-time)算法,让我们只需要微调较小的专家模型,且只需要访问大规模语言模型的输出词汇表预测分布,来实现对大规模语言模型的定制化调整。

      image-20250625200441512

      代理模型M:大规模模型或黑箱模型

      专家模型M+:(微调后的专家模型)和代理模型共词表,如果是同系列更好,比如代理模型是Llama70B,专家模型用Llama1B。

      反专家模型M:(微调前的专家模型)和专家模型来比较微调前后的logits差异。用该差异来纠正代理模型的输出。

      Tip

      核心idea:小模型和大模型之间存在知识的迁移性。所以小模型微调训练前后输出的改变,在大模型很多也是需要对应改变的。

      加在输出的优势:非常适合用于微调不动,但推理得动的大规模模型(代理模型)、可用于云边端协同、可用于黑盒模型

      image-20250625204130738

      32 参数选择方法

      参数选择的方法选择模型中的部分参数进行微调。参数选择方法分为两类:基于规则的方法基于学习的方法

      image-20250625204403585

      BitFit方法(基于规则):仅优化神经网络中的每一层的偏置项(Biases)以及任务特定的分类头来实现参数高效微调。

      BitFit有参数效率、性能表现和过程稳定(相比全量微调允许使用更大学习率)几方面的优势。但该方法仅在小规模模型上进行验证性能,在更大规模模型上的性能表现如何尚且未知。

      其他基于规则的方法:微调最后四分之一层、微调具有最小绝对值的模型参数(当前没有发挥重要作用的参数),等等

      Child-tuning(基于学习):在模型训练过程中自动地选择可训练的参数子集。其中,最为典型的方法是Child-tuning。该方法通过梯度掩码矩阵策略实现仅对选中的子网络进行梯度更新。

      假设ωt是第t轮迭代的参数矩阵,我们引入一个与ωt同维度的0-1掩码矩阵Mt。用于选择第t轮迭代的子网络Ct,仅更新该子网络的参数。

      总结:其实参数选择方法目前用得不多。尤其是在大规模模型上。

      优缺点:微调成本低、适应性较好,但选多少、怎么选难抉择。

      33 低秩适配方法

      这是现在应用最为广泛的PEFT方法。

      低秩适配方法

      低秩适配方法(Low-rank Adaptation Methods)通过低秩矩阵近似原始权重更新矩阵,并仅微调低秩矩阵,以大幅降低模型参数量。

      本征维度假设

      本征维度假设:在预训练语言模型微调时,仅在一个低维子空间中进行参数更新,也能实现与完整参数更新类似的性能。

      本征维度(intrinsic dimension):可以使模型达到预期效果的最小参数子空间的维度。因为数据或任务通常位于一个低维的流形上,模型只需关注与任务相关的特征,而不是整个高维空间。

      LoRA

      低秩适配(Low-rank Adaptation,LoRA)将d×k参数更新矩阵低秩分解一个r×k的矩阵一个d×r的矩阵rmin(d,k)),冻结原模型参数,仅微调这两个小矩阵。

      r 称为秩

      image-20250630204148758

      不仅微调的参数量大大降低,而且我们发现微调的投影矩阵本身和我们的模型是解耦的,有很好的参数隔离的效果。

      效果展示:LoRA使用更少的参数量达到匹配甚至超过全量微调的性能。

      LoRA的性能影响因素

      权重初始化方式、LoRA的秩、施加位置。

      image-20250630205200954

      image-20250630205338494

      image-20250630205541375

      image-20250630205753369

      LoRA微调时内存占用

      image-20250630210118063

      image-20250630210308303

      后面提到的QLoRA在权重内存和激活内存上下了功夫,很实用。

      LoRA优势

      image-20250630210800157

      插件化,甚至插件组合(DNI)。

      LoRA相关变体

      许多LoRA变体被提出,从以下几个角度对LoRA进行改进:

      (1)性能改进:

      (2)任务泛化

      (3)训练改进

      (4)推理改进

      34 参数高效微调的应用

      PEFT在预训练中的应用

      继续预训练(continue pre-training)。比如有个ReLoRA技术,通过多次重启,每隔一定训练步数将低秩矩阵与模型权重合并,并重新初始化生成新的低秩矩阵

      PEFT在连续学习中的应用

      也叫life-long learning。LoRA权重可以以插件形式管理与使用,天然具备连续学习的优势,插件化任务特定参数隔离的特点。 因而不用担心连续学习出现灾难性遗忘的问题。

      PEFT应用于垂域模型的训练

      第肆章 模型编辑

      40 模型编辑的定义与性质

      偏见、毒性和知识错误

      预训练大语言模型中可能存在大量混乱信息,包括偏见毒性知识错误等问题。

      image-20250703143320929

      模型编辑

      重新预训练微调是最朴素的模型更新手段,然而存在一些缺陷。

      是否存在更优的解决方案,精准、高效地修正大语言模型中的特定知识点避免对大模型进行大范围的调整

      有的,模型编辑

      模型编辑的定义

      模型编辑技术针对特定知识点对模型进行编辑,其旨在修正大语言模型使其输出期望结果,同时不影响其他无关输出。

      image-20250703145233373

      模型编辑的思想

      模型编辑的挑战

      知识内部紧密关联,“如何精确控制模型编辑的范围”是模型编辑的一个关键挑战

      不可错误编辑(准确性)、不可只顾自己(泛化性,同义的表达)、不可顾此失彼(可迁移性,相关的表达)、不可伤及无辜(局部性),并且需要高效性

      image-20250703150536325

      Tip

      高效性:高效性主要考虑模型编辑的时间成本和资源消耗,直接影响到模型编辑的可行性和实用性。

      在实际应用中,模型可能需要频繁地进行更新和纠错,这就要求编辑过程必须快速且资源友好。

      2023年12月,网友发现用中文询问“你是谁”这种问题时,谷歌的Gemini Pro会回答“我是百度文心大模型”。 然而仅仅一天之后,Gemini Pro便不再回答类似的内容。

      模型编辑的评测

      需要构建 泛化性数据集、可迁移性数据集、局部性数据集 用于评估效果。

      在评估模型编辑方法时。需要在多个性质之间寻找平衡——六边形战士。

      现有一些模型编辑常用的评估数据集。

      41 模型编辑方法概览

      模型编辑——类比游戏

      冒险游戏中的主角需要升级时,可以从两个方面进行改造。

      将LLM比作游戏中的主角,那么模型编辑可被看作一种满足“升级”需求的方法,可分为外部拓展法内部修改法

      image-20250708162337632

      外部拓展法

      核心思想是将新知识存储在附加的外部参数或外部知识库中,将其和原始模型一起作为编辑后模型。

      内部修改法

      核心思想是通过更新原始模型的内部参数来为模型注入新知识,在不增加物理存储负担的情况下直接优化自身,提高其在特定任务上的表现。

      image-20250711133311063

      42 附加参数法 T-Patcher

       

      43 定位编辑法 ROME

      44 模型编辑的应用

      第伍章 检索增强生成