今天学习的是谷歌大脑的同学和 CMU 的同学于 2019 年联合出品的论文《Transformer-XL: Attentive Language Models Beyond a Fixed-Length Context》,目前被引次数超 200 次。
这篇论文提出的 Transformer-XL 主要是针对 Transformer 在解决长依赖问题中受到固定长度上下文的限制,如 Bert 采用的 Transformer 最大上下文为 512。
Transformer-XL 采用了一种 segment-level 的递归方法,不仅解决长以来的问题,还解决了上下文碎片问题。最终,Transformer-XL 能学习到的长依赖超过 LSTM 80%,并比原来的 Transforner 多出 4.5 倍。而且 Transformer-XL 在长短序列中都获得了不错的性能,预测速度更是比原来快了 1800 多倍。
长依赖一直是序列数据中比较常见的问题,尤其是 NLP 领域。Transformer 虽然在编码能力上超越了 LSTM,但是其对长距离依赖的建模能力没有 LSTM 那么强。Transformer 的 Attention 机制理论上可以在任意两个词之间建立联系,但由于效率原因,在实际使用过程中每次都会限制固定长度的上下文输入,这种固定长度的上下文有两个缺点:
模型因缺乏必要的上下文信息而很好的预测 token,这种问题有一个专业的名词:上下文碎片(context fragmentation)。
为了解决这种问题,作者提出了 Transformer-XL(XL 表示 extra long)模型,并在两个改进方法:
接下来我们看 Transformer-XL 的详细内容。
要想将 Transformer 应用到模型中,要解决的核心问题是如何训练 Transformer 使其可以将任意大小的上下文编码为固定大小的 Representation。
如果不考虑计算资源和内存的话,最简单粗暴的方法就是直接使用 Transformer 来对整个序列进行编码。但我们知道这种方法是不可能的。
还有一种可行但是比较粗糙的方法是将整个语料库分为多个大小相同的片段(segment),然后只在每个片段上训练而忽视所有的上下文信息,这种方法我们称为 Vanilla Transformer:
在预测过程中,Vanilla Transformer 也采用与训练相同大小的片段来预测最后一个位置,然后每次基于滑动窗口向右移动一个位置:
这种方法一定程度上确保了在预测过程中尽可能大的利用上下文,缓解了上下文碎片问题,但由于每次移动,新的片段都需要重新计算一次,所以其计算代价昂贵。
为了解决固定长度上下文的带来的问题,作者建议在 Transformer 架构中引入递归机制(Recurrence Mechanism)。在训练过程中,前一段计算出来的隐藏层状态会被被固定并缓存下来,当模型处理下一个新段时作为扩展上下文而被重用:
这种附加的连接可以随着网络深度的增加而增大依赖项的最大长度(想不通的可以想一下 GCN 的一阶领域)。除此之外,这种递归机制还可以解决上下文碎片问题,为新段前端的令牌提供必要的上下文信息。
又到了痛苦的时刻,我们来给出具体计算过程的数学公式:
假设现在有两个连续的分割片段 和 ,其中 x 表示 token,L 为序列长度, 表示第 个分割片段。
假设 Transformer 有 N 层,那么每个片段 就有 N 个隐藏层状态,我们将第 个片段的第 n 个隐藏层状态表示为 , 那么第 个片段的第 n 层隐藏层状态就可以通过下式得出:
其中,SG 是指 Stop-Gradient,表示状态固定,虽然提供信息但不再进行反向传播; 是一个临时符号,表示对两个连续片段第 层隐藏层状态的拼接, 分别表示 query、key 和 value 向量;注意,仔细看下公式,query 的计算方式不变,而 key 和 value 是利用拼接后的 来计算。
由于这是递归机制,所以层数越高,所能依赖到的范围越大,最大可能依赖长度为 ,如下图阴影部分所示:
除了实现超长的上下文依赖和解决碎片问题外,递归机制的另一个好处就是显著加快了计算速度。具体来说,Vanilla Transformer 每次都需要重新计算,而现在可以重用以前的片段,只要 GPU 内存允许,我们可以尽可能多的缓存之前的片段,并重用之前的片段以作为额外的上下文。
在 Vanilla Transformer 中,由于每个片段相互独立每次都会重新计算,且使用了绝对位置编码的方式,所以不会出现位置混乱的情况。但是在 Transformer-XL 中,每个片段都是用相同的位置编码会导致在重用过程中无法保证位置信息的一致性。
为了去避免这种情况,Transformer-XL 使用了相对位置信息编码的方式,从概念上来说,位置编码会为模型提供 token 相对顺序的线索。为了达到同样的目的,Transformer 在计算当前位置隐向量时,考虑和它存在依赖的 token 的相对位置。具体来说,在计算 Attention 评分时不需要知道 Query 和 key 的绝对位置,只要知道相对位置即可,并将这种相对位置关系动态的注入到每一层的 Attention 评分计算中,而不是静态地将偏差加入到初始 Embedding 中。
我们来对比一下绝对位置和相对位置:
其中, 为 token 的输入编码; 为绝对位置编码; 分别为 query 和 key 矩阵。
其中, 是相对位置编码矩阵;由于query 向量对于所有查询位置都是相同的,所以用 代替 ,同样的原因,我们用 代替 ;将 用 分别代替,以细分表示基于内容的 key 向量和基于位置信息的 key 向量。
在相对位置中,每个位置都有直观的含义:
Vanilla Transformer 只有前两种含义,而没有后两种含义。
最后我们来看下整体的公式:
简单看一下实验部分。
模型在不同数据集下的表现:
各模型的相对有效长度(最长依赖长度)
总结:Transformer-XL 从解决长距离依赖问题出来,提出了循环机制和相对位置编码这两个创新点,在解决了长依赖问题的同时也解决了上下文碎片的问题。此外,由于循环机制重用了先前隐藏层状态,其预测速度也得到了显著提升。诸多试验证明,Transformer-XL 相对 Vanilla Transformer 而言具有很好的性能。