XLNet: Generalized Autoregressive Pretraining for Language Understanding

  • 2020-01-02 12:48:08
  • Zhilin Yang, Zihang Dai, Yiming Yang, Jaime Carbonell, Ruslan Salakhutdinov, Quoc V. Le
  • 0

Abstract

With the capability of modeling bidirectional contexts, denoisingautoencoding based pretraining like BERT achieves better performance thanpretraining approaches based on autoregressive language modeling. However,relying on corrupting the input with masks, BERT neglects dependency betweenthe masked positions and suffers from a pretrain-finetune discrepancy. In lightof these pros and cons, we propose XLNet, a generalized autoregressivepretraining method that (1) enables learning bidirectional contexts bymaximizing the expected likelihood over all permutations of the factorizationorder and (2) overcomes the limitations of BERT thanks to its autoregressiveformulation. Furthermore, XLNet integrates ideas from Transformer-XL, thestate-of-the-art autoregressive model, into pretraining. Empirically, undercomparable experiment settings, XLNet outperforms BERT on 20 tasks, often by alarge margin, including question answering, natural language inference,sentiment analysis, and document ranking.

 

Quick Read (beta)

XLNet: Generalized Autoregressive Pretraining
for Language Understanding

Zhilin Yang*1, Zihang Dai*12, Yiming Yang1, Jaime Carbonell1,
Ruslan Salakhutdinov1, Quoc V. Le2
1
Carnegie Mellon University, 2Google AI Brain Team
{zhiliny,dzihang,yiming,jgc,rsalakhu}@cs.cmu.edu, [email protected]
Abstract

With the capability of modeling bidirectional contexts, denoising autoencoding based pretraining like BERT achieves better performance than pretraining approaches based on autoregressive language modeling. However, relying on corrupting the input with masks, BERT neglects dependency between the masked positions and suffers from a pretrain-finetune discrepancy. In light of these pros and cons, we propose XLNet, a generalized autoregressive pretraining method that (1) enables learning bidirectional contexts by maximizing the expected likelihood over all permutations of the factorization order and (2) overcomes the limitations of BERT thanks to its autoregressive formulation. Furthermore, XLNet integrates ideas from Transformer-XL, the state-of-the-art autoregressive model, into pretraining. Empirically, under comparable experiment settings, XLNet outperforms BERT on 20 tasks, often by a large margin, including question answering, natural language inference, sentiment analysis, and document ranking.11 1 Pretrained models and code are available at https://github.com/zihangdai/xlnet.

[inlinelist,1]label=(),

 

XLNet: Generalized Autoregressive Pretraining
for Language Understanding


  Zhilin Yang*1, Zihang Dai*12, Yiming Yang1, Jaime Carbonell1, Ruslan Salakhutdinov1, Quoc V. Le2 1Carnegie Mellon University, 2Google AI Brain Team {zhiliny,dzihang,yiming,jgc,rsalakhu}@cs.cmu.edu, [email protected]

\@float

noticebox[b]33rd Conference on Neural Information Processing Systems (NeurIPS 2019), Vancouver, Canada.\[email protected]

11footnotetext: Equal contribution. Order determined by swapping the one in [9].

1 Introduction

Unsupervised representation learning has been highly successful in the domain of natural language processing [7, 22, 27, 28, 10]. Typically, these methods first pretrain neural networks on large-scale unlabeled text corpora, and then finetune the models or representations on downstream tasks. Under this shared high-level idea, different unsupervised pretraining objectives have been explored in literature. Among them, autoregressive (AR) language modeling and autoencoding (AE) have been the two most successful pretraining objectives.

AR language modeling seeks to estimate the probability distribution of a text corpus with an autoregressive model [7, 27, 28]. Specifically, given a text sequence 𝐱=(x1,,xT), AR language modeling factorizes the likelihood into a forward product p(𝐱)=t=1Tp(xt𝐱<t) or a backward one p(𝐱)=t=T1p(xt𝐱>t). A parametric model (e.g. a neural network) is trained to model each conditional distribution. Since an AR language model is only trained to encode a uni-directional context (either forward or backward), it is not effective at modeling deep bidirectional contexts. On the contrary, downstream language understanding tasks often require bidirectional context information. This results in a gap between AR language modeling and effective pretraining.

In comparison, AE based pretraining does not perform explicit density estimation but instead aims to reconstruct the original data from corrupted input. A notable example is BERT [10], which has been the state-of-the-art pretraining approach. Given the input token sequence, a certain portion of tokens are replaced by a special symbol [MASK], and the model is trained to recover the original tokens from the corrupted version. Since density estimation is not part of the objective, BERT is allowed to utilize bidirectional contexts for reconstruction. As an immediate benefit, this closes the aforementioned bidirectional information gap in AR language modeling, leading to improved performance. However, the artificial symbols like [MASK] used by BERT during pretraining are absent from real data at finetuning time, resulting in a pretrain-finetune discrepancy. Moreover, since the predicted tokens are masked in the input, BERT is not able to model the joint probability using the product rule as in AR language modeling. In other words, BERT assumes the predicted tokens are independent of each other given the unmasked tokens, which is oversimplified as high-order, long-range dependency is prevalent in natural language [9].

Faced with the pros and cons of existing language pretraining objectives, in this work, we propose XLNet, a generalized autoregressive method that leverages the best of both AR language modeling and AE while avoiding their limitations.

  • Firstly, instead of using a fixed forward or backward factorization order as in conventional AR models, XLNet maximizes the expected log likelihood of a sequence w.r.t. all possible permutations of the factorization order. Thanks to the permutation operation, the context for each position can consist of tokens from both left and right. In expectation, each position learns to utilize contextual information from all positions, i.e., capturing bidirectional context.

  • Secondly, as a generalized AR language model, XLNet does not rely on data corruption. Hence, XLNet does not suffer from the pretrain-finetune discrepancy that BERT is subject to. Meanwhile, the autoregressive objective also provides a natural way to use the product rule for factorizing the joint probability of the predicted tokens, eliminating the independence assumption made in BERT.

In addition to a novel pretraining objective, XLNet improves architectural designs for pretraining.

  • Inspired by the latest advancements in AR language modeling, XLNet integrates the segment recurrence mechanism and relative encoding scheme of Transformer-XL [9] into pretraining, which empirically improves the performance especially for tasks involving a longer text sequence.

  • Naively applying a Transformer(-XL) architecture to permutation-based language modeling does not work because the factorization order is arbitrary and the target is ambiguous. As a solution, we propose to reparameterize the Transformer(-XL) network to remove the ambiguity.

Empirically, under comparable experiment setting, XLNet consistently outperforms BERT [10] on a wide spectrum of problems including GLUE language understanding tasks, reading comprehension tasks like SQuAD and RACE, text classification tasks such as Yelp and IMDB, and the ClueWeb09-B document ranking task.

Related Work  The idea of permutation-based AR modeling has been explored in [32, 12], but there are several key differences. Firstly, previous models aim to improve density estimation by baking an “orderless” inductive bias into the model while XLNet is motivated by enabling AR language models to learn bidirectional contexts. Technically, to construct a valid target-aware prediction distribution, XLNet incorporates the target position into the hidden state via two-stream attention while previous permutation-based AR models relied on implicit position awareness inherent to their MLP architectures. Finally, for both orderless NADE and XLNet, we would like to emphasize that “orderless” does not mean that the input sequence can be randomly permuted but that the model allows for different factorization orders of the distribution.

Another related idea is to perform autoregressive denoising in the context of text generation [11], which only considers a fixed order though.

2 Proposed Method

2.1 Background

In this section, we first review and compare the conventional AR language modeling and BERT for language pretraining. Given a text sequence 𝐱=[x1,,xT], AR language modeling performs pretraining by maximizing the likelihood under the forward autoregressive factorization:

maxθlogpθ(𝐱)=t=1Tlogpθ(xt𝐱<t)=t=1Tlogexp(hθ(𝐱1:t-1)e(xt))xexp(hθ(𝐱1:t-1)e(x)), (1)

where hθ(𝐱1:t-1) is a context representation produced by neural models, such as RNNs or Transformers, and e(x) denotes the embedding of x. In comparison, BERT is based on denoising auto-encoding. Specifically, for a text sequence 𝐱, BERT first constructs a corrupted version 𝐱^ by randomly setting a portion (e.g. 15%) of tokens in 𝐱 to a special symbol [MASK]. Let the masked tokens be 𝐱¯. The training objective is to reconstruct 𝐱¯ from 𝐱^:

maxθlogpθ(𝐱¯𝐱^)t=1Tmtlogpθ(xt𝐱^)=t=1Tmtlogexp(Hθ(𝐱^)te(xt))xexp(Hθ(𝐱^)te(x)), (2)

where mt=1 indicates xt is masked, and Hθ is a Transformer that maps a length-T text sequence 𝐱 into a sequence of hidden vectors Hθ(𝐱)=[Hθ(𝐱)1,Hθ(𝐱)2,,Hθ(𝐱)T]. The pros and cons of the two pretraining objectives are compared in the following aspects:

  • Independence Assumption: As emphasized by the sign in Eq. (2), BERT factorizes the joint conditional probability p(𝐱¯𝐱^) based on an independence assumption that all masked tokens 𝐱¯ are separately reconstructed. In comparison, the AR language modeling objective (1) factorizes pθ(𝐱) using the product rule that holds universally without such an independence assumption.

  • Input noise: The input to BERT contains artificial symbols like [MASK] that never occur in downstream tasks, which creates a pretrain-finetune discrepancy. Replacing [MASK] with original tokens as in [10] does not solve the problem because original tokens can be only used with a small probability — otherwise Eq. (2) will be trivial to optimize. In comparison, AR language modeling does not rely on any input corruption and does not suffer from this issue.

  • Context dependency: The AR representation hθ(𝐱1:t-1) is only conditioned on the tokens up to position t (i.e. tokens to the left), while the BERT representation Hθ(𝐱)t has access to the contextual information on both sides. As a result, the BERT objective allows the model to be pretrained to better capture bidirectional context.

2.2 Objective: Permutation Language Modeling

According to the comparison above, AR language modeling and BERT possess their unique advantages over the other. A natural question to ask is whether there exists a pretraining objective that brings the advantages of both while avoiding their weaknesses.

Borrowing ideas from orderless NADE [32], we propose the permutation language modeling objective that not only retains the benefits of AR models but also allows models to capture bidirectional contexts. Specifically, for a sequence 𝐱 of length T, there are T! different orders to perform a valid autoregressive factorization. Intuitively, if model parameters are shared across all factorization orders, in expectation, the model will learn to gather information from all positions on both sides.

To formalize the idea, let 𝒵T be the set of all possible permutations of the length-T index sequence [1,2,,T]. We use zt and 𝐳<t to denote the t-th element and the first t-1 elements of a permutation 𝐳𝒵T. Then, our proposed permutation language modeling objective can be expressed as follows:

maxθ𝔼𝐳𝒵T[t=1Tlogpθ(xzt𝐱𝐳<t)]. (3)

Essentially, for a text sequence 𝐱, we sample a factorization order 𝐳 at a time and decompose the likelihood pθ(𝐱) according to factorization order. Since the same model parameter θ is shared across all factorization orders during training, in expectation, xt has seen every possible element xixt in the sequence, hence being able to capture the bidirectional context. Moreover, as this objective fits into the AR framework, it naturally avoids the independence assumption and the pretrain-finetune discrepancy discussed in Section 2.1.

Remark on Permutation  The proposed objective only permutes the factorization order, not the sequence order. In other words, we keep the original sequence order, use the positional encodings corresponding to the original sequence, and rely on a proper attention mask in Transformers to achieve permutation of the factorization order. Note that this choice is necessary, since the model will only encounter text sequences with the natural order during finetuning.

To provide an overall picture, we show an example of predicting the token x3 given the same input sequence 𝐱 but under different factorization orders in the Appendix A.7 with Figure 4.

2.3 Architecture: Two-Stream Self-Attention for Target-Aware Representations

Figure 1: (a): Content stream attention, which is the same as the standard self-attention. (b): Query stream attention, which does not have access information about the content xzt. (c): Overview of the permutation language modeling training with two-stream attention.

While the permutation language modeling objective has desired properties, naive implementation with standard Transformer parameterization may not work. To see the problem, assume we parameterize the next-token distribution pθ(Xzt𝐱𝐳<t) using the standard Softmax formulation, i.e., pθ(Xzt=x𝐱𝐳<t)=exp(e(x)hθ(𝐱𝐳<t))xexp(e(x)hθ(𝐱𝐳<t)), where hθ(𝐱𝐳<t) denotes the hidden representation of 𝐱𝐳<t produced by the shared Transformer network after proper masking. Now notice that the representation hθ(𝐱𝐳<t) does not depend on which position it will predict, i.e., the value of zt. Consequently, the same distribution is predicted regardless of the target position, which is not able to learn useful representations (see Appendix A.1 for a concrete example). To avoid this problem, we propose to re-parameterize the next-token distribution to be target position aware:

pθ(Xzt=x𝐱z<t)=exp(e(x)gθ(𝐱𝐳<t,zt))xexp(e(x)gθ(𝐱𝐳<t,zt)), (4)

where gθ(𝐱𝐳<t,zt) denotes a new type of representations which additionally take the target position zt as input.

Two-Stream Self-Attention  While the idea of target-aware representations removes the ambiguity in target prediction, how to formulate gθ(𝐱𝐳<t,zt) remains a non-trivial problem. Among other possibilities, we propose to “stand” at the target position zt and rely on the position zt to gather information from the context 𝐱𝐳<t through attention. For this parameterization to work, there are two requirements that are contradictory in a standard Transformer architecture: (1) to predict the token xzt, gθ(𝐱𝐳<t,zt) should only use the position zt and not the content xzt, otherwise the objective becomes trivial; (2) to predict the other tokens xzj with j>t, gθ(𝐱𝐳<t,zt) should also encode the content xzt to provide full contextual information. To resolve such a contradiction, we propose to use two sets of hidden representations instead of one:

  • The content representation hθ(𝐱𝐳t), or abbreviated as hzt, which serves a similar role to the standard hidden states in Transformer. This representation encodes both the context and xzt itself.

  • The query representation gθ(𝐱𝐳<t,zt), or abbreviated as gzt, which only has access to the contextual information 𝐱𝐳<t and the position zt, but not the content xzt, as discussed above.

Computationally, the first layer query stream is initialized with a trainable vector, i.e. gi(0)=w, while the content stream is set to the corresponding word embedding, i.e. hi(0)=e(xi). For each self-attention layer m=1,,M, the two streams of representations are schematically22 2 To avoid clutter, we omit the implementation details including multi-head attention, residual connection, layer normalization and position-wise feed-forward as used in Transformer(-XL). The details are included in Appendix A.2 for reference. updated with a shared set of parameters as follows (illustrated in Figures 1 (a) and (b)):

gzt(m) Attention(Q=gzt(m-1),KV=𝐡𝐳<t(m-1);θ), (query stream: use zt but cannot see xzt)
hzt(m) Attention(Q=hzt(m-1),KV=𝐡𝐳t(m-1);θ), (content stream: use both zt and xzt).

where Q, K, V denote the query, key, and value in an attention operation [33]. The update rule of the content representations is exactly the same as the standard self-attention, so during finetuning, we can simply drop the query stream and use the content stream as a normal Transformer(-XL). Finally, we can use the last-layer query representation gzt(M) to compute Eq. (4).

Partial Prediction  While the permutation language modeling objective (3) has several benefits, it is a much more challenging optimization problem due to the permutation and causes slow convergence in preliminary experiments. To reduce the optimization difficulty, we choose to only predict the last tokens in a factorization order. Formally, we split 𝐳 into a non-target subsequence 𝐳c and a target subsequence 𝐳>c, where c is the cutting point. The objective is to maximize the log-likelihood of the target subsequence conditioned on the non-target subsequence, i.e.,

maxθ𝔼𝐳𝒵T[logpθ(𝐱𝐳>c𝐱𝐳c)]=𝔼𝐳𝒵T[t=c+1|𝐳|logpθ(xzt𝐱𝐳<t)]. (5)

Note that 𝐳>c is chosen as the target because it possesses the longest context in the sequence given the current factorization order 𝐳. A hyperparameter K is used such that about 1/K tokens are selected for predictions; i.e., |𝐳|/(|𝐳|-c)K. For unselected tokens, their query representations need not be computed, which saves speed and memory.

2.4 Incorporating Ideas from Transformer-XL

Since our objective function fits in the AR framework, we incorporate the state-of-the-art AR language model, Transformer-XL [9], into our pretraining framework, and name our method after it. We integrate two important techniques in Transformer-XL, namely the relative positional encoding scheme and the segment recurrence mechanism. We apply relative positional encodings based on the original sequence as discussed earlier, which is straightforward. Now we discuss how to integrate the recurrence mechanism into the proposed permutation setting and enable the model to reuse hidden states from previous segments. Without loss of generality, suppose we have two segments taken from a long sequence 𝐬; i.e., 𝐱~=𝐬1:T and 𝐱=𝐬T+1:2T. Let 𝐳~ and 𝐳 be permutations of [1T] and [T+12T] respectively. Then, based on the permutation 𝐳~, we process the first segment, and then cache the obtained content representations 𝐡~(m) for each layer m. Then, for the next segment 𝐱, the attention update with memory can be written as

hzt(m)Attention(Q=hzt(m-1),KV=[𝐡~(m-1),𝐡𝐳t(m-1)];θ)

where [.,.] denotes concatenation along the sequence dimension. Notice that positional encodings only depend on the actual positions in the original sequence. Thus, the above attention update is independent of 𝐳~ once the representations 𝐡~(m) are obtained. This allows caching and reusing the memory without knowing the factorization order of the previous segment. In expectation, the model learns to utilize the memory over all factorization orders of the last segment. The query stream can be computed in the same way. Finally, Figure 1 (c) presents an overview of the proposed permutation language modeling with two-stream attention (see Appendix A.7 for more detailed illustration).

2.5 Modeling Multiple Segments

Many downstream tasks have multiple input segments, e.g., a question and a context paragraph in question answering. We now discuss how we pretrain XLNet to model multiple segments in the autoregressive framework. During the pretraining phase, following BERT, we randomly sample two segments (either from the same context or not) and treat the concatenation of two segments as one sequence to perform permutation language modeling. We only reuse the memory that belongs to the same context. Specifically, the input to our model is the same as BERT: [CLS, A, SEP, B, SEP], where “SEP” and “CLS” are two special symbols and “A” and “B” are the two segments. Although we follow the two-segment data format, XLNet-Large does not use the objective of next sentence prediction [10] as it does not show consistent improvement in our ablation study (see Section 3.4).

Relative Segment Encodings  Architecturally, different from BERT that adds an absolute segment embedding to the word embedding at each position, we extend the idea of relative encodings from Transformer-XL to also encode the segments. Given a pair of positions i and j in the sequence, if i and j are from the same segment, we use a segment encoding 𝐬ij=𝐬+ or otherwise 𝐬ij=𝐬-, where 𝐬+ and 𝐬- are learnable model parameters for each attention head. In other words, we only consider whether the two positions are within the same segment, as opposed to considering which specific segments they are from. This is consistent with the core idea of relative encodings; i.e., only modeling the relationships between positions. When i attends to j, the segment encoding 𝐬ij is used to compute an attention weight aij=(𝐪i+𝐛)𝐬ij, where 𝐪i is the query vector as in a standard attention operation and 𝐛 is a learnable head-specific bias vector. Finally, the value aij is added to the normal attention weight. There are two benefits of using relative segment encodings. First, the inductive bias of relative encodings improves generalization [9]. Second, it opens the possibility of finetuning on tasks that have more than two input segments, which is not possible using absolute segment encodings.

2.6 Discussion

Comparing Eq. (2) and (5), we observe that both BERT and XLNet perform partial prediction, i.e., only predicting a subset of tokens in the sequence. This is a necessary choice for BERT because if all tokens are masked, it is impossible to make any meaningful predictions. In addition, for both BERT and XLNet, partial prediction plays a role of reducing optimization difficulty by only predicting tokens with sufficient context. However, the independence assumption discussed in Section 2.1 disables BERT to model dependency between targets.

To better understand the difference, let’s consider a concrete example [New, York, is, a, city]. Suppose both BERT and XLNet select the two tokens [New, York] as the prediction targets and maximize logp(New Yorkis a city). Also suppose that XLNet samples the factorization order [is, a, city, New, York]. In this case, BERT and XLNet respectively reduce to the following objectives:

𝒥BERT=logp(Newis a city)+logp(Yorkis a city),
𝒥XLNet=logp(Newis a city)+logp(YorkNew,is a city).

Notice that XLNet is able to capture the dependency between the pair (New, York), which is omitted by BERT. Although in this example, BERT learns some dependency pairs such as (New, city) and (York, city), it is obvious that XLNet always learns more dependency pairs given the same target and contains “denser” effective training signals.

For more formal analysis and further discussion, please refer to Appendix A.5.

3 Experiments

3.1 Pretraining and Implementation

Following BERT [10], we use the BooksCorpus [40] and English Wikipedia as part of our pretraining data, which have 13GB plain text combined. In addition, we include Giga5 (16GB text) [26], ClueWeb 2012-B (extended from [5]), and Common Crawl [6] for pretraining. We use heuristics to aggressively filter out short or low-quality articles for ClueWeb 2012-B and Common Crawl, which results in 19GB and 110GB text respectively. After tokenization with SentencePiece [17], we obtain 2.78B, 1.09B, 4.75B, 4.30B, and 19.97B subword pieces for Wikipedia, BooksCorpus, Giga5, ClueWeb, and Common Crawl respectively, which are 32.89B in total.

Our largest model XLNet-Large has the same architecture hyperparameters as BERT-Large, which results in a similar model size. During pretraining, we always use a full sequence length of 512. Firstly, to provide a fair comparison with BERT (section 3.2), we also trained XLNet-Large-wikibooks on BooksCorpus and Wikipedia only, where we reuse all pretraining hyper-parameters as in the original BERT. Then, we scale up the training of XLNet-Large by using all the datasets described above. Specifically, we train on 512 TPU v3 chips for 500K steps with an Adam weight decay optimizer, linear learning rate decay, and a batch size of 8192, which takes about 5.5 days. It was observed that the model still underfits the data at the end of training. Finally, we perform ablation study (section 3.4) based on the XLNet-Base-wikibooks.

Since the recurrence mechanism is introduced, we use a bidirectional data input pipeline where each of the forward and backward directions takes half of the batch size. For training XLNet-Large, we set the partial prediction constant K as 6 (see Section 2.3). Our finetuning procedure follows BERT [10] except otherwise specified33 3 Hyperparameters for pretraining and finetuning are in Appendix A.4.. We employ an idea of span-based prediction, where we first sample a length L[1,,5], and then randomly select a consecutive span of L tokens as prediction targets within a context of (KL) tokens.

We use a variety of natural language understanding datasets to evaluate the performance of our method. Detailed descriptions of the settings for all the datasets can be found in Appendix A.3.

3.2 Fair Comparison with BERT

Model SQuAD1.1 SQuAD2.0 RACE MNLI QNLI QQP RTE SST-2 MRPC CoLA STS-B
BERT-Large (Best of 3) 86.7/92.8 82.8/85.5 75.1 87.3 93.0 91.4 74.0 94.0 88.7 63.7 90.2
XLNet-Large-wikibooks 88.2/94.0 85.1/87.8 77.4 88.4 93.9 91.8 81.2 94.4 90.0 65.2 91.1
Table 1: Fair comparison with BERT. All models are trained using the same data and hyperparameters as in BERT. We use the best of 3 BERT variants for comparison; i.e., the original BERT, BERT with whole word masking, and BERT without next sentence prediction.

Here, we first compare the performance of BERT and XLNet in a fair setting to decouple the effects of using more data and the improvement from BERT to XLNet. In Table 1, we compare (1) best performance of three different variants of BERT and (2) XLNet trained with the same data and hyperparameters. As we can see, trained on the same data with an almost identical training recipe, XLNet outperforms BERT by a sizable margin on all the considered datasets.

3.3 Comparison with RoBERTa: Scaling Up

RACE Accuracy Middle High Model [email protected] [email protected]
GPT [28] 59.0 62.9 57.4 DRMM [13] 24.3 13.8
BERT [25] 72.0 76.6 70.1 KNRM [8] 26.9 14.9
BERT+DCMN* [38] 74.1 79.5 71.8 Conv [8] 28.7 18.1
RoBERTa [21] 83.2 86.5 81.8 BERT 30.53 18.67
XLNet 85.4 88.6 84.0 XLNet 31.10 20.28
Table 2: Comparison with state-of-the-art results on the test set of RACE, a reading comprehension task, and on ClueWeb09-B, a document ranking task. * indicates using ensembles. indicates our implementations. “Middle” and “High” in RACE are two subsets representing middle and high school difficulty levels. All BERT, RoBERTa, and XLNet results are obtained with a 24-layer architecture with similar model sizes (aka BERT-Large).
SQuAD2.0 EM F1 SQuAD1.1 EM F1
Dev set results (single model)
BERT [10] 78.98 81.77 BERT [10] 84.1 90.9
RoBERTa [21] 86.5 89.4 RoBERTa [21] 88.9 94.6
XLNet 87.9 90.6 XLNet 89.7 95.1
Test set results on leaderboard (single model, as of Dec 14, 2019)
BERT [10] 80.005 83.061 BERT [10] 85.083 91.835
RoBERTa [21] 86.820 89.795 BERT* [10] 87.433 93.294
XLNet 87.926 90.689 XLNet 89.898 95.080
Table 3: Results on SQuAD, a reading comprehension dataset. marks our runs with the official code. * indicates ensembles. : We are not able to obtain the test results of our latest model on SQuAD1.1 from the organizers after submitting our result for more than one month, and thus report the results of an older version for the SQuAD1.1 test set.
Model IMDB Yelp-2 Yelp-5 DBpedia AG Amazon-2 Amazon-5
CNN [15] - 2.90 32.39 0.84 6.57 3.79 36.24
DPCNN [15] - 2.64 30.58 0.88 6.87 3.32 34.81
Mixed VAT [31, 23] 4.32 - - 0.70 4.95 - -
ULMFiT [14] 4.6 2.16 29.98 0.80 5.01 - -
BERT [35] 4.51 1.89 29.32 0.64 - 2.63 34.17
XLNet 3.20 1.37 27.05 0.60 4.45 2.11 31.67
Table 4: Comparison with state-of-the-art error rates on the test sets of several text classification datasets. All BERT and XLNet results are obtained with a 24-layer architecture with similar model sizes (aka BERT-Large).
Model MNLI QNLI QQP RTE SST-2 MRPC CoLA STS-B WNLI
Single-task single models on dev
BERT [2] 86.6/- 92.3 91.3 70.4 93.2 88.0 60.6 90.0 -
RoBERTa [21] 90.2/90.2 94.7 92.2 86.6 96.4 90.9 68.0 92.4 -
XLNet 90.8/90.8 94.9 92.3 85.9 97.0 90.8 69.0 92.5 -
Multi-task ensembles on test (from leaderboard as of Oct 28, 2019)
MT-DNN* [20] 87.9/87.4 96.0 89.9 86.3 96.5 92.7 68.4 91.1 89.0
RoBERTa* [21] 90.8/90.2 98.9 90.2 88.2 96.7 92.3 67.8 92.2 89.0
XLNet* 90.9/90.9 99.0 90.4 88.5 97.1 92.9 70.2 93.0 92.5
Table 5: Results on GLUE. * indicates using ensembles, and denotes single-task results in a multi-task row. All dev results are the median of 10 runs. The upper section shows direct comparison on dev data and the lower section shows comparison with state-of-the-art results on the public leaderboard.

After the initial publication of our manuscript, a few other pretrained models were released such as RoBERTa [21] and ALBERT [19]. Since ALBERT involves increasing the model hidden size from 1024 to 2048/4096 and thus substantially increases the amount of computation in terms of FLOPs, we exclude ALBERT from the following results as it is hard to lead to scientific conclusions. To obtain relatively fair comparison with RoBERTa, the experiment in this section is based on full data and reuses the hyper-parameters of RoBERTa, as described in section 3.1.

The results are presented in Tables 2 (reading comprehension & document ranking), 3 (question answering), 4 (text classification) and 5 (natural language understanding), where XLNet generally outperforms BERT and RoBERTa. In addition, we make two more interesting observations:

  • For explicit reasoning tasks like SQuAD and RACE that involve longer context, the performance gain of XLNet is usually larger. This superiority at dealing with longer context could come from the Transformer-XL backbone in XLNet.

  • For classification tasks that already have abundant supervised examples such as MNLI (>390K), Yelp (>560K) and Amazon (>3M), XLNet still lead to substantial gains.

3.4 Ablation Study

We perform an ablation study to understand the importance of each design choice based on four datasets with diverse characteristics. Specifically, there are three main aspects we hope to study:

  • The effectiveness of the permutation language modeling objective alone, especially compared to the denoising auto-encoding objective used by BERT.

  • The importance of using Transformer-XL as the backbone neural architecture.

  • The necessity of some implementation details including span-based prediction, the bidirectional input pipeline, and next-sentence prediction.

With these purposes in mind, in Table 6, we compare 6 XLNet-Base variants with different implementation details (rows 3 - 8), the original BERT-Base model (row 1), and an additional Transformer-XL baseline trained with the denoising auto-encoding (DAE) objective used in BERT but with the bidirectional input pipeline (row 2). For fair comparison, all models are based on a 12-layer architecture with the same model hyper-parameters as BERT-Base and are trained on only Wikipedia and the BooksCorpus. All results reported are the median of 5 runs.

# Model RACE SQuAD2.0 MNLI SST-2
F1 EM m/mm
1 BERT-Base 64.3 76.30 73.66 84.34/84.65 92.78
2 DAE + Transformer-XL 65.03 79.56 76.80 84.88/84.45 92.60
3 XLNet-Base (K=7) 66.05 81.33 78.46 85.84/85.43 92.66
4 XLNet-Base (K=6) 66.66 80.98 78.18 85.63/85.12 93.35
5  - memory 65.55 80.15 77.27 85.32/85.05 92.78
6  - span-based pred 65.95 80.61 77.91 85.49/85.02 93.12
7  - bidirectional data 66.34 80.65 77.87 85.31/84.99 92.66
8  + next-sent pred 66.76 79.83 76.94 85.32/85.09 92.89
Table 6: The results of BERT on RACE are taken from [38]. We run BERT on the other datasets using the official implementation and the same hyperparameter search space as XLNet. K is a hyperparameter to control the optimization difficulty (see Section 2.3).

Examining rows 1 - 4 of Table 6, we can see both Transformer-XL and the permutation LM clearly contribute the superior performance of XLNet over BERT. Moreover, if we remove the memory caching mechanism (row 5), the performance clearly drops, especially for RACE which involves the longest context among the 4 tasks. In addition, rows 6 - 7 show that both span-based prediction and the bidirectional input pipeline play important roles in XLNet. Finally, we unexpectedly find the the next-sentence prediction objective proposed in the original BERT does not necessarily lead to an improvement in our setting. Hence, we exclude the next-sentence prediction objective from XLNet.

Finally, we also perform a qualitative study of the attention patterns, which is included in Appendix A.6 due to page limit.

4 Conclusions

XLNet is a generalized AR pretraining method that uses a permutation language modeling objective to combine the advantages of AR and AE methods. The neural architecture of XLNet is developed to work seamlessly with the AR objective, including integrating Transformer-XL and the careful design of the two-stream attention mechanism. XLNet achieves substantial improvement over previous pretraining objectives on various tasks.

Acknowledgments

The authors would like to thank Qizhe Xie and Adams Wei Yu for providing useful feedback on the project, Jamie Callan for providing the ClueWeb dataset, Youlong Cheng, Yanping Huang and Shibo Wang for providing ideas to improve our TPU implementation, Chenyan Xiong and Zhuyun Dai for clarifying the setting of the document ranking task. ZY and RS were supported by the Office of Naval Research grant N000141812861, the National Science Foundation (NSF) grant IIS1763562, the Nvidia fellowship, and the Siebel scholarship. ZD and YY were supported in part by NSF under the grant IIS-1546329 and by the DOE-Office of Science under the grant ASCR #KJ040201.

References

  • [1] R. Al-Rfou, D. Choe, N. Constant, M. Guo, and L. Jones (2018) Character-level language modeling with deeper self-attention. arXiv preprint arXiv:1808.04444. Cited by: §A.5.3.
  • [2] Anonymous (2018) BAM! born-again multi-task networks for natural language understanding. Note: anonymous preprint under review Cited by: Table 5.
  • [3] A. Baevski and M. Auli (2018) Adaptive input representations for neural language modeling. arXiv preprint arXiv:1809.10853. Cited by: §A.5.3.
  • [4] Y. Bengio and S. Bengio (2000) Modeling high-dimensional discrete data with multi-layer neural networks. In Advances in Neural Information Processing Systems, pp. 400–406. Cited by: §A.5.3.
  • [5] J. Callan, M. Hoy, C. Yoo, and L. Zhao (2009) Clueweb09 data set. Cited by: §3.1.
  • [6] C. Crawl (2019) Common crawl. URl: http://http://commoncrawl. org. Cited by: §3.1.
  • [7] A. M. Dai and Q. V. Le (2015) Semi-supervised sequence learning. In Advances in neural information processing systems, pp. 3079–3087. Cited by: §1, §1.
  • [8] Z. Dai, C. Xiong, J. Callan, and Z. Liu (2018) Convolutional neural networks for soft-matching n-grams in ad-hoc search. In Proceedings of the eleventh ACM international conference on web search and data mining, pp. 126–134. Cited by: §A.3.5, Table 2.
  • [9] Z. Dai, Z. Yang, Y. Yang, W. W. Cohen, J. Carbonell, Q. V. Le, and R. Salakhutdinov (2019) Transformer-xl: attentive language models beyond a fixed-length context. arXiv preprint arXiv:1901.02860. Cited by: §A.5.3, 1st item, §1, §2.4, §2.5, XLNet: Generalized Autoregressive Pretraining for Language Understanding.
  • [10] J. Devlin, M. Chang, K. Lee, and K. Toutanova (2018) Bert: pre-training of deep bidirectional transformers for language understanding. arXiv preprint arXiv:1810.04805. Cited by: §A.3.2, §1, §1, §1, 2nd item, §2.5, §3.1, §3.1, Table 3.
  • [11] W. Fedus, I. Goodfellow, and A. M. Dai (2018) MaskGAN: better text generation via filling in the_. arXiv preprint arXiv:1801.07736. Cited by: §1.
  • [12] M. Germain, K. Gregor, I. Murray, and H. Larochelle (2015) Made: masked autoencoder for distribution estimation. In International Conference on Machine Learning, pp. 881–889. Cited by: §1.
  • [13] J. Guo, Y. Fan, Q. Ai, and W. B. Croft (2016) A deep relevance matching model for ad-hoc retrieval. In Proceedings of the 25th ACM International on Conference on Information and Knowledge Management, pp. 55–64. Cited by: Table 2.
  • [14] J. Howard and S. Ruder (2018) Universal language model fine-tuning for text classification. arXiv preprint arXiv:1801.06146. Cited by: Table 4.
  • [15] R. Johnson and T. Zhang (2017) Deep pyramid convolutional neural networks for text categorization. In Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pp. 562–570. Cited by: Table 4.
  • [16] V. Kocijan, A. Cretu, O. Camburu, Y. Yordanov, and T. Lukasiewicz (2019) A surprisingly robust trick for winograd schema challenge. arXiv preprint arXiv:1905.06290. Cited by: §A.3.4.
  • [17] T. Kudo and J. Richardson (2018) SentencePiece: a simple and language independent subword tokenizer and detokenizer for neural text processing. arXiv preprint arXiv:1808.06226. Cited by: §3.1.
  • [18] G. Lai, Q. Xie, H. Liu, Y. Yang, and E. Hovy (2017) RACE: large-scale reading comprehension dataset from examinations. arXiv preprint arXiv:1704.04683. Cited by: §A.3.1.
  • [19] Z. Lan, M. Chen, S. Goodman, K. Gimpel, P. Sharma, and R. Soricut (2019) ALBERT: a lite bert for self-supervised learning of language representations. arXiv preprint arXiv:1909.11942. Cited by: §3.3.
  • [20] X. Liu, P. He, W. Chen, and J. Gao (2019) Multi-task deep neural networks for natural language understanding. arXiv preprint arXiv:1901.11504. Cited by: §A.3.4, Table 5.
  • [21] Y. Liu, M. Ott, N. Goyal, J. Du, M. Joshi, D. Chen, O. Levy, M. Lewis, L. Zettlemoyer, and V. Stoyanov (2019) Roberta: a robustly optimized bert pretraining approach. arXiv preprint arXiv:1907.11692. Cited by: §3.3, Table 2, Table 3, Table 5.
  • [22] B. McCann, J. Bradbury, C. Xiong, and R. Socher (2017) Learned in translation: contextualized word vectors. In Advances in Neural Information Processing Systems, pp. 6294–6305. Cited by: §1.
  • [23] T. Miyato, A. M. Dai, and I. Goodfellow (2016) Adversarial training methods for semi-supervised text classification. arXiv preprint arXiv:1605.07725. Cited by: §A.3.3, Table 4.
  • [24] A. v. d. Oord, N. Kalchbrenner, and K. Kavukcuoglu (2016) Pixel recurrent neural networks. arXiv preprint arXiv:1601.06759. Cited by: §A.5.3.
  • [25] X. Pan, K. Sun, D. Yu, H. Ji, and D. Yu (2019) Improving question answering with external knowledge. arXiv preprint arXiv:1902.00993. Cited by: Table 2.
  • [26] R. Parker, D. Graff, J. Kong, K. Chen, and K. Maeda (2011) English gigaword fifth edition, linguistic data consortium. Technical report, Technical Report. Linguistic Data Consortium, Philadelphia, Tech. Rep.. Cited by: §3.1.
  • [27] M. E. Peters, M. Neumann, M. Iyyer, M. Gardner, C. Clark, K. Lee, and L. Zettlemoyer (2018) Deep contextualized word representations. arXiv preprint arXiv:1802.05365. Cited by: §A.5.2, §1, §1.
  • [28] A. Radford, K. Narasimhan, T. Salimans, and I. Sutskever (2018) Improving language understanding by generative pre-training. URL https://s3-us-west-2. amazonaws. com/openai-assets/research-covers/languageunsupervised/language understanding paper. pdf. Cited by: §A.5.2, §1, §1, Table 2.
  • [29] P. Rajpurkar, R. Jia, and P. Liang (2018) Know what you don’t know: unanswerable questions for squad. arXiv preprint arXiv:1806.03822. Cited by: §A.3.1, §A.3.2.
  • [30] P. Rajpurkar, J. Zhang, K. Lopyrev, and P. Liang (2016) Squad: 100,000+ questions for machine comprehension of text. arXiv preprint arXiv:1606.05250. Cited by: §A.3.2.
  • [31] D. S. Sachan, M. Zaheer, and R. Salakhutdinov (2018) Revisiting lstm networks for semi-supervised text classification via mixed objective function. Cited by: Table 4.
  • [32] B. Uria, M. Côté, K. Gregor, I. Murray, and H. Larochelle (2016) Neural autoregressive distribution estimation. The Journal of Machine Learning Research 17 (1), pp. 7184–7220. Cited by: §A.5.3, §1, §2.2.
  • [33] A. Vaswani, N. Shazeer, N. Parmar, J. Uszkoreit, L. Jones, A. N. Gomez, Ł. Kaiser, and I. Polosukhin (2017) Attention is all you need. In Advances in neural information processing systems, pp. 5998–6008. Cited by: §2.3.
  • [34] A. Wang, A. Singh, J. Michael, F. Hill, O. Levy, and S. R. Bowman (2019) GLUE: a multi-task benchmark and analysis platform for natural language understanding. Note: In the Proceedings of ICLR. Cited by: §A.3.4.
  • [35] Q. Xie, Z. Dai, E. Hovy, M. Luong, and Q. V. Le (2019) Unsupervised data augmentation. arXiv preprint arXiv:1904.12848. Cited by: Table 4.
  • [36] C. Xiong, Z. Dai, J. Callan, Z. Liu, and R. Power (2017) End-to-end neural ad-hoc ranking with kernel pooling. In Proceedings of the 40th International ACM SIGIR conference on research and development in information retrieval, pp. 55–64. Cited by: §A.3.5.
  • [37] Z. Yang, Z. Dai, R. Salakhutdinov, and W. W. Cohen (2017) Breaking the softmax bottleneck: a high-rank rnn language model. arXiv preprint arXiv:1711.03953. Cited by: §A.5.1.
  • [38] S. Zhang, H. Zhao, Y. Wu, Z. Zhang, X. Zhou, and X. Zhou (2019) Dual co-matching network for multi-choice reading comprehension. arXiv preprint arXiv:1901.09381. Cited by: Table 2, Table 6.
  • [39] X. Zhang, J. Zhao, and Y. LeCun (2015) Character-level convolutional networks for text classification. In Advances in neural information processing systems, pp. 649–657. Cited by: §A.3.3.
  • [40] Y. Zhu, R. Kiros, R. Zemel, R. Salakhutdinov, R. Urtasun, A. Torralba, and S. Fidler (2015) Aligning books and movies: towards story-like visual explanations by watching movies and reading books. In Proceedings of the IEEE international conference on computer vision, pp. 19–27. Cited by: §3.1.

Appendix A Target-Aware Representation via Two-Stream Self-Attention

A.1 A Concrete Example of How Standard LM Parameterization Fails

In this section, we provide a concrete example to show how the standard language model parameterization fails under the permutation objective, as discussed in Section 2.3. Specifically, let’s consider two different permutations 𝐳(1) and 𝐳(2) satisfying the following relationship

𝐳<t(1)=𝐳<t(2)=𝐳<tbutzt(1)=ij=zt(2).

Then, substituting the two permutations respectively into the naive parameterization, we have

pθ(Xi=x𝐱𝐳<t)zt(1)=i,𝐳<t(1)=𝐳<t=pθ(Xj=x𝐱𝐳<t)zt(1)=j,𝐳<t(2)=𝐳<t=exp(e(x)h(𝐱𝐳<t))xexp(e(x)h(𝐱𝐳<t)).

Effectively, two different target positions i and j share exactly the same model prediction. However, the ground-truth distribution of two positions should certainly be different.

A.2 Two-Stream Attention

Here, we provide the implementation details of the two-stream attention with a Transformer-XL backbone.

Initial represetation:
t=1,,T:ht =e(xt)andgt=w
Cached layer-m content represetation (memory) from previous segment: 𝐡~(m)
For the Transformer-XL layer m=1,,M, attention with relative positional encoding and position-wise feed-forward are consecutively employed to update the represetntations:
t=1,,T:h^zt(m) =LayerNorm(hzt(m-1)+RelAttn(hzt(m-1),[𝐡~(m-1),𝐡𝐳t(m-1)]))
hzt(m) =LayerNorm(h^zt(m)+PosFF(h^zt(m)))
g^zt(m) =LayerNorm(gzt(m-1)+RelAttn(gzt(m-1),[𝐡~(m-1),𝐡𝐳<t(m-1)]))
gzt(m) =LayerNorm(g^zt(m)+PosFF(g^zt(m)))
Target-aware prediction distribution:
pθ(Xzt=x𝐱z<t) =exp(e(x)gzt(M))xexp(e(x)gzt(M)),

A.3 Datasets

A.3.1 RACE Dataset

The RACE dataset [18] contains near 100K questions taken from the English exams for middle and high school Chinese students in the age range between 12 to 18, with the answers generated by human experts. This is one of the most difficult reading comprehension datasets that involve challenging reasoning questions. Moreover, the average length of the passages in RACE are longer than 300, which is significantly longer than other popular reading comprehension datasets such as SQuAD [29]. As a result, this dataset serves as a challenging benchmark for long text understanding. We use a sequence length of 512 during finetuning.

A.3.2 SQuAD

SQuAD is a large-scale reading comprehension dataset with two tasks. SQuAD1.1 [30] contains questions that always have a corresponding answer in the given passages, while SQuAD2.0 [29] introduces unanswerable questions. To finetune an XLNet on SQuAD2.0, we jointly apply a logistic regression loss for answerability prediction similar to classification tasks and a standard span extraction loss for question answering [10].

A.3.3 Text classification Datasets

Following previous work on text classification [39, 23], we evaluate XLNet on the following benchmarks: IMDB, Yelp-2, Yelp-5, DBpedia, AG, Amazon-2, and Amazon-5.

A.3.4 GLUE Dataset

The GLUE dataset [34] is a collection of 9 natural language understanding tasks. The test set labels are removed from the publicly released version, and all the practitioners must submit their predictions on the evaluation server to obtain test set results. In Table 5, we present results of multiple settings, including single-task and multi-task, as well as single models and ensembles. In the multi-task setting, we jointly train an XLNet on the four largest datasets—MNLI, SST-2, QNLI, and QQP—and finetune the network on the other datasets. Only single-task training is employed for the four large datasets. For QNLI, we employed a pairwise relevance ranking scheme as in [20] for our test set submission. However, for fair comparison with BERT, our result on the QNLI dev set is based on a standard classification paradigm. For WNLI, we use the loss described in [16].

A.3.5 ClueWeb09-B Dataset

Following the setting in previous work [8], we use the ClueWeb09-B dataset to evaluate the performance on document ranking. The queries were created by the TREC 2009-2012 Web Tracks based on 50M documents and the task is to rerank the top 100 documents retrieved using a standard retrieval method. Since document ranking, or ad-hoc retrieval, mainly concerns the low-level representations instead of high-level semantics, this dataset serves as a testbed for evaluating the quality of word embeddings. We use a pretrained XLNet to extract word embeddings for the documents and queries without finetuning, and employ a kernel pooling network [36] to rank the documents.

A.4 Hyperparameters

A.4.1 Pretraining Hyperparameters

Hparam Value
Number of layers 24
Hidden size 1024
Number of attention heads 16
Attention head size 64
FFN inner hidden size 4096
Hidden Dropout 0.1
GeLU Dropout 0.0
Attention dropout 0.1
Partial prediction K 6
Max sequence length 512
Batch size 8192
Learning rate 4e-4
Number of steps 500K
Warmup steps 40,000
Learning rate decay linear
Adam epsilon 1e-6
Weight decay 0.01
Table 7: Hyperparameters for pretraining.

The hyperparameters used for pretraining XLNet are shown in Table 7.

A.4.2 Hyperparameters for Finetuning

Hparam RACE SQuAD MNLI Yelp-5
Dropout 0.1
Attention dropout 0.1
Max sequence length 512 512 128 512
Batch size 32 48 128 128
Learning rate 2e-5 3e-5 2e-5 1e-5
Number of steps 12K 8K 10K 10K
Learning rate decay linear
Weight decay 0.01
Adam epsilon 1e-6 1e-6 1e-6 1e-6
Layer-wise lr decay 1.0 0.75 1.0 1.0
Table 8: Hyperparameters for finetuning.

The hyperparameters used for finetuning XLNet on various tasks are shown in Table 8. “Layer-wise decay” means exponentially decaying the learning rates of individual layers in a top-down manner. For example, suppose the 24-th layer uses a learning rate l, and the Layer-wise decay rate is α, then the learning rate of layer m is lα24-m.

A.5 Discussion and Analysis

A.5.1 Comparison with BERT

To prove a general point beyond one example, we now turn to more formal expressions. Inspired by previous work [37], given a sequence 𝐱=[x1,,xT], we define a set of target-context pairs of interest, ={(x,𝒰)}, where 𝒰 is a set of tokens in 𝐱 that form a context of x. Intuitively, we want the model to learn the dependency of x on 𝒰 through a pretraining loss term logp(x𝒰). For example, given the above sentence, the pairs of interest could be instantiated as:

={(x=York,𝒰={New}),(x=York,𝒰={city}),(x=York,𝒰={New, city}),}.

Note that is merely a virtual notion without unique ground truth, and our analysis will hold regardless of how is instantiated.

Given a set of target tokens 𝒯 and a set of non-target tokens 𝒩=𝐱\𝒯, BERT and XLNet both maximize logp(𝒯𝒩) but with different formulations:

𝒥BERT=x𝒯logp(x𝒩);𝒥XLNet=x𝒯logp(x𝒩𝒯<x)

where 𝒯<x denote tokens in 𝒯 that have a factorization order prior to x. Both objectives consist of multiple loss terms in the form of logp(x𝒱x). Intuitively, if there exists a target-context pair (x,𝒰) such that 𝒰𝒱x, then the loss term logp(x𝒱x) provides a training signal to the dependency between x and 𝒰. For convenience, we say a target-context pair (x,𝒰) is covered by a model (objective) if 𝒰𝒱x.

Given the definition, let’s consider two cases:

  • If 𝒰𝒩, the dependency (x,𝒰) is covered by both BERT and XLNet.

  • If 𝒰𝒩𝒯<x and 𝒰𝒯<x, the dependency can only be covered by XLNet but not BERT. As a result, XLNet is able to cover more dependencies than BERT. In other words, the XLNet objective contains more effective training signals, which empirically leads to better performance in Section 3.

A.5.2 Comparison with Language Modeling

Borrowing examples and notations from Section A.5.1, a standard AR language model like GPT [28] is only able to cover the dependency (x=York,𝒰={New}) but not (x=New,𝒰={York}). XLNet, on the other hand, is able to cover both in expectation over all factorization orders. Such a limitation of AR language modeling can be critical in real-world applications. For example, consider a span extraction question answering task with the context “Thom Yorke is the singer of Radiohead” and the question “Who is the singer of Radiohead”. The representations of “Thom Yorke” are not dependent on “Radiohead” with AR language modeling and thus they will not be chosen as the answer by the standard approach that employs softmax over all token representations. More formally, consider a context-target pair (x,𝒰):

  • If 𝒰𝒯<x, where 𝒯<x denotes the tokens prior to x in the original sequence, AR language modeling is not able to cover the dependency.

  • In comparison, XLNet is able to cover all dependencies in expectation.

Approaches like ELMo [27] concatenate forward and backward language models in a shallow manner, which is not sufficient for modeling deep interactions between the two directions.

A.5.3 Bridging the Gap Between Language Modeling and Pretraining

With a deep root in density estimation44 4 The problem of language modeling is essentially density estimation for text data. [4, 32, 24], language modeling has been a rapidly-developing research area [9, 1, 3]. However, there has been a gap between language modeling and pretraining due to the lack of the capability of bidirectional context modeling, as analyzed in Section A.5.2. It has even been challenged by some machine learning practitioners whether language modeling is a meaningful pursuit if it does not directly improve downstream tasks 55 5 https://openreview.net/forum?id=HJePno0cYm. XLNet generalizes language modeling and bridges such a gap. As a result, it further “justifies” language modeling research. Moreover, it becomes possible to leverage the rapid progress of language modeling research for pretraining. As an example, we integrate Transformer-XL into XLNet to demonstrate the usefulness of the latest language modeling progress.

A.6 Qualitative Analysis of Attention Patterns

We compare the attention pattern of BERT and XLNet without finetuning. Firstly, we found 4 typical patterns shared by both, as shown in Fig. 2.

(a) Content stripes
(b) Local/Self focus
(c) Two segments
(d) Content-based symmetry
Figure 2: Attention patterns shared by XLNet and BERT. Rows and columns represent query and key respectively.

More interestingly, in Fig. 3, we present 3 patterns that only appear in XLNet but not BERT: (a) The self-exclusion pattern attends to all other tokens but itself, probably offering a fast way to gather global information; (b) The relative-stride pattern attends to positions every a few stride apart relative to the query position; (c) The one-side masked pattern is very similar to the lower-left part of Fig. 1-(d), with the upper-right triangle masked out. It seems that the model learns not to attend the relative right half. Note that all these three unique patterns involve the relative positions rather than absolute ones, and hence are likely enabled by the “relative attention” mechanism in XLNet. We conjecture these unique patterns contribute to the performance advantage of XLNet. On the other hand, the proposed permutation LM objective mostly contributes to a better data efficiency, whose effects may not be obvious from qualitative visualization.

(a) Self exclusion
(b) Relative stride
(c) One-side masked
Figure 3: Attention patterns that appear only in XLNet. Rows and columns represent query and key respectively.

A.7 Visualizing Memory and Permutation

Figure 4: Illustration of the permutation language modeling objective for predicting x3 given the same input sequence 𝐱 but with different factorization orders.

In this section, we provide a detailed visualization of the proposed permutation language modeling objective, including the mechanism of reusing memory (aka the recurrence mechanism), how we use attention masks to permute the factorization order, and the difference of the two attention streams.

As shown in Figure 5 and 6, given the current position zt, the attention mask is decided by the permutation (or factorization order) 𝐳 such that only tokens the occur before zt in the permutation can be attended; i.e., positions zi with i<t. Moreover, comparing Figure 5 and 6, we can see how the query stream and the content stream work differently with a specific permutation through attention masks. The main difference is that the query stream cannot do self-attention and does not have access to the token at the position, while the content stream performs normal self-attention.

Figure 5: A detailed illustration of the content stream of the proposed objective with both the joint view and split views based on a length-4 sequence under the factorization order [3, 2, 4, 1].
Note that if we ignore the query representation, the computation in this figure is simply the standard self-attention, though with a particular attention mask.
Figure 6: A detailed illustration of the query stream of the proposed objective with both the joint view and split views based on a length-4 sequence under the factorization order [3, 2, 4, 1].
The dash arrows indicate that the query stream cannot access the token (content) at the same position, but only the location information.