NBCE:使用朴素贝叶斯扩展LLM的Context处理长度
By 苏剑林 | 2023-05-23 | 79309位读者 |在LLM时代还玩朴素贝叶斯(Naive Bayes)?
这可能是许多读者在看到标题后的首个想法。确实如此,当古老的朴素贝叶斯与前沿的LLM相遇时,产生了令人惊讶的效果——我们可以直接扩展现有LLM模型的Context处理长度,无需对模型进行微调,也不依赖于模型架构,具有线性效率,而且效果看起来还不错——这就是本文所提出的NBCE(Naive Bayes-based Context Extension)方法。
摸石过河 #
假设$T$为要生成的token序列,$S_1,S_2,\cdots,S_n$是给定的若干个相对独立的Context集合(比如$n$个不同的段落,至少不是一个句子被分割为两个片段那种),假设它们的总长度已经超过了训练长度,而单个$S_k$加$T$还在训练长度内。我们需要根据$S_1,S_2,\cdots,S_n$生成$T$,即估计$p(T|S_1, S_2,\cdots,S_n)$。
简单来说,朴素贝叶斯就是“贝叶斯公式+独立假设”。根据贝叶斯公式:
\begin{equation}p(T|S_1, S_2,\cdots,S_n) \propto p(S_1, S_2,\cdots,S_n|T)p(T)\end{equation}
这里的$\propto$,是省去了与$T$无关的常数因子。根据(条件)独立假设:
\begin{equation}p(S_1, S_2,\cdots,S_n|T) = \prod_{k=1}^n p(S_k|T)\end{equation}
所以有
\begin{equation}p(T|S_1, S_2,\cdots,S_n) \propto p(T)\prod_{k=1}^n p(S_k|T)\end{equation}
再次根据贝叶斯公式$p(S_k|T) \propto \frac{p(T|S_k)}{p(T)}$,得到
\begin{equation}p(T|S_1, S_2,\cdots,S_n) \propto \frac{1}{p^{n-1}(T)}\prod_{k=1}^n p(T|S_k)\end{equation}
或者
\begin{equation}\log p(T|S_1, S_2,\cdots,S_n) = \color{red}{\sum_{k=1}^n \log p(T|S_k)} - \color{green}{(n-1)\log p(T)} + \color{skyblue}{\text{常数}}\label{eq:nbce-1}\end{equation}
这里的$\color{red}{p(T|S_k)}$和$\color{green}{p(T)}$都可以直接用现有的LLM进行计算,而且只要是语言模型都行,跟架构无关,也不需要用长文本微调。其中,$\color{red}{p(T|S_k)}$是单个Context所预测的概率,$\color{green}{p(T)}$则无Context(或者Context为空)的概率,并且多个Context可以放在同一个batch中并行计算,计算量随着Context数的增加是线性增长的。
抽丝剥茧 #
当然,朴素贝叶斯依赖于独立假设,这会限制它的实际效果。为了“青出于蓝而胜于蓝”,我们不妨将式$\eqref{eq:nbce-1}$进一步“抽丝剥茧”、“去芜存菁”,以达到更好的效果。
首先我们记$\log p(T|S) = [\log p(T|S_1),\cdots,\log p(T|S_n)]$,以及
\begin{equation}\overline{\log p(T|S)} = \frac{1}{n}\sum_{k=1}^n \log p(T|S_k)\end{equation}
并设$\beta = n - 1$,那么式$\eqref{eq:nbce-1}$可以重写为
\begin{equation}\log p(T|S_1, S_2,\cdots,S_n) = \color{red}{(\beta + 1)\overline{\log p(T|S)}} - \color{green}{\beta\log p(T)} + \color{skyblue}{\text{常数}}\label{eq:nbce-2}\end{equation}
重写为上述形式后,自然而言地引出了两个问题:
1、如果将$\beta$作为超参数来调,是否可能取得更好的效果?
2、$\overline{\log p(T|S)}$就是$\log p(T|S)$的Average Pooling,那么换成其他Pooling方法(简记为$\mathcal{P}$)是否有更好的效果?即
\begin{equation}\log p(T|S_1, S_2,\cdots,S_n) = \color{red}{(\beta + 1)\mathcal{P}[\log p(T|S)]} - \color{green}{\beta\log p(T)} + \color{skyblue}{\text{常数}}\label{eq:nbce-3}\end{equation}
于是笔者在7B模型上围绕这两个问题进行调试,得到的初步结论是:在阅读理解场景中Max Pooling配合$\beta=0.25$,用Greedy Search总体表现比较好,然而Random Sample出来的结果基本不可读。
最终方案 #
为什么会出现Greedy Search好而Random Sample差的情况呢?我们知道,Random Sample是“按照分布采样”,它的效果差说明Max Pooling的结果不是一个合理的分布;而Greedy Search只关心最大概率者,而不关心分布的合理性,它的效果好告诉我们概率最大的token正确性较高。
概率越大说明不确定性越低,所以为了改善Random Sample的效果,我们将Pooling方式改为直接输出不确定性最低的那个分布:
\begin{equation}\begin{aligned}
&\mathcal{P}[\log p(T|S)] = \log p(T|S_{\color{red}{k}}) \\[5pt]
&\color{red}{k} = \mathop{\text{argmin}} \big\{H_1,H_2,\cdots,H_n\big\} \\[5pt]
&H_i = -\sum_T p(T|S_i)\log p(T|S_i)
\end{aligned}\end{equation}
代入到式$\eqref{eq:nbce-3}$,就是最终的NBCE(Naive Bayes-based Context Extension)。
值得指出的是,虽然我们的出发点是朴素贝叶斯,但一般化后的式$\eqref{eq:nbce-3}$已经超出了常规的朴素贝叶斯的范畴,同时保留了朴素贝叶斯的可解释性。不难看出,式$\eqref{eq:nbce-3}$的形式很是直观:
1、不同Context的预测结果通过方法$\mathcal{P}$聚合(或者说投票)在一起(权重为$\beta+1$),并减去无Context的预测结果(权重为$\beta$);
2、之所以要减去无Context预测结果,是为了让模型更加倾向于结合Context而不是纯粹根据自身知识储备来回答(注:3天后出现在Arxiv的论文《Trusting Your Evidence: Hallucinate Less with Context-aware Decoding》也提出了相同的技巧用来减少幻觉);
3、不同场景可以选择不同的$\beta$,比如需要结合Context做阅读理解的,可以考虑较大的$\beta$,如果偏向于自由创作,则选择较小的$\beta$,笔者认为$\beta\geq -1$都是合理的。
参考实现 #
下面给出NBCE的参考实现:
Github: https://github.com/bojone/NBCE
从演示代码可以看出,NBCE的实现很简单,只需要修改一下解码函数中的logits构建方式,跟解码算法的选择并不冲突。
所给的Demo包含12段不同的Context,总长度为9000多字,连同8个问题一次性输入到模型中(模型训练长度为2048,参数量为7B,可以在OpenBuddy下载),模型能够逐一根据所给Context正确回答这8个问题。值得指出的是,所有的Context、问题和答案加起来,超过了1万字!另外,有朋友简单尝试了简历匹配和作文打分应用,效果也尚可,非常建议大家亲自调试一下。
相关工作 #
扩展LLM的Context长度其实已有不少,但多数是通过结合检索或者摘要的方式来缩短样本的长Context,如Unlimiformer。由于不是直接处理长Context,因此通常无法做精细的阅读理解,而且这些方案往往需要在训练阶段就考虑进去,而不是事后即插即用到已有的LLM模型中。
在NBCE之前,能够不微调地扩展Context长度的方案是Parallel Context Window(下面简称PCW),出自论文《Parallel Context Windows for Large Language Models》和《Structured Prompting: Scaling In-Context Learning to 1,000 Examples》,两篇论文是同一时期不同作者的工作,但所提的方法只有细微的差别,因此这里都将它们叫做PCW。
PCW适用于Self Attention模型,主要修改包括Position Encoding和Attention Mask,如下图所示:
首先确定Context的最大长度$L$(图中为6),然后每个Context的最后一个位置编码为$L-1$,倒数第二个位置编码为$L-2$,...,依此类推,这种编码方式我们称为“右对齐”(或者“左缩进”);另一边,对于Task Tokens部分(Prompt+生成内容),我们的位置编码是$L,L+1,L+2,\cdots$。每个Context单独编码,所以对应的Attention Mask是分块对角矩阵,而因为是LM,所以是分块对角下三角阵;至于Task Tokens部分需要结合所有的Context,所以它需要Attention到所有Context(以及它自身)。这样一来,如果将每个Context单独拿出来,和Task Tokens拼在一起,其Attention模式就跟原本的LM一致了。
或许有读者看出,其实NBCE跟PCW有着很相似的特性,比如对于Context都是无序的、平权的。事实上,如果将NBCE应用到单层单头注意力模型中,那么结果大致上就是PCW。为了显示这一点,我们写出单层单头注意力的语言模型为
\begin{equation}p(x_t|x_{< t}) = softmax\left(\sum_{i=1}^t a_{t,i}v_i W\right)\end{equation}
所以大致上有$\log p(x_t|x_{< t}) \sim \sum\limits_{i=1}^t a_{t,i}v_i W$,接着代入到式$\eqref{eq:nbce-2}$并取$\beta=0$,得到
\begin{equation}\log p(T|S_1, S_2,\cdots,S_n) \sim \frac{1}{n}\sum_{k=1}^n\left(\sum_{i\in S_k} a_{T,i}v_i\right) W = \left(\sum_{i\in S_1\oplus\cdots\oplus S_n} \frac{a_{T,i}}{n}v_i\right) W \end{equation}
这里假设的是$T$是单个token,但其实已经不失一般性了,$\oplus$是拼接的意思。在上式中,$S_k\oplus T$是作为一个连续片段来推理的(NBCE的设定),所以它们的位置编码相邻,而$a_{T,i}/n$构成了$T$与所有$S_i$的一个整体Attention(求和同样是1),这些特性跟PCW其实是一致的,PCW只不过是以Attention Mask的方式更优雅地整合到每一层中。
因此,PCW大致上就是Average Pooling版的NBCE,我们实测也发现它跟Average Pooling版的NBCE有着相似的缺点——当Context数据增加时,输出的结果开始不够准确,具体表现为主题相关,但是作为问题的答案来说是错误的。
延伸思考 #
NBCE的一大缺点是无序性,即无法识别Context的输入顺序,这在续写故事等场景可能表现欠佳。为了缓解这一点,可以考虑在每一个Context前面加个能指示序信息的prefix,就好比小说中的“第一章”、“第二章”那样。
总的来说,目前笔者关于NBCE的测试都限于“阅读理解”场景,即“理解”长文本,能否用此方法来“生成”长文本,还是个未知数,期待大家的测试结果。
此外,还有一个有意思的问题是:
既然朴素贝叶斯都能在LLM领域能派上用场,那么其他传统概率模型(比如HMM)是否也能在LLM领域有它们的一席之地呢?
文章小结 #
本文提出了NBCE(Naive Bayes-based Context Extension),它基于朴素贝叶斯思想来扩展LLM的Context处理长度,有着即插即用、模型无关、无须微调、线性效率、实现简单等优点,并且看上去效果还不错,欢迎大家测试。
转载到请包括本文地址:https://kexue.fm/archives/9617
更详细的转载事宜请参考:《科学空间FAQ》
如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。
如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!
如果您需要引用本文,请参考:
苏剑林. (May. 23, 2023). 《NBCE:使用朴素贝叶斯扩展LLM的Context处理长度 》[Blog post]. Retrieved from https://kexue.fm/archives/9617
@online{kexuefm-9617,
title={NBCE:使用朴素贝叶斯扩展LLM的Context处理长度},
author={苏剑林},
year={2023},
month={May},
url={\url{https://kexue.fm/archives/9617}},
}
May 24th, 2023
苏老师,我用姜子牙模型https://huggingface.co/IDEA-CCNL/Ziya-LLaMA-13B-v1尝试复现你的效果失败了,模型回答完一个问题就生成end token中止推理了,请问这个问题需要如何解决呢?
修改prompt看看,或者修改beta试试。或者你可以试试github推荐的模型。
这个问题大概率是发布的模型二次微调时没做好。
感谢苏老师,修改prompt之后问题就解决了
求分享
May 25th, 2023
苏神,我在使用chatglm-6b模型尝试复现的时候,在70行softmax操作出现有结果为0.00e+00,然后71行log操作就出现了-inf值,在83行进行采样的时候就会报错。是不是需要考虑一些平滑操作呀?
demo纯粹是参考的,实际运行时大家根据自己情况自行修改就是了,不需要囿于已有代码。。。还可以考虑用 https://kexue.fm/archives/9595 的Rényi熵取代香侬熵,就不会有0 * log 0的问题了。
May 25th, 2023
公式4上方这个$p(S_k|T) \propto \frac{p(T|S_k)}{p(T)}$是不是有问题,分子的$p(T)$省掉了proportional还成立吗?还是说这里有个uniform假设。
没看懂你想说的是分子还是分母?$p(S_k|T) \propto \frac{p(T|S_k)}{p(T)}$不是恒成立的贝叶斯公式吗?这一步还能有疑问?省略的只是预测无关的常数。
写错了,我的意思是$p(S_k|T)= \frac{p(T|S_k)p(S_k)}{p(T)}\propto p(T|S_k)p(S_k)$,你是假设p(S_k)是常数?
本文的场景是给定context $S_1,S_2,\cdots,S_n$来预测$T$,既然给定了$S_1,S_2,\cdots,S_n$,它就是预测无关的,自然是常数,不用假设。
给定$S_k$不代表$p(S_k)$就取消掉了啊,只听过$p(A|B)\propto p(B|A)p(A)$,没听过$p(A|B)\propto \frac{p(B|A)}{p(B)}$.
既然是常数了,写成$\propto$有何不可?
$p(A|B)=\frac{p(B|A)p(A)}{p(B)}$,你允许省略$p(B)$的$p(A|B)\propto p(B|A)p(A)$,却不允许省略$p(A)$的$p(A|B)\propto \frac{p(B|A)}{p(B)}$?这是“只允许州官放火,不允许百姓点灯”的意思?还是说$p(A)$违反了哪条规定?
又或者你还是觉得我的推导是错的,那你可以给出完整结果,看看补充上$p(S_k)$后会不会影响预测结果。
首先给定$S_k$不代表$p(S_k)$是常数,你掷骰子掷到某个点数也不代表这个点数的先验概率被取消。其次$p(A|B)\propto p(B|A)p(A)$的意思是条件概率满足$p(A|B) = \frac{p(B|A)p(A)}{Z}$($Z=p(B)$与$A$无关),只不过把normalizing factor省略而已。概率分布是对$A$而言,当然不允许省略A的先验概率$p(A)$了。
@nil|comment-21782
给定$x=2$,2不是常数;抛骰子,给定$x=1$,那么就有$p_x = p_1=1/6$,所以$1/6$也不是常数。好逻辑,我竟不知道怎么接你的话了。
我试图再挣扎一下:
$p(A|B)=\frac{p(B|A)p(A)}{p(B)}$,$B$固定时$p(A|B)\propto p(B|A)p(A)$,$A$固定时$p(A|B)\propto \frac{p(B|A)}{p(B)}$,这是由前一个等式衍生出来的很自然很平等的数学记号,事实上跟问题背景没关系。我实在无法想明白$A$犯了哪条法律,让你如此区别对待。这就好比给定$x$时$xy\propto y$,给定$y$时$xy\propto x$,是平等对称的关系记号。
$p(A|B)=\frac{p(B|A)p(A)}{p(B)}$是一个普通的、定量的恒等式,$p(A|B)$是一个数字,$p(A|B)$是条件取值为$B$时随机变量取值为$A$的概率,概率是一个数字,不是一个向量,不是一个分布。它只是可以通过遍历$A$的取值构成的集合$\{p(A|B)|A\in\Omega\}$来描述一个分布,它本身只是一个数字(或者说输出数字的函数,不是输出分布)。
May 25th, 2023
(不知道为什么发不出去)另外我觉得背景部分的条件概率的用法其实有点问题,公式2 $p(S_1, S_2,\cdots,S_n|T) = \prod_{k=1}^n p(S_k|T)$中的$p(S_1, S_2,\cdots,S_n|T)$如果想表达的是$S_1,\cdots, S_n$是一个连续片段的话,恐怕不能分解为$\prod_{k=1}^n p(S_k|T)$,因为后者实际上根据条件独立假设近似的是同一段prompt位置既是$S_1$也是$S_2$也是$S_n$的概率,实际上是0(不可能发生的事件)。真要分解应该是$p(S_1, S_2,\cdots,S_n|T) =p(S_1, \cdots|T) \times p(\cdots, S_2, \cdots|T)\times \cdots \times p(\cdots, S_n|T)$,这样就必然涉及采样了(因为每个条件概率都要marginalize)。
1、$p(S_1, S_2,\cdots,S_n|T) = \prod\limits_{k=1}^n p(S_k|T)$是一个近似,当$S_1,S_2,\cdots,S_n$相互独立时取等号,但并不意味着不独立时这个近似就不能用;
2、文章后面已经强调过了,朴素贝叶斯只是引子,更一般的$\eqref{eq:nbce-3}$某种程度上已经缓解了独立假设的限制。
假设近似独立,那么就是默认context之间关系不大,但实际处理context就是为了提取context相互间的关系,两者互相矛盾,这个独立假设算的概率其实是近似训练语料库中共现的频率,而不是对话之间贝叶斯的概率,所以这是频率派的做法而并不是朴素贝叶斯
这篇文章 https://kexue.fm/archives/9632 进一步分析了NBCE的适用场景,它可能受限于“检索”,并不会太受限于独立假设。
假设用到对话场景,最近的对话历史还是通过拼接的方式输出到LLM中的(作为文章中的$T$),只有足够远的历史,即便是人也无法排序,此时就可以作为无序的检索来处理(作为文章中的$S_i$)
正确的朴素贝叶斯公式在 李航,统计学习方法 48页 朴素贝叶斯法 公式4.3
May 25th, 2023
如果这个方法能work的话,理论上也应该能找到一种方法,直接进行外推?
本质上模型接收了一样的信息量,用了一样的参数。只是得找到一种方法能够训练它?
“相关工作”一节,分析了NBCE与Attention的联系,事实上如果认为$\log p(T|S_k)$就是logits的话,是可以直接将它以类似PCW的方式写进最后一层Attention中。
如果要在训练阶段就考虑的话,大致上相当于前面L-1层用分chunk的Attention,最后一层用Global Attention,类似于 https://kexue.fm/archives/9603 这里的方案。
如果说通过这种后处理能媲美长token的模型,是否意味着是对长token的模型的蒸馏?这个思路对吗?
这个貌似跟蒸馏没关系。
May 31st, 2023
写了段代码验证p(A|B) ∝ p(B|A)p(A) 和 p(A|B) ∝ p(B|A) / p(B)的等价性
代码在此:https://github.com/chattyfish/papb/blob/main/main.py
如有错误请指正。
小试结果:
....
重复s次并统计
....
======== 结束 ========
判断标准: sigmoid(相关系数) > 0.6224593312018546
正确率: 0.99
如果正确率接近1, 则说明: p(A|B) ∝ p(B|A)p(A) 和 p(A|B) ∝ p(B|A) / p(B) 是等价的
May 31st, 2023
简化了代码,运行结果:
预热...
P(A|B) = 0.5031783869686134
P(B|A) = 0.49970408364568947
P(A) = 0.5069
P(B) = 0.5034
验证 p(A|B) = p(B|A)p(A) / p(B)
left = 0.5031783869686134
right = 0.5031783869686135
肉眼观察,确保没有问题。如果 left 和 right 相差不大,则说明各个函数的实现是正确
======== 开始 ========
======== 结束 ========
判断标准: 相关系数 > 0.5
样本数量: 10000
总样本数量: 1000000000
序列长度: 1000
计算次数 100 次
正确率: 1.0
如果正确率接近1, 则可以相信: p(A|B) ∝ p(B|A)p(A) 和 p(A|B) ∝ p(B|A)/p(B) 是等价的
没法编辑啊
谢谢检验。其实这个东西是纯粹的数学记号,即$xy$蕴含了$xy\propto x$和$xy\propto y$,个人认为上升不到实验层面。
至于无法编辑,其实这里的定位是一个简单的留言区而不是论坛,所以就没有编辑功能了,抱歉。
May 31st, 2023
苏老师,如果输入的内容的逻辑是嵌套的(无法避免),而不是顺序的,那么应该怎样分段处理?比如
- 描述1
- 细节1
- 细节1.1
- 细节1.1.1
- 细节1.1的继续
- 细节1.2
- 细节1.2.1
这种情况在编程语言,类编程语言,脚本,伪代码,配置文件,某些规范化的文档中特别常见。
那就统一在 https://kexue.fm/archives/9632/comment-page-1#comment-21834 讨论。
June 4th, 2023
[...]上周在《NBCE:使用朴素贝叶斯扩展LLM的Context处理长度》中,我们介绍了一种基于朴素贝叶斯来扩展LLM的Context长度的方案NBCE(Naive Bayes-based Context Extension)。由于它有着即插即用、模型无关、不用微调等优点,也获得了一些读者的认可,总的来说目前大家反馈的测试效果还算可以。[...]
June 8th, 2023
苏神好!我在总结长文本推理这一块,想引用您的文章,不知道是否可以?
以及我在chatglm上对比了PCW和NBCE,发现PCW的效果要差很多,我想到了一种可能想来请教下,有没有可能PCW这种从第一层解码就开始融合超长上文的方案会容易导致注意力分散,表现在长文本问答上,正确答案里面会混很多无关的文本片段。但是NBCE这种在最后一层解码层融合的方案就要好很多,是不是因为相对注意力很集中,解码的过程已经很好的筛选了无关的上文片段,降低了对解码的噪声呢?
可以啊,参考Github就行,链接可以写Github或者本文链接。
PCW能有一定效果(而不是乱码),我认为有一定的运气成分,主要跟LLM的噪声抵御能力有关,关键因素可能在Pre Norm和多头,参考 https://kexue.fm/archives/9603 。我做过比较一般的架构(单头 + Post Norm),发现像PCW这样修改Attention的方式,实际上很可能会输出完全乱码的结果。
NBCE不管LLM本身的内在架构,直接在概率层面进行融合,我是认为概率层面比较可控。而且应该也有你说的因素在里边,即Attention是soft的注意力,容易被分散,而NBCE直接取了最小熵,就不存在分散注意力的问题。