C OMPRESSIVE T RANSFORMERS
FOR
L
ONG -
R ANGE
S EQUENCE M ODELLING
Anonymous authors
Paper under double-blind review
A BSTRACT
We present the Compressive Transformer, an attentive sequence model which compresses past memories for long-range sequence learning.
We ﬁnd the Compressive Transformer obtains state-of-the-art language modelling results in the
WikiText-103 and Enwik8 benchmarks, achieving 17 .
1 ppl and 0 .
97 bpc respectively.
We also ﬁnd it can model high-frequency speech effectively and can be used as a memory mechanism for RL, demonstrated on an object matching task
To promote the domain of long-range sequence learning, we propose a new openvocabulary language modelling benchmark derived from books, PG-
I NTRODUCTION
Humans have a remarkable ability to remember information over long time horizons.
When reading a book, we build up a compressed representation of the past narrative, such as the characters and events that have built up the story so far.
We can do this even if they are separated by thousands of words from the current text, or long stretches of time between readings.
During daily life, we make use of memories at varying time-scales: from locating the car keys, placed in the morning, to recalling the name of an old friend from decades ago.
These feats of memorisation are not achieved by storing every sensory glimpse throughout one’s lifetime, but via lossy compression.
We aggressively select, ﬁlter, or integrate input stimuli based on factors of surprise, perceived danger, or repetition — amongst other signals (Richards and Frankland, 2017).
Memory systems in artiﬁcial neural networks began with very compact representations of the past.
Recurrent neural networks (RNNs, Rumelhart et al.
learn to represent the history of observations in a compressed state vector.
The state is compressed because it uses far less space than the history of observations — the model only preserving information that is pertinent to the optimization of the loss.
The LSTM (Hochreiter and Schmidhuber, 1997) is perhaps the most ubiquitous RNN variant; it
uses learned gates on its state vector to determine what information is stored
or
forgotten from memory
However since the LSTM, there has been great beneﬁt discovered in not bottlenecking all historical information in the state, but instead in keeping past activations around in an external memory and attending to them.
The Transformer (Vaswani et al., 2017) is a sequence model which stores the hidden activation of every time-step, and integrates this information using an attention operator (Bahdanau et al., 2014).
The Transformer will thus represent the past with a tensor (depth × memory size × dimension) of past observations that is, in practice, an order of magnitude larger than an
LSTM’s hidden state.
With this granular memory, the Transformer has brought about a step-change in state-of-the-art performance, within machine translation (Vaswani et al., 2017), language modelling (Dai et al., 2019; Shoeybi et al., 2019), video captioning (Zhou et al., 2018), and a multitude of language understanding benchmarks (Devlin et al., 2018; Yang et al., 2019) amongst others.
One drawback in storing everything is the computational cost of attending to every time-step and the storage cost of preserving this large memory.
Several works have focused on reducing the computational cost of attention with sparse access mechanisms (Rae et al., 2016; Child et al., 2019;
Sukhbaatar et al., 2019; Lample et al., 2019).
However sparse attention does not solve the storage problem, and often requires custom sparse kernels for efﬁcient implementation.
Instead we look back to the notion of compactly representing the past.
We show this can be built with simple dense linear-algebra components, such as convolutions, and can reduce both the space and compute cost of our models.
We propose the Compressive Transformer, a simple extension to the Transformer which maps past hidden activations (memories) to a smaller set of compressed representations (compressed memories).
The Compressive Transformer uses the same attention mechanism over its set of memories and compressed memories, learning to query both its short-term granular memory and longer-term coarse memory.
We observe this improves the modelling of text, achieving state-of-the-art results in character-based language modelling — 0 .
97 bpc on Enwik8 from the Hutter Prize (Hutter, 2012) — and word-level language modelling — 17 . 1 perplexity on WikiText-103 (Merity et al., 2016).
Speciﬁcally, we see the Compressive Transformer improves the modelling of rare words.
We show the Compressive Transformer works not only for language, but can also model the waveform of high-frequency speech with a trend of lower likelihood than the TransformerXL and
Wavenet (Oord et al., 2016) when trained over 400,000 steps.
We also show the Compressive Transformer can be used as a memory component within an RL agent, IMPALA (Espeholt et al., 2018), and can successfully compress and make use of past observations.
Furthermore we present a new book-level language-modelling benchmark PG-19, extracted from texts in Project Gutenberg 1 , to further promote the direction of long-context sequence modelling.
This is over double the size of existing LM benchmarks and contains text with much longer contexts.
R ELATED W ORK
There have been a variety of recent attempts to extend the range of attention, particularly in the
Transformer, or to replace the attention operation with something less expensive.
Wu et al.
(2019) show that a convolution-like operator that runs in linear time can actually exceed the performance of the quadratic-time self-attention layer in the Transformer at sentence-to-sentence translation and sentence-level language modelling.
However such a mechanism inhibits the ﬂow of information across a large number of time-steps for a given layer, and has not shown to be beneﬁcial for longrange sequence modelling.
Dai et al.
(2019) propose the TransformerXL, which keeps past activations around in memory.
They also propose a novel relative positional embedding scheme which they see outperforms the Transformer’s original absolute positional system.
Our model incorporates both of these ideas, the use of a memory to preserve prior activations and their relative positional embedding scheme.
The Sparse Transformer (Child et al., 2019) uses ﬁxed sparse attention masks to attend to roughly √ n locations in memory.
This approach still requires keeping all memories around during training, however with careful re-materialization of activations and custom kernels, the authors are able to train the model with a reasonable budget of memory and compute.
When run on Enwik8, the much larger attention window of 8 , 000 improves model performance, but overall it does not signiﬁcantly outperform a simpler TransformerXL with a much smaller attention window.
The use of dynamic attention spans is explored in Sukhbaatar et al.
Different attention heads can learn to have shorter or longer spans of attention — and they observe this achieves state-ofthe-art in character-based language modelling.
This idea could easily be combined with our contribution — a compressive memory.
However an efﬁcient implementation is not possible on current dense-linear-algebra accelerators, such as Google’s TPUs, due to the need for dynamic and sparse computation.
Our approach builds on simple dense linear algebra components, such as convolutions.
M ODEL
We present the Compressive Transformer, a long-range sequence model which compacts past activations into a compressed memory.
The Compressive Transformer is a variant of the Transformer (Vaswani et al., 2017), a deep residual network which only uses attention to propagate information over time (namely multi-head attention ).
We build on the ideas of the TransformerXL
(Dai et al., 2019) which maintains a memory of past activations at each layer to maintain a longer history of [Figure] context.
The TransformerXL discards past activations when they become sufﬁciently old (controlled by the size of the memory).
The key principle of the Compressive Transformer is to compress these old memories, instead of discarding them, and store them in an additional compressed memory .
3. D ESCRIPTION
We deﬁne n m and n cm to be the number of respective memory and compressive memory slots in the model per layer.
The overall input sequence S = x 1 , x 2 , . . .
, x | s | represents input observations (e.g. tokens from a book).
These are split into ﬁxed-size windows of size n s for the model to process in parallel. The model observes x = x t , . . .
, x t + n s at time t , which we refer to as the sequence (e.g. in
Figure 1).
As the model moves to the next sequence, its n s hidden activations are pushed into a ﬁxedsized FIFO memory (like the TransformerXL).
The oldest n s activations in memory are evicted, but unlike the TransformerXL we do not discard them.
Instead we apply a compression operation , f c : R n s × d → R (cid:98) nsc (cid:99)× d , mapping the n s oldest memories to (cid:98) n s c (cid:99) compressed memories which we then store in a secondary FIFO compressed memory .
d denotes the hidden size of activations and c refers to the compression rate, a higher value indicates more coarse-grained compressed memories.
The full architecture is described in Algorithm 1.
1: h (1) ← xW emb // Embed inputs ( n s × d ) 2: for layer i = 1 , 2 , . . .
, l do 3: mem ( i ) ← concat( cm ( i ) , m ( i ) ) // ( ( n cm + n m ) × d ) 4: ˜a ( i ) ← multihead attention ( i ) ( h ( i ) , mem ( i ) ) //
MHA over both mem types ( n s × d ) 5: a ( i ) ← layer norm( ˜a ( i ) + h ( i ) ) // Regular skip + layernorm ( n cm × d ) 6: old mem ( i ) ← m ( i ) [: n s ] //
Oldest memories to be forgotten ( n s × d ) 7: new cm ( i ) ← f ( i ) c ( old mem ( i ) ) //
Compress oldest memories by factor c ( (cid:98) n s c (cid:99) × d ) 8: m ( i ) ← concat ( m ( i ) , h ( i ) )
[ − n m :] //
Update memory ( n m × d ) 9: cm ( i ) ← concat ( cm ( i ) , new cm ( i ) ) [ − n cm :] // Update compressed memory ( n cm × d ) 10: h ( i + 1 ) ← layer norm(mlp ( i ) ( a ( i ) ) + a ( i ) ) //
Mixing MLP ( n s × d ) 3. C OMPRESSION F UNCTIONS AND L OSSES For choices of compression functions f c we consider (1) max/mean pooling , where the kernel and stride is set to the compression rate c ; (2) 1D convolution also with kernel & stride set to c ; (3) dilated convolutions ; (4) most-used where the memories are sorted by their average attention (usage) and the most-used are preserved. The pooling is used as a fast and simple baseline.
The most-used compression scheme is inspired from the garbage collection mechanism in the Differentiable Neural Computer (Graves et al., 2016) where low-usage memories are erased.
The convolutional compression functions contain parameters which require training.
1: L attn ←2: for layer i = 1 , 2 , . . . , l do 3: h ( i ) ← stop gradient ( h ( i ) ) //
Stop compression grads from passing... 4: old mem ( i ) ← stop gradient ( old mem ( i ) ) // ...into transformer network.
Q , K , V ← stop gradient(attention params at layer i) // Re-use attention parameters. 6: def attn ( h , m ) ← σ (( hQ ) ( mK )) ( mV ) //
Use content-based attention.
L attn ← L attn + || attn ( h ( i ) , old mem ( i ) ) − attn ( h ( i ) , new cm ( i ) )
||
One can train these compression networks using gradients from the loss; however for very old memories this requires backpropagating-through-time ( BPTT ) over long unrolls.
As such we also consider some local auxiliary compression losses.
We consider an auto-encoding loss where we reconstruct the original memories from the compressed memories L ae =
|| old mem ( i ) − g ( new cm ( i ) ) || 2 , where g : R nsc × d → R n s × d is learned.
This is a lossless compression objective — it attempts to retain all information in memory.
We also consider an attention-reconstruction loss described in Algorithm 2 which reconstructs the attention over memory, with attention over the compressed memories.
This is a lossy objective, as information which is no longer attended to can be discarded, and we found this worked best.
We stop compression loss gradients from passing into the main network as this prevents learning. Instead the Transformer optimizes the task objective and the compression network optimizes the compression objective conditioned on task-relevant representations; there is no need to mix the losses with a tuning constant. 3. T EMPORAL R ANGE
The TransformerXL with a memory of size n has a maximum temporal range of l × n with an attention cost of O ( n 2 s + n s n ) (see Dai et al. for a detailed discussion). The Compressive Transformer now has a maximum temporal range of l × ( n m + c ∗ n cm ) with an attention cost of
{+O ( n 2 s + n s ( n m + n cm )) . For example, setting n cm = n m = n/ 2 and c = 
 we obtain a maximum temporal range that is two times greater than+} the TransformerXL with an identical attention cost. Thus if we can learn in the c > 1 compressed setting, the temporal range of the model can be signiﬁcantly increased.
PG-19 B ENCHMARK
As models begin to incorporate longer-range memories, it is important to train and benchmark them on data containing larger contexts.
Natural language in the form of text provides us with a vast repository of data containing long-range dependencies, that is easily accessible.
We propose a new language modelling benchmark, PG-19 , using text from books extracted from Project Gutenberg 2 .
We select Project Gutenberg books which were published over 100 years old, i.e. before(hence the name PG-19) to avoid complications with international copyright, and remove short texts.
The dataset contains 28 , 752 books, or 11 GB of text — which makes it over double the size of BookCorpus and Billion Word Benchmark.
4. R ELATED D ATASETS
The two most benchmarked word-level language modelling datasets either stress the modelling of stand-alone sentences (Billion Word Benchmark from Chelba et al.
or the modelling of a small selection of short news articles (Penn Treebank processed by Mikolov et al.
Merity et al.
(2016) proposed the WikiText-103 dataset, which contains text from a high quality subset of English-language wikipedia articles.
These articles are on average 3 , 600 words long.
This dataset has been a popular recent LM benchmark due to the potential to exploit longer-range dependencies [Table]
(Grave et al., 2016; Rae et al., 2018; Bai et al., 2018b).
However recent Transformer models, such as the TransformerXL (Dai et al., 2019) appear to be able to exploit temporal dependencies on the order of several thousand words.
This motivates a larger dataset with longer contexts.
Books are a natural choice of long-form text, and provide us with stylistically rich and varied natural language.
Texts extracted from books have been used for prior NLP benchmarks; such as the Children’s Book Test (Hill et al., 2015) and LAMBADA (Paperno et al., 2016).
These benchmarks use text from Project Gutenberg, an online repository of books with expired US copyright, and BookCorpus (Zhu et al., 2015), a prior dataset of 11 K unpublished (at time of authorship) books.
CBT and LAMBADA contain extracts from books, with a speciﬁc task of predicting held-out words.
In the case of LAMBADA the held-out word is speciﬁcally designed to be predictable for humans with access to the full textual context — but difﬁcult to guess with only a local context.
CBT and LAMBADA are useful for probing the linguistic intelligence of models, but are not ideal for training long-range language models from scratch as they truncate text extracts to at most a couple of paragraphs, and discard a lot of the books’ text.
There has been prior work on training models on book data using BookCorpus directly (e.g. BERT from Devlin et al.
however
BookCorpus is no longer distributed due to licensing issues, and the source of data is dynamically changing — which makes exact benchmarking difﬁcult over time.
The NarrativeQA Book Comprehension Task (Ko ˇ cisk ` y et al., 2018) uses Project Gutenberg texts paired with Wikipedia articles, which can be used as summaries.
Due to the requirement of needing a corresponding summary, NarrativeQA contains a smaller selection of books: 1,527 versus the 28,752 books in PG-19.
However it is reasonable that PG-19 may be useful for pre-training book summarisation models.
4. S TATISTICS
A brief comparison of PG-19 to other LM datasets can be found in Table 1.
We intentionally do not limit the vocabulary by unk-ing rare words, and release the dataset as an open-vocabulary benchmark.
To compare models we propose to continue measuring the word-level perplexity. This can still be computed for any chosen character-based, byte-based or subword-based scheme. To do this, one calculates the total cross-entropy loss L = − (cid:80) t log( p t | p <t ) over the given validation or test subset using their tokenization scheme of choice, and then normalizes this by the number of words: L/n words where n words is the total number of words in the given subset, taken from Table 2.
The word-level perplexity is thus e L/n words .
For sake of model comparisons, it is important to use the exact number of word computed in Table 2 as the normalisation constant.
Alongside quantitative analyses, we build an LDA topic model (Blei et al., 2003) for a qualitative inspection of the text. We present key words for several topics in the Supplementary Table 10.
These topics include art, education, naval exploration, geographical description, war, ancient civilisations, and more poetic topics concerning the human condition — love, society, religion, virtue etc.
This contrasts to the more objective domains of Wikipedia and news corpora.
E XPERIMENTS
We optimised all models with Adam (Kingma and Ba, 2014).
We used a learning rate schedule with a linear warmup from 1 e- 6 to 3 e- 4 and a cosine decay back down to 1 e- n 6 .
For characterbased LM we used 4 , 000 warmup steps with 100 , 000 decay steps, and for word-based LM we used 16 , 000 warmup steps with 500 , 000 decay steps. We found that decreasing the optimisation update [Table]
[Table] [Table] [Table] frequency helped (see Section 5.5.1), namely we only applied parameter update every 4 steps after 60 , 000 iterations.
However we found the models would optimise well for a range of warmup/warmdown values.
We clipped the gradients to have a norm of at most 0 . 1 , which was crucial to successful optimisation.
5. PG-
We benchmark the Compressive Transformer against the TransformerXL on the newly proposed PG19 books dataset.
Because it is open-vocabulary, we train a subword vocabulary of size 32000 with
SubwordTextEncoder from the tfds package in TensorFlow and use the dataset statistics to compute word-level perplexity, as described in Section 4.2.
We train a 36 layer Compressive Transformer with a window size of 512 , both memory and compressed memory size of 512 , and compression rate C = 2 .
We compare this to a 36 layer TransformerXL trained with window size 512 and attention window 1024 .
The model was trained on 256 TPUv3 cores with a total batch size of 512 and converged after processing around 100 billion subword tokens.
We display the results in Table 3 where we see the
Compressive Transformer obtains a test perplexity of 33 . 6 versus the TransformerXL’s 36 . 3 .
Despite the dataset size, it is clearly a challenging domain.
This can suit as a ﬁrst baseline on the proposed long-range language modelling benchmark.
We show samples from this model in Supplementary
Section E.
The model is able to generate long-form narrative of varying styles: from character dialogue, ﬁrst person diary entries, to descriptive third-person text.
5. E NWIK
We compare the TransformerXL and the Compressive Transformer on the standard character-level language modelling benchmark Enwiki8 taken from the Hutter Prize (Hutter, 2012), which contains 100M bytes of unprocessed Wikipedia text.
We select the ﬁrst 90MB for training, 5MB for validation, and the latter 5MB for testing — as per convention.
We train 24 -layer models with a sequence window size of 768 .
During training, we set the TransformerXL’s memory size to 2304 , and for the Compressive Transformer we use memory of size 768 and compressed memory of sizewith compression rate C = 3 .
During evaluation, we increased the TransformerXL memory size to 4096 and the compressed memory in our model to 3072 (after sweeping over the validation set), obtaining the numbers reported in Table 4. We show the effect of scaling the compressed memory size and evaluation performance in Supplementary Section
B. The proposed model achieves the new state-of-the-art on this dataset with 0 .
97 bits-per-character.
[Table] We compare compression functions and the use of auxiliary losses in Table 5.
We sweep over compression rates of 2 , 3 , and 4 and report results with the best performing value for each row.
BPTT signiﬁes that no auxiliary compression loss was used to train the network other than the overall training loss.
To feed gradients into the compression function we unrolled the model over double the sequence length and halved the batch size to ﬁt the larger unroll into memory.
5. W IKITEXT -
We train an eighteen-layered Compressive Transformer on the closed-vocabulary word-level language modelling benchmark WikiText-103, which contains articles from Wikipedia.
We train the model with a compressed memory size, memory size [Table] and a sequence window size all equal to 512 .
We trained the model over 64 Tensor Processing Units (TPU) v3 with a batch size of 2 per core — making for a total batch size of 128 .
The model converged in a little over 12 hours.
We found the single-layer convolution worked best, with a compression rate of c = 4 .
This model obtained 17 .perplexity on the test set.
By tuning the memory size over the validation set — setting the memory size to 500 , and compressed memory size to 1 , 500 — we obtain 17 . 1 perplexity.
This is 1 . 2 perplexity points over prior state of the art, and means the model places a ≈ 5% higher probability on the correct word over the prior SotA TransformerXL.
It is worth noting that in Table 6 we do not list methods that use additional training data, or that make use of test-time labels to continue training the model on the test set (known as dynamic evaluation (Graves, 2013)).
If we incorporate a very naive dynamic evaluation approach of loading a model checkpoint and continuing training over one epoch of the test set, then we obtain a test perplexity of 16.1 .
This is slightly better than the published 16.4 from Krause et al.
(2019) — which uses a more sophisticated dynamic evaluation approach on top of the TransformerXL.
However in most settings, one does not have access to test-time labels — and thus we do not focus on this setting.
Furthermore there has been great progress in showing that more data equates to much better language modelling; Shoeybi et al.
ﬁnd a large transformer 8B-parameter transformer trained on 170GB of text obtains 10.7 word-level perplexity on WikiText-103.
However it is not clear to what extent the WikiText-103 test set may be leaked inside these larger training corpora.
For clarity of model comparisons, we compare to published results trained on the WikiText-103 training set.
Certainly the direction of larger scale and more data appear to bring immediate gains to the quality of existing language models.
Both data scale and quality alongside intelligent model design are complementary lines of research towards better sequence modelling.
We break perplexity down by word frequency in Table 7 and see the Compressive Transformer makes only a small modelling improvement for frequent words ( 2 . 6% over the TransformerXL baseline) but obtains a much larger improvement of ≈ 20% for infrequent words.
Furthermore, we see 10X improvement in modelling rare words over the prior state-of-the-art LSTM language model published in 2018 — which demonstrates the rate of progress in this area.
5. C OMPRESSIBILITY OF LAYERS
We can use compression to better understand the model’s mode of operation.
We inspect how compressible Transformer’s activations are as they progress through higher layers in the network.
[Table]
[Figure]
[Table] [Figure]
[Figure]
the frequency of optimisation updates (effectively increasing the batch size) is preferable. One may expect representations to become more difﬁcult to compress at higher layers, if more semantic information is represented there.
We monitor the compression loss at each layer of our best-performing Compressive Transformer models trained on Enwik8 and WikiText-103 and display these in Supplementary Section A Figure 6.
We note that the compression loss is about one order of magnitude higher for word-level language modelling (WikiText-103) over character-level langauge modelling (Enwik8).
Furthermore the ﬁrst layer of the Transformer is highly compressible.
However there is not a clear trend of compression cost increasing with layer depth.
5. A TTENTION
We inspect where the network is attending to on average, to determine whether it is using its compressed memory.
We average the attention weight over a sample of 20 , 000 sequences from a trained model on Enwik8.
We aggregate the attention into eighteen buckets, six for each of the compressed memory, memory, and sequence respectively.
We set the size of the sequence, memory and compressed memory all to be 768 .
We plot this average attention weight per bucket in Figure 2 with a 1 σ standard error.
We see most of the attention is placed on the current sequence; with a greater weight placed on earlier elements of the sequence due to the causal self-attention mechanism which masks future attention weights. We also observe there is an increase in attention from the oldest activations stored in the regular memory, to the activations stored in the compressed memory.
This goes against the trend of older memories being accessed less frequently — and gives evidence that the network is learning to preserve salient information .
5.5. O PTIMISATION S CHEDULE
We make an observation about an interesting but undesirable meta-learning phenomenon during long-context training.
When the learning rate is tuned to be much smaller (or set to zero) during training, performance degrades drastically both for the TransformerXL and the Compressive Transformer.
This is displayed in Figure 3.
Usually we consider distributional shift from the training data to the test data, but we can also observe a shift in the model when transferring from a training to evaluation mode (even when the model is evaluated on the training data).
In this case, this is due to the online updating of parameters whilst processing long contiguous articles.
We would like the model to generalise well to scenarios where it is not continuously optimised.
Updating the parameters only at article boundaries (and then resetting the state) could be one solution for long-range memory models, but this would slow down learning signiﬁcantly.
Instead, we propose reducing the frequency of optimisation updates during training.
We ﬁnd this allows for the best of both worlds — fast initial learning with frequent updates, and better generalisation near the end of training with less frequent updates (e.g. every 4 steps).
Reducing the optimisation frequency increases the effective batch size, which has also been shown to be preferable to learning rate decay in image modelling (Smith et al., 2018).
We observed a ﬁnal performance improvement in our TransformerXL baseline on Enwik8, from 0 .
995 — which approximately replicates the published result — to 0 .
984 — which matches the most recent SotA architecture.
We note, the additional space and compute cost of accumulating gradients is negligible across iterations, so there was no performance regression in using this scheme.
5. S PEECH
We train the Compressive Transformer on the waveform of speech to assess its performance on different modalities.
Speech is interesting because it is sampled at an incredibly high frequency, but we know it contains a lot of information on the level of phonemes and entire phrases.
To encourage long-term reasoning, we refrain from conditioning the model on speaker identity or text features, but focus on unconditional speech modelling.
We train the model on 24.6 hours of 24kHz North American speech data.
We chunk the sequences into windows of size 3840 , roughly 80 ms of audio, and compare a 20 -layer Compressive Transformer to a 20 -layer TransformerXL and a 30 -layer WaveNet model (Oord et al., 2016) — a state-of-the-art audio generative model used to serve production speech synthesis applications at Google (Oord et al., 2018).
All networks have approximately 40M parameters, as WaveNet is more parameter-efﬁcient per layer.
We train each network with 32 V100 GPUs, and a batch size of 1 per core (total batch size of 32 ) using synchronous training.
WaveNet processes an entire chunk in parallel, however the TransformerXL and Compressive Transformer are trained with a window size of 768 and a total memory size of 1 , 568 (for the Compressive Transformer we use 768 memory + 768 compressed).
We thus unroll the model over the sequence.
Despite this sequential unroll, the attention-based models train at only half the speed of
WaveNet.
We see the test-set negative-log-likelihood in Figure 4, and observe that a Compressive
Transformer with a compression rate of 4 is able to outperform the TransformerXL and maintain a slim advantage over WaveNet.
However we only trained models for at most one week (with 32GPUs) and it would be advantageous to continue training until full convergence — before deﬁnitive conclusions are made.
5. R EINFORCEMENT L EARNING
Compression is a good ﬁt for video input sequences because subsequent frames have high mutual information.
Here we do not test out the Compressive Transformer on video, but progress straight to a reinforcement learning agent task that receives a video stream of visual observations — but must ultimately learn to use its memory to reason over a policy.
We test the Compressive Transformer as a drop-in replacement to an LSTM in the IMPALA setup (Espeholt et al., 2018).
Otherwise, we use the same training framework and agent architecture as described in the original work with a ﬁxed learning rate of 1 . {+
 e-+} 5 and entropy cost coefﬁcient of 2 e- 3 .
We test the Compressive Transformer on a challenging memory task within the DMLab-
(Beattie et al., 2016) domain, rooms select nonmatching object .
This requires the agent to explore a room in a visually rich 3D environment and remember the object present.
The agent can then advance to a second room where it must select the object not present in the original room.
This necessitates that the agent both remember events far in the past, and also learn to efﬁciently reason about them.
We ﬁx both the memory and compressed memory sizes to 64 .
In Figure 5, we present results for a range of compression rates, averaged over 3 seeds.
We see that the best performing agents endowed [Figure] [Figure] with the Compressive Transformer are able to solve the task to human-level.
We note that the model with compression rate 1 is unable to learn the task to the same proﬁciency.
The speed of learning and stability seem to increase proportionally with higher rates of compression (up to a limit) – i.e. the effective memory window of the agent – and we ﬁnd compression rate 4 to once again be the best performing.
We see this as a promising sign that the architecture is able to efﬁciently learn, and suitably use, compressed representations of its visual input and hope to test this more widely in future work.
C ONCLUSION
In this paper we explore the notion of compression as a means of extending the temporal receptive ﬁeld of Transformer-based sequence models.
We see a beneﬁt to this approach in the domain of text, with the Compressive Transformer outperforming existing architectures at long-range language modelling.
To continue innovation in this area, we also propose a new book-level LM benchmark,
PG-19.
This may be used to compare long-range language models, or to pre-train on other longrange reasoning language tasks, such as NarrativeQA (
Ko ˇ cisk ` y et al., 2018).
We see the idea of compressive memories is applicable not only to the modality of text, but also audio, in the form of modelling the waveform of speech, and vision, within a reinforcement-learning agent trained on a maze-like memory task.
In both cases, we compare to very strong baselines (Wavenet (Oord et al., 2016) and IMPALA (Espeholt et al., 2018)).
The main limitation of this work is additional complexity, if the task one wishes to solve does not contain long-range reasoning then the Compressive Transformer is unlikely to provide additional beneﬁt.
However as a means of scaling memory and attention, we do think compression is a simpler approach to dynamic or sparse attention — which often requires custom kernels to make efﬁcient.
One can build effective compression modules from simple neural network components, such as convolutions.
The compression components are immediately efﬁcient to run on GPUs and TPUs.
Memory systems for neural networks began as compressed state representations within RNNs.
The recent wave of progress using attention-based models with deep and granular memories shows us that it is beneﬁcial to refrain from immediately compressing the past.
However we hypothesise that more powerful models will contain a mixture of granular recent memories and coarser compressed memories.
Future directions could include the investigation of adaptive compression rates by layer, the use of long-range shallow memory layers together with deep short-range memory, and even the use of RNNs as compressors.
Compressive memories should not be forgotten about just yet.
S UPPLEMENTARY M ATERIALS A C OMPRESSION A CROSS L AYERS
We inspect the compression loss broken down by the layer index, to investigate whether there is a trend in network depth with how compressible the representations are.
The compression loss here refers to the attention-reconstruction attention loss.
We plot this for a 24 layer trained model on Enwik8, and an 18 layer model trained on WikiText-103.
The compression loss for characterbased language modelling is about one order of magnitude lower than that of word-level language modelling.
The ﬁrst layer’s representations are highly compressible, however from then on there is no ﬁxed trend.
Some non-contiguous layers have a very similar compression loss (e.g. 4 & 6, 5 & 7) which suggests information is being routed from these layer pairs via the skip connection.
[Figure]
B C OMPARISON OF C OMPRESSED M EMORY S IZES
We compare the best test perplexity obtained for the Compressive Transformer trained on WikiText103 and Enwik8 across a range of compressed memory sizes.
For both models, the best model used a 1D convolution compression network with a compression rate of 3 .
The Enwik8 model was trained with an embedding size of 1024 , 8 attention heads, 24 layers, an mlp hidden size of 3072 , a sequence window size of 768 , and a memory size of 768 .
We see the best compressed memory size is 3 ,in this sweep, facilitating a total attention window of 3840 .
The WikiText-103 model was trained with an embedding size of 1024 , adaptive inputs using the same parameters as (Sukhbaatar et al., 2019), 16 attention heads, 18 layers, an mlp hidden size of 4096 , a sequence window of sizeand a memory of size 512 .
The best compressed memory size is 1536 resulting in a total attention window of c. 2048 .
[Table]
[Table]
C PG-19 P REPROCESSING
The raw texts from the Gutenberg project were minimally pre-processed by removing boilerplate license text.
We then also replaced discriminatory words with a unique (cid:104) DWx (cid:105) token using the
Ofcom list of discriminatory words 3 .
D PG-19 T OPICS
We present top-words for some of the topics on the PG-19 corpus.
These were generated with LDA topic model (Blei et al., 2003) [Table]
[Table]
E PG-19 S AMPLES
We show a few different samples from the Compressive Transformer trained on PG-19.
We use
Nucleus Sampling with p = 0 .
98 (Holtzman et al., 2019).
We choose extracts of books from the test set as preﬁxes.
We see the model is able to continue in the style of the text, creating artiﬁcial dialogue or descriptive text, and remembering the names of characters over hundreds of words.
As the Compressive Transformer is trained without state resetting, it is actually slightly out of sample when provided with the (relatively) short contexts.
This is because its memory and compressed memory may be still empty (whereas they are always full during training).
However we see a trend of the samples usually improving towards the end.
Context from Baby Mine by Maragaret Mayo : CHAPTER I
Even in college Alfred Hardy was a young man of ﬁxed ideas and high ideals and proud of it.
His friend, Jimmy Jinks, had few ideas and no ideals, and was glad of it, and before half of their ﬁrst college term had passed, Jimmy had ridded himself of all such worries as making up his own mind or directing his own morals.
Alfred did all these things so much better, argued Jimmy, furthermore, Alfred LIKED to do them–Jimmy owed it to his friend to give him that pleasure.
Compressive Transformer :
He did not like doing them in the most elegant of all possible marble walks–where freshmen and sophomores stand and talk and laugh and chatter till evening falls and look cool and still and cool and beautifully white in spite of the hot sun, but had to go there for a month before going home.
It happened one day that he and Jimmy were strolling together in the green shade of St. Martin’s, and Jimmy naturally asked why he was so silent.
He was very talkative as most boys are who have once got the habit of it on shore, so the need for answering was soon supplied.
”I am wondering,” he said, ”why my old friend and chum, Jimmy Jinks, is living a single life and so has no boys.
Have you not noticed that many of his old friends had their own boys to follow in their footsteps and help, and often helped successfully too?” ”
Oh, yes,” said Alfred, ”it was plain enough then that he liked to live by himself and got none of his present pleasures or entertainments because of the other fellow’s giving it to him.”
”Then it IS sad,” said Jimmy, ”that an old friend like the friend of Big Lights, Jimmy Reynolds, should be living the single life and having no boys.”
And it is pretty true, too,” said Alfred, ”yet I believe it is the best thing that could happen even now.”
And so do I,” said Jimmy, ”and I also believe that it is time someone did something to make the things worse for the other’s partner.”
And so do I,” said Alfred, ”and so do I, and so do I.” ”
What can we do?”
asked Jimmy.
”I don’t know,” said Alfred, ”but if someone will come down to the valley and go through a regular mill with the old forces at work, doing the work of the two, and doing it better than any other Miller he ever saw or ever hoped to see, I think there will be a good deal of change in the things and things to be cared for for and for driven and counter-driven.”
”I will come and do that mill,” said Jimmy.
Context from The Diary of Samuel Pepys
June 1st.
Having taken our leaves of Sir W. Batten and my Lady, who are gone this morning to keep their Whitsuntide, Sir W. Pen and I and Mr. Gauden by water to Woolwich, and there went from ship to ship to give order for and take notice of their forwardness to go forth, and then to Deptford and did the like, having dined at Woolwich with Captain Poole at the tavern there.
From Deptford we walked to Redriffe, calling at the half-way house, and there come into a room where there was inﬁnite of new cakes placed that are made against Whitsuntide, and there we were very merry.
By water home, and there did businesses of the ofﬁce.
Among others got my Lord’s imprest of L1000 and Mr. Creed’s of L10,000 against this voyage their bills signed.
Having wrote letters into the country and read some things I went to bed.
Compressive Transformer :
So I rose and did some business at the ofﬁce, and then to dinner, where great abundance of good things of the kitchen I only being partaker in the feast.
After dinner I went to look at the yard and found it in a very bad condition, so I went home and there ﬁnding no delight in seeing things I should make shift to get in my way
and so I will leave off.
So I took leave of my great friend, and the next day being Sunday, my wife and I and a great number of friends went by water to Deptford, and there took the oaths of allegiance and supremacy and promised such obedience to the Lord as should hereafter turn to the advantage of our State.
Being come back we found the shops and warehouses in a pitiable condition, so my wife and I and all the rest of the friends went home and there did the like and by Saturday day I being alone in my ofﬁce
I found myself in a very bad situation, for my Lord, and Mr.
Creed, and Pett were all standing ready to receive and receive the oaths of allegiance and right to make use of the ten days’ licence I had allowed for this purpose by virtue of the law that was such a help to the servant.
Having looked at the ships, I told my wife what I had seen and that
I was greatly troubled at my situation and, I hope that will mend it.
So that is the end of a long and patient seeking after those things which in my opinion I deserve and may get if I can only by fair means get them.
Context from The Patrol of the Sun Dance Trail by Ralph Connor:
High up on the hillside in the midst of a rugged group of jack pines the Union Jack shook out its folds gallantly in the breeze that swept down the Kicking Horse Pass.
That gallant ﬂag marked the headquarters of Superintendent Strong, of the North West Mounted Police, whose special duty it was to preserve law and order along the construction line of the Canadian Paciﬁc
Railway Company, now pushed west some scores of miles.
Along the tote-road, which ran parallel to the steel, a man, dark of skin, slight but wiry, came running, his hard panting, his streaming face, his open mouth proclaiming his exhaustion.
At a little trail that led to the left he paused, noted its course toward the ﬂaunting ﬂag, turned into it, then struggled up the rocky hillside till he came to the wooden shack, with a deep porch running round it, and surrounded by a rustic fence which enclosed a garden whose neatness illustrated a characteristic of the British soldier.
The runner passed in through the gate and up the little gravel walk and began to ascend the steps.
Compressive Transformer :
As though by mutual consent, all the three members of the Superintendent Force were standing on the veranda watching his progress, a man came strolling slowly down the path, stopping often to gaze curiously about him, then stopping once more when he saw the four standing on the veranda.
His face was dark, his eyes prominent, and the lines that furrowed his forehead showed marks of many woes, yet his step was alert and he began to mount the steps with steady strides.
The man’s attention was diverted by the unexpected appearance of the two policemen; a third man came slipping up, grumbling under his breath, and stopped long enough to look doubtfully around him, then slipped away again.
In the meantime, the four on the veranda continued to watch the approach of the new arrival.
In spite of himself, the Superintendent Force became conscious of a curious feeling–uneasiness that was almost fear–in the presence of that strange man.
He would not allow himself to admit the fact, yet he felt it in his bones.
But to the watchers, the plain, everyday features of that stranger and his coming, seemed only just what the Seven White Shee owed him–their weight, their hurry, their blast.
Had a chariot been made for the good of the three horses, and had the driver been given orders that he should speed them that he might win, they would have been heartening things in the sight of the veteran and the victor.
To you they would have been unintelligible to the root of your understanding.
When you gaze up in the faces of those four gray horses, you can see clearly through the clouds of dust that rise from their hoofs, and discern plainly where the banker is and where the hobo.
Then you will understand why you shall not press the bitter grapes and why you shall not spurn the generous doctrines.
You will understand why you shall not praise the lash or the spur, for you will know where the true would be and where the false would be.
Then you will understand why you, a man with reason and heart, need not tear your hair over-bitter and why you need not laugh over the blunders of an ignorant man.
About nine o’clock that morning, two buggies, drawn by powerful horses, crossed the Rubicon and turned the railroad from Sandhurst into the Hollow of the Mountains.
And though the charioteers stood at their horses’ heads, and their drivers cried at their loudest, there was not a man in the four teams who did not feel that his day was worth all the toil and all the peril that he had undergone.
And if there were a man in them who did not know that–who did not feel that the road through the Hollow of the Mountains is made easy by the arrival of travelers and by the coming of government, there was one who did not at that moment care whether his day’s work were worth all the toil and all the danger that he had had to endure or whether it were not worth more than all.