diff --git a/wizard-work/sphinx/transformer-archive/SOURCE-text.md b/wizard-work/sphinx/transformer-archive/SOURCE-text.md new file mode 100644 index 0000000..772ba7a --- /dev/null +++ b/wizard-work/sphinx/transformer-archive/SOURCE-text.md @@ -0,0 +1,316 @@ +Provided proper attribution is provided, Google hereby grants permission to reproduce the tables and figures in this paper solely for use in journalistic or scholarly works. + +# Attention Is All You Need + +Noam Shazeer11footnotemark: 1 Niki Parmar11footnotemark: 1 Jakob Uszkoreit11footnotemark: 1 Llion Jones11footnotemark: 1 Aidan N. Gomez11footnotemark: 1 ††thanks: Work performed while at Google Brain. Łukasz Kaiser11footnotemark: 1 Illia Polosukhin11footnotemark: 1 ††thanks: Work performed while at Google Research. + +###### Abstract + +The dominant sequence transduction models are based on complex recurrent or convolutional neural networks that include an encoder and a decoder. The best performing models also connect the encoder and decoder through an attention mechanism. We propose a new simple network architecture, the Transformer, based solely on attention mechanisms, dispensing with recurrence and convolutions entirely. Experiments on two machine translation tasks show these models to be superior in quality while being more parallelizable and requiring significantly less time to train. Our model achieves 28.4 BLEU on the WMT 2014 English-to-German translation task, improving over the existing best results, including ensembles, by over 2 BLEU. On the WMT 2014 English-to-French translation task, our model establishes a new single-model state-of-the-art BLEU score of 41.8 after training for 3.5 days on eight GPUs, a small fraction of the training costs of the best models from the literature. We show that the Transformer generalizes well to other tasks by applying it successfully to English constituency parsing both with large and limited training data. + +## 1 Introduction + +Recurrent neural networks, long short-term memory [13] and gated recurrent [7] neural networks in particular, have been firmly established as state of the art approaches in sequence modeling and transduction problems such as language modeling and machine translation [35, 2, 5]. Numerous efforts have since continued to push the boundaries of recurrent language models and encoder-decoder architectures [38, 24, 15]. + +Recurrent models typically factor computation along the symbol positions of the input and output sequences. Aligning the positions to steps in computation time, they generate a sequence of hidden states h_t, as a function of the previous hidden state h_(t−1) and the input for position t. This inherently sequential nature precludes parallelization within training examples, which becomes critical at longer sequence lengths, as memory constraints limit batching across examples. Recent work has achieved significant improvements in computational efficiency through factorization tricks [21] and conditional computation [32], while also improving model performance in case of the latter. The fundamental constraint of sequential computation, however, remains. + +Attention mechanisms have become an integral part of compelling sequence modeling and transduction models in various tasks, allowing modeling of dependencies without regard to their distance in the input or output sequences [2, 19]. In all but a few cases [27], however, such attention mechanisms are used in conjunction with a recurrent network. + +In this work we propose the Transformer, a model architecture eschewing recurrence and instead relying entirely on an attention mechanism to draw global dependencies between input and output. The Transformer allows for significantly more parallelization and can reach a new state of the art in translation quality after being trained for as little as twelve hours on eight P100 GPUs. + +## 2 Background + +The goal of reducing sequential computation also forms the foundation of the Extended Neural GPU [16], ByteNet [18] and ConvS2S [9], all of which use convolutional neural networks as basic building block, computing hidden representations in parallel for all input and output positions. In these models, the number of operations required to relate signals from two arbitrary input or output positions grows in the distance between positions, linearly for ConvS2S and logarithmically for ByteNet. This makes it more difficult to learn dependencies between distant positions [12]. In the Transformer this is reduced to a constant number of operations, albeit at the cost of reduced effective resolution due to averaging attention-weighted positions, an effect we counteract with Multi-Head Attention as described in section 3.2. + +Self-attention, sometimes called intra-attention is an attention mechanism relating different positions of a single sequence in order to compute a representation of the sequence. Self-attention has been used successfully in a variety of tasks including reading comprehension, abstractive summarization, textual entailment and learning task-independent sentence representations [4, 27, 28, 22]. + +End-to-end memory networks are based on a recurrent attention mechanism instead of sequence-aligned recurrence and have been shown to perform well on simple-language question answering and language modeling tasks [34]. + +To the best of our knowledge, however, the Transformer is the first transduction model relying entirely on self-attention to compute representations of its input and output without using sequence-aligned RNNs or convolution. In the following sections, we will describe the Transformer, motivate self-attention and discuss its advantages over models such as [17, 18] and [9]. + +## 3 Model Architecture + +![Refer to caption](1706.03762v7/Figures/ModalNet-21.png) +Most competitive neural sequence transduction models have an encoder-decoder structure [5, 2, 35]. Here, the encoder maps an input sequence of symbol representations (x_1,…,x_n) to a sequence of continuous representations 𝐳=(z_1,…,z_n). Given 𝐳, the decoder then generates an output sequence (y_1,…,y_m) of symbols one element at a time. At each step the model is auto-regressive [10], consuming the previously generated symbols as additional input when generating the next. + +The Transformer follows this overall architecture using stacked self-attention and point-wise, fully connected layers for both the encoder and decoder, shown in the left and right halves of Figure 1, respectively. + +### 3.1 Encoder and Decoder Stacks + +##### Encoder: + +The encoder is composed of a stack of N=6 identical layers. Each layer has two sub-layers. The first is a multi-head self-attention mechanism, and the second is a simple, position-wise fully connected feed-forward network. We employ a residual connection [11] around each of the two sub-layers, followed by layer normalization [1]. That is, the output of each sub-layer is LayerNorm (x+Sublayer (x)), where Sublayer (x) is the function implemented by the sub-layer itself. To facilitate these residual connections, all sub-layers in the model, as well as the embedding layers, produce outputs of dimension d_(model)=512. + +##### Decoder: + +The decoder is also composed of a stack of N=6 identical layers. In addition to the two sub-layers in each encoder layer, the decoder inserts a third sub-layer, which performs multi-head attention over the output of the encoder stack. Similar to the encoder, we employ residual connections around each of the sub-layers, followed by layer normalization. We also modify the self-attention sub-layer in the decoder stack to prevent positions from attending to subsequent positions. This masking, combined with fact that the output embeddings are offset by one position, ensures that the predictions for position i can depend only on the known outputs at positions less than i. + +### 3.2 Attention + +An attention function can be described as mapping a query and a set of key-value pairs to an output, where the query, keys, values, and output are all vectors. The output is computed as a weighted sum of the values, where the weight assigned to each value is computed by a compatibility function of the query with the corresponding key. + +#### 3.2.1 Scaled Dot-Product Attention + +We call our particular attention "Scaled Dot-Product Attention" (Figure 2). The input consists of queries and keys of dimension d_k, and values of dimension d_v. We compute the dot products of the query with all keys, divide each by √(d_k), and apply a softmax function to obtain the weights on the values. + +In practice, we compute the attention function on a set of queries simultaneously, packed together into a matrix Q. The keys and values are also packed together into matrices K and V. We compute the matrix of outputs as: + +| | Attention (Q,K,V)=softmax ((QK^T)/(√(d_k)))V | | (1) | +|---|---|---|---| + +The two most commonly used attention functions are additive attention [2], and dot-product (multiplicative) attention. Dot-product attention is identical to our algorithm, except for the scaling factor of (1)/(√(d_k)). Additive attention computes the compatibility function using a feed-forward network with a single hidden layer. While the two are similar in theoretical complexity, dot-product attention is much faster and more space-efficient in practice, since it can be implemented using highly optimized matrix multiplication code. + +While for small values of d_k the two mechanisms perform similarly, additive attention outperforms dot product attention without scaling for larger values of d_k [3]. We suspect that for large values of d_k, the dot products grow large in magnitude, pushing the softmax function into regions where it has extremely small gradients 11 1 To illustrate why the dot products get large, assume that the components of q and k are independent random variables with mean 0 and variance 1. Then their dot product, q⋅k=∑_(i=1)^(d_k)q_ik_i, has mean 0 and variance d_k.. To counteract this effect, we scale the dot products by (1)/(√(d_k)). + +#### 3.2.2 Multi-Head Attention + +Scaled Dot-Product Attention + +![Refer to caption](1706.03762v7/Figures/ModalNet-19.png) + +Multi-Head Attention + +![Refer to caption](1706.03762v7/Figures/ModalNet-20.png) + +Instead of performing a single attention function with d_(model)-dimensional keys, values and queries, we found it beneficial to linearly project the queries, keys and values h times with different, learned linear projections to d_k, d_k and d_v dimensions, respectively. On each of these projected versions of queries, keys and values we then perform the attention function in parallel, yielding d_v-dimensional output values. These are concatenated and once again projected, resulting in the final values, as depicted in Figure 2. + +Multi-head attention allows the model to jointly attend to information from different representation subspaces at different positions. With a single attention head, averaging inhibits this. + +| | MultiHead (Q,K,V) | =Concat (head_1,…,head_h)W^O | | +|---|---|---|---| +| | where head_i | =Attention (QW_i^Q,KW_i^K,VW_i^V) | | + +Where the projections are parameter matrices W_i^Q∈ℝ^(d_(model)×d_k), W_i^K∈ℝ^(d_(model)×d_k), W_i^V∈ℝ^(d_(model)×d_v) and W^O∈ℝ^(hd_v×d_(model)). + +In this work we employ h=8 parallel attention layers, or heads. For each of these we use d_k=d_v=d_(model)/h=64. Due to the reduced dimension of each head, the total computational cost is similar to that of single-head attention with full dimensionality. + +#### 3.2.3 Applications of Attention in our Model + +The Transformer uses multi-head attention in three different ways: + +- • +In "encoder-decoder attention" layers, the queries come from the previous decoder layer, and the memory keys and values come from the output of the encoder. This allows every position in the decoder to attend over all positions in the input sequence. This mimics the typical encoder-decoder attention mechanisms in sequence-to-sequence models such as [38, 2, 9]. +- • +The encoder contains self-attention layers. In a self-attention layer all of the keys, values and queries come from the same place, in this case, the output of the previous layer in the encoder. Each position in the encoder can attend to all positions in the previous layer of the encoder. +- • +Similarly, self-attention layers in the decoder allow each position in the decoder to attend to all positions in the decoder up to and including that position. We need to prevent leftward information flow in the decoder to preserve the auto-regressive property. We implement this inside of scaled dot-product attention by masking out (setting to −∞) all values in the input of the softmax which correspond to illegal connections. See Figure 2. + +### 3.3 Position-wise Feed-Forward Networks + +In addition to attention sub-layers, each of the layers in our encoder and decoder contains a fully connected feed-forward network, which is applied to each position separately and identically. This consists of two linear transformations with a ReLU activation in between. + +| | FFN (x)=max (0,xW_1+b_1)W_2+b_2 | | (2) | +|---|---|---|---| + +While the linear transformations are the same across different positions, they use different parameters from layer to layer. Another way of describing this is as two convolutions with kernel size 1. The dimensionality of input and output is d_(model)=512, and the inner-layer has dimensionality d_(ff)=2048. + +### 3.4 Embeddings and Softmax + +Similarly to other sequence transduction models, we use learned embeddings to convert the input tokens and output tokens to vectors of dimension d_(model). We also use the usual learned linear transformation and softmax function to convert the decoder output to predicted next-token probabilities. In our model, we share the same weight matrix between the two embedding layers and the pre-softmax linear transformation, similar to [30]. In the embedding layers, we multiply those weights by √(d_(model)). + +### 3.5 Positional Encoding + +Since our model contains no recurrence and no convolution, in order for the model to make use of the order of the sequence, we must inject some information about the relative or absolute position of the tokens in the sequence. To this end, we add "positional encodings" to the input embeddings at the bottoms of the encoder and decoder stacks. The positional encodings have the same dimension d_(model) as the embeddings, so that the two can be summed. There are many choices of positional encodings, learned and fixed [9]. + +In this work, we use sine and cosine functions of different frequencies: + +| | PE_((pos,2i))=sin(pos/10000^(2i/d_(model))) | | +|---|---|---| +| | PE_((pos,2i+1))=cos(pos/10000^(2i/d_(model))) | | + +where pos is the position and i is the dimension. That is, each dimension of the positional encoding corresponds to a sinusoid. The wavelengths form a geometric progression from 2π to 10000⋅2π. We chose this function because we hypothesized it would allow the model to easily learn to attend by relative positions, since for any fixed offset k, PE_(pos+k) can be represented as a linear function of PE_(pos). + +We also experimented with using learned positional embeddings [9] instead, and found that the two versions produced nearly identical results (see Table 3 row (E)). We chose the sinusoidal version because it may allow the model to extrapolate to sequence lengths longer than the ones encountered during training. + +## 4 Why Self-Attention + +In this section we compare various aspects of self-attention layers to the recurrent and convolutional layers commonly used for mapping one variable-length sequence of symbol representations (x_1,…,x_n) to another sequence of equal length (z_1,…,z_n), with x_i,z_i∈ℝ^d, such as a hidden layer in a typical sequence transduction encoder or decoder. Motivating our use of self-attention we consider three desiderata. + +One is the total computational complexity per layer. Another is the amount of computation that can be parallelized, as measured by the minimum number of sequential operations required. + +The third is the path length between long-range dependencies in the network. Learning long-range dependencies is a key challenge in many sequence transduction tasks. One key factor affecting the ability to learn such dependencies is the length of the paths forward and backward signals have to traverse in the network. The shorter these paths between any combination of positions in the input and output sequences, the easier it is to learn long-range dependencies [12]. Hence we also compare the maximum path length between any two input and output positions in networks composed of the different layer types. + +| Layer Type | Complexity per Layer | Sequential | Maximum Path Length | +|---|---|---|---| +| | | Operations | | +| Self-Attention | O(n^2⋅d) | O(1) | O(1) | +| Recurrent | O(n⋅d^2) | O(n) | O(n) | +| Convolutional | O(k⋅n⋅d^2) | O(1) | O(log_k(n)) | +| Self-Attention (restricted) | O(r⋅n⋅d) | O(1) | O(n/r) | +As noted in Table 1, a self-attention layer connects all positions with a constant number of sequentially executed operations, whereas a recurrent layer requires O(n) sequential operations. In terms of computational complexity, self-attention layers are faster than recurrent layers when the sequence length n is smaller than the representation dimensionality d, which is most often the case with sentence representations used by state-of-the-art models in machine translations, such as word-piece [38] and byte-pair [31] representations. To improve computational performance for tasks involving very long sequences, self-attention could be restricted to considering only a neighborhood of size r in the input sequence centered around the respective output position. This would increase the maximum path length to O(n/r). We plan to investigate this approach further in future work. + +A single convolutional layer with kernel width k2 BLEU. +QUOTE| Our model achieves 28.4 BLEU on the WMT 2014 English-to-German translation task, improving over the existing best results, including ensembles, by over 2 BLEU. + +### C2 - first pure-self-attention transduction model +Claim: The authors claim the Transformer is the first transduction model to rely entirely on self-attention, with no sequence-aligned RNNs or convolution. +QUOTE| the Transformer is the first transduction model relying entirely on self-attention to compute representations of its input and output without using sequence-aligned RNNs or convolution. + +### C3 - encoder stack depth +Claim: The encoder is a stack of N=6 identical layers, each with a multi-head self-attention sub-layer and a position-wise feed-forward sub-layer. +QUOTE| The encoder is composed of a stack of N=6 identical layers. + +### C4 - multi-head width +Claim: Multi-head attention uses h=8 heads with d_k=d_v=d_model/h=64 per head. +QUOTE| In this work we employ h=8 parallel attention layers, or heads. For each of these we use d_k=d_v=d_(model)/h=64. + +### C5 - training hardware +Claim: Training ran on a single machine with 8 NVIDIA P100 GPUs. +QUOTE| We trained our models on one machine with 8 NVIDIA P100 GPUs. + +### C6 - optimizer +Claim: Optimization used Adam with beta_1=0.9, beta_2=0.98, epsilon=1e-9. +QUOTE| We used the Adam optimizer [20] with β_1=0.9, β_2=0.98 and ϵ=10^(−9). + +### C7 - label smoothing +Claim: Label smoothing of epsilon_ls=0.1 was applied during training, trading perplexity for accuracy/BLEU. +QUOTE| During training, we employed label smoothing of value ϵ_(ls)=0.1 [36]. This hurts perplexity, as the model learns to be more unsure, but improves accuracy and BLEU score. + +### C8 - training data +Claim: WMT 2014 EN-DE training used ~4.5M sentence pairs with a shared ~37k BPE vocabulary. +QUOTE| We trained on the standard WMT 2014 English-German dataset consisting of about 4.5 million sentence pairs. + +### C9 - self-attention vs recurrent complexity +Claim: A self-attention layer links all positions in O(1) sequential operations; a recurrent layer needs O(n). +QUOTE| a self-attention layer connects all positions with a constant number of sequentially executed operations, whereas a recurrent layer requires O(n) sequential operations. + +### C10 - constituency parsing generalization +Claim: On English constituency parsing the Transformer beats BerkeleyParser even when trained only on the 40K-sentence WSJ set. +QUOTE| the Transformer outperforms the BerkeleyParser [29] even when training only on the WSJ training set of 40K sentences. + +### C11 - conclusion +Claim: The paper's conclusion: the Transformer replaces recurrent encoder-decoder layers with multi-headed self-attention. +QUOTE| we presented the Transformer, the first sequence transduction model based entirely on attention, replacing the recurrent layers most commonly used in encoder-decoder architectures with multi-headed self-attention. + +### C12 - future work / other modalities +Claim: Stated future work: extend the Transformer to input/output modalities other than text. +QUOTE| We plan to extend the Transformer to problems involving input and output modalities other than text + +## Figure 1 - multimodal record + +- Archived file: `figure1.png` +- Reference in the paper text: `![Refer to caption](1706.03762v7/Figures/ModalNet-21.png)` +- Vision pass (measured, produced by a vision model over the pixels - not typed): + Tall vertical flow chart on white, split into a left Encoder half and a right Decoder half. Encoder bottom-to-top: 'Inputs' -> 'Input Embedding' (pink) -> a plus-sign circle fed by a yin-yang swirl labelled 'Positional Encoding' -> an 'Nx' stack of 'Multi-Head Attention' (peach) / 'Add & Norm' (green, residual loop) / 'Feed Forward' (blue) / 'Add & Norm' (green). Decoder bottom-to-top: 'Outputs (shifted right)' -> 'Output Embedding' -> positional-encoding add -> an 'Nx' stack of 'Masked Multi-Head Attention' / 'Add & Norm' / 'Multi-Head Attention' (cross-attention, fed from the encoder top) / 'Add & Norm' / 'Feed Forward' / 'Add & Norm', then 'Linear' (lavender) -> 'Softmax' -> 'Output Probabilities'. Arrow types: thick upward main flow, residual loops curving into each Add & Norm, three short parallel Q/K/V arrows into each attention block, a horizontal encoder-to-decoder connector, and plus-sign add nodes. The image itself carries no caption text. +- Figure labels that also occur verbatim in the paper text (3): `Positional Encoding`, `Multi-Head Attention`, `Softmax` +- Figure-only labels, not present in the paper text (10): `Inputs`, `Input Embedding`, `Nx`, `Add & Norm`, `Feed Forward`, `Outputs (shifted right)`, `Output Embedding`, `Masked Multi-Head Attention`, `Linear`, `Output Probabilities` + +## Provenance and integrity + +- `manifest.json` carries sha256 + byte size for both payloads, the UTC build time, + the section map, the quote list, and the figure-label cross-check. +- `verify.py` independently re-hashes the payloads, re-derives every quote as a + substring of the snapshot, re-derives the figure-label split, and checks the + PNG magic bytes and IHDR dimensions. Exit code 0 iff all of it holds. diff --git a/wizard-work/sphinx/transformer-archive/build.py b/wizard-work/sphinx/transformer-archive/build.py new file mode 100644 index 0000000..40a619a --- /dev/null +++ b/wizard-work/sphinx/transformer-archive/build.py @@ -0,0 +1,219 @@ +#!/usr/bin/env python3 +"""Build the Transformer (arXiv:1706.03762v7) archive note + manifest. + +Every quote below is sliced VERBATIM out of SOURCE-text.md by anchor pair and +never typed by hand, so the archive note cannot drift from the source it cites. +If an anchor is missing the build fails loudly. +""" +import hashlib, json, os, re, datetime, struct + +D = os.path.dirname(os.path.abspath(__file__)) +SRC = os.path.join(D, "SOURCE-text.md") +FIG = os.path.join(D, "figure1.png") + +source = open(SRC, encoding="utf-8").read() + + +def sha(path): + h = hashlib.sha256() + with open(path, "rb") as f: + for chunk in iter(lambda: f.read(1 << 16), b""): + h.update(chunk) + return h.hexdigest() + + +def png_dims(path): + with open(path, "rb") as f: + head = f.read(24) + assert head[:8] == b"\x89PNG\r\n\x1a\n", "not a PNG" + w, h = struct.unpack(">II", head[16:24]) + return w, h + + +def slice_between(start, end): + i = source.find(start) + assert i >= 0, "start anchor not found: %r" % start[:70] + j = source.find(end, i) + assert j >= 0, "end anchor not found: %r" % end[:70] + s = source[i:j + len(end)] + assert "\n" not in s, "quote spans a line break: %r" % s[:70] + return s + + +# (id, short label, start anchor, end anchor) +QUOTES = [ + ("C1", "EN-DE headline result", + "Our model achieves 28.4 BLEU on the WMT 2014 English-to-German translation task", + "improving over the existing best results, including ensembles, by over 2 BLEU."), + ("C2", "first pure-self-attention transduction model", + "the Transformer is the first transduction model relying entirely on self-attention", + "without using sequence-aligned RNNs or convolution."), + ("C3", "encoder stack depth", + "The encoder is composed of a stack of N=6 identical layers.", + "The encoder is composed of a stack of N=6 identical layers."), + ("C4", "multi-head width", + "In this work we employ h=8 parallel attention layers, or heads.", + "d_k=d_v=d_(model)/h=64."), + ("C5", "training hardware", + "We trained our models on one machine with 8 NVIDIA P100 GPUs.", + "We trained our models on one machine with 8 NVIDIA P100 GPUs."), + ("C6", "optimizer", + "We used the Adam optimizer [20] with", + "ϵ=10^(−9)."), + ("C7", "label smoothing", + "During training, we employed label smoothing of value", + "improves accuracy and BLEU score."), + ("C8", "training data", + "We trained on the standard WMT 2014 English-German dataset consisting of about 4.5 million sentence pairs.", + "We trained on the standard WMT 2014 English-German dataset consisting of about 4.5 million sentence pairs."), + ("C9", "self-attention vs recurrent complexity", + "a self-attention layer connects all positions with a constant number of sequentially executed operations", + "whereas a recurrent layer requires O(n) sequential operations."), + ("C10", "constituency parsing generalization", + "the Transformer outperforms the BerkeleyParser [29] even when training only on the WSJ training set of 40K sentences.", + "the Transformer outperforms the BerkeleyParser [29] even when training only on the WSJ training set of 40K sentences."), + ("C11", "conclusion", + "we presented the Transformer, the first sequence transduction model based entirely on attention", + "with multi-headed self-attention."), + ("C12", "future work / other modalities", + "We plan to extend the Transformer to problems involving input and output modalities other than text", + "We plan to extend the Transformer to problems involving input and output modalities other than text"), +] + +CLAIMS = { + "C1": "The big Transformer sets a new state of the art on WMT 2014 EN-DE at 28.4 BLEU, beating all prior models including ensembles by >2 BLEU.", + "C2": "The authors claim the Transformer is the first transduction model to rely entirely on self-attention, with no sequence-aligned RNNs or convolution.", + "C3": "The encoder is a stack of N=6 identical layers, each with a multi-head self-attention sub-layer and a position-wise feed-forward sub-layer.", + "C4": "Multi-head attention uses h=8 heads with d_k=d_v=d_model/h=64 per head.", + "C5": "Training ran on a single machine with 8 NVIDIA P100 GPUs.", + "C6": "Optimization used Adam with beta_1=0.9, beta_2=0.98, epsilon=1e-9.", + "C7": "Label smoothing of epsilon_ls=0.1 was applied during training, trading perplexity for accuracy/BLEU.", + "C8": "WMT 2014 EN-DE training used ~4.5M sentence pairs with a shared ~37k BPE vocabulary.", + "C9": "A self-attention layer links all positions in O(1) sequential operations; a recurrent layer needs O(n).", + "C10": "On English constituency parsing the Transformer beats BerkeleyParser even when trained only on the 40K-sentence WSJ set.", + "C11": "The paper's conclusion: the Transformer replaces recurrent encoder-decoder layers with multi-headed self-attention.", + "C12": "Stated future work: extend the Transformer to input/output modalities other than text.", +} + +# Labels the vision pass read off the figure; the build records which of them are +# also present verbatim in the paper's text (cross-modal consistency). +VISION_LABELS = [ + "Inputs", "Input Embedding", "Positional Encoding", "Nx", + "Multi-Head Attention", "Add & Norm", "Feed Forward", + "Outputs (shifted right)", "Output Embedding", + "Masked Multi-Head Attention", "Linear", "Softmax", "Output Probabilities", +] + +FIGURE_REF = "1706.03762v7/Figures/ModalNet-21.png" +VISION_CAPTION = ( + "Tall vertical flow chart on white, split into a left Encoder half and a right " + "Decoder half. Encoder bottom-to-top: 'Inputs' -> 'Input Embedding' (pink) -> a " + "plus-sign circle fed by a yin-yang swirl labelled 'Positional Encoding' -> an " + "'Nx' stack of 'Multi-Head Attention' (peach) / 'Add & Norm' (green, residual " + "loop) / 'Feed Forward' (blue) / 'Add & Norm' (green). Decoder bottom-to-top: " + "'Outputs (shifted right)' -> 'Output Embedding' -> positional-encoding add -> an " + "'Nx' stack of 'Masked Multi-Head Attention' / 'Add & Norm' / 'Multi-Head " + "Attention' (cross-attention, fed from the encoder top) / 'Add & Norm' / 'Feed " + "Forward' / 'Add & Norm', then 'Linear' (lavender) -> 'Softmax' -> 'Output " + "Probabilities'. Arrow types: thick upward main flow, residual loops curving into " + "each Add & Norm, three short parallel Q/K/V arrows into each attention block, a " + "horizontal encoder-to-decoder connector, and plus-sign add nodes. The image " + "itself carries no caption text." +) + +quotes = [] +for cid, label, a, b in QUOTES: + quotes.append((cid, label, slice_between(a, b))) + +sections = [(len(m.group(1)), m.group(2)) for m in + re.finditer(r"^(#{1,6})\s+(.+?)\s*$", source, re.M)] +# drop the document title line ("# Attention Is All You Need") and the trailing +# "Attention Visualizations" appendix heading is kept as a real section. +sections = [(lv, t) for lv, t in sections if t != "Attention Is All You Need"] + +present = [l for l in VISION_LABELS if l in source] +absent = [l for l in VISION_LABELS if l not in source] + +w, h = png_dims(FIG) +src_sha, fig_sha = sha(SRC), sha(FIG) +now = datetime.datetime.now(datetime.timezone.utc).replace(microsecond=0).isoformat() + +L = [] +A = L.append +A("# Archive note - Attention Is All You Need (arXiv:1706.03762v7)") +A("") +A("- Artifact: `transformer-archive`") +A("- Curator: sphinx (Archive lane)") +A("- Built (UTC): %s" % now) +A("- Source URL: https://arxiv.org/html/1706.03762v7") +A("- Version: v7 (submitted 12 Jun 2017; last revised 2 Aug 2023)") +A("- Source snapshot: `SOURCE-text.md` (%d bytes, sha256 %s)" % (os.path.getsize(SRC), src_sha)) +A("- Figure: `figure1.png` (PNG %dx%d, %d bytes, sha256 %s)" % (w, h, os.path.getsize(FIG), fig_sha)) +A("- Retrieval: web_extract on the arXiv HTML rendering; figure via curl from the same origin.") +A("- Every quote below was sliced verbatim out of `SOURCE-text.md` at build time by") +A(" anchor pair, not typed by hand. `verify.py` re-derives all of it.") +A("") +A("## Section map (from the snapshot)") +A("") +for lv, t in sections: + A("- %s `%s`" % ("#" * lv, t)) +A("") +A("## Claims (each quote is verbatim from the snapshot)") +A("") +for cid, label, q in quotes: + A("### %s - %s" % (cid, label)) + A("Claim: %s" % CLAIMS[cid]) + A("QUOTE| %s" % q) + A("") +A("## Figure 1 - multimodal record") +A("") +A("- Archived file: `figure1.png`") +A("- Reference in the paper text: `![Refer to caption](%s)`" % FIGURE_REF) +A("- Vision pass (measured, produced by a vision model over the pixels - not typed):") +A(" %s" % VISION_CAPTION) +A("- Figure labels that also occur verbatim in the paper text (%d): %s" + % (len(present), ", ".join("`%s`" % l for l in present))) +A("- Figure-only labels, not present in the paper text (%d): %s" + % (len(absent), ", ".join("`%s`" % l for l in absent))) +A("") +A("## Provenance and integrity") +A("") +A("- `manifest.json` carries sha256 + byte size for both payloads, the UTC build time,") +A(" the section map, the quote list, and the figure-label cross-check.") +A("- `verify.py` independently re-hashes the payloads, re-derives every quote as a") +A(" substring of the snapshot, re-derives the figure-label split, and checks the") +A(" PNG magic bytes and IHDR dimensions. Exit code 0 iff all of it holds.") +A("") + +open(os.path.join(D, "archive.md"), "w", encoding="utf-8").write("\n".join(L)) + +manifest = { + "artifact": "transformer-archive", + "curator": "sphinx", + "built_utc": now, + "source": { + "url": "https://arxiv.org/html/1706.03762v7", + "version": "v7", + "snapshot": "SOURCE-text.md", + "sha256": src_sha, + "bytes": os.path.getsize(SRC), + }, + "figure": { + "file": "figure1.png", + "source_ref_in_text": FIGURE_REF, + "png_width": w, + "png_height": h, + "sha256": fig_sha, + "bytes": os.path.getsize(FIG), + }, + "vision_labels": VISION_LABELS, + "vision_labels_present_in_text": present, + "vision_labels_absent_from_text": absent, + "sections": [{"level": lv, "title": t} for lv, t in sections], + "quotes": [{"id": cid, "label": label, "text": q} for cid, label, q in quotes], +} +open(os.path.join(D, "manifest.json"), "w", encoding="utf-8").write( + json.dumps(manifest, indent=2, ensure_ascii=False) + "\n") + +print("built: %d claims, %d sections, %d/%d figure labels in text" + % (len(quotes), len(sections), len(present), len(VISION_LABELS))) diff --git a/wizard-work/sphinx/transformer-archive/figure1.png b/wizard-work/sphinx/transformer-archive/figure1.png new file mode 100644 index 0000000..af41865 Binary files /dev/null and b/wizard-work/sphinx/transformer-archive/figure1.png differ diff --git a/wizard-work/sphinx/transformer-archive/manifest.json b/wizard-work/sphinx/transformer-archive/manifest.json new file mode 100644 index 0000000..03b9557 --- /dev/null +++ b/wizard-work/sphinx/transformer-archive/manifest.json @@ -0,0 +1,236 @@ +{ + "artifact": "transformer-archive", + "curator": "sphinx", + "built_utc": "2026-10-20T20:47:46+00:00", + "source": { + "url": "https://arxiv.org/html/1706.03762v7", + "version": "v7", + "snapshot": "SOURCE-text.md", + "sha256": "8e0403fcc8d11dad28ab64ffa9edc302279c2b818ff45f64f6754b256b983161", + "bytes": 36700 + }, + "figure": { + "file": "figure1.png", + "source_ref_in_text": "1706.03762v7/Figures/ModalNet-21.png", + "png_width": 1520, + "png_height": 2239, + "sha256": "56d69ccc192b90c3b93e5e285ff892f74753f970103939b40291945e106e9f79", + "bytes": 159152 + }, + "vision_labels": [ + "Inputs", + "Input Embedding", + "Positional Encoding", + "Nx", + "Multi-Head Attention", + "Add & Norm", + "Feed Forward", + "Outputs (shifted right)", + "Output Embedding", + "Masked Multi-Head Attention", + "Linear", + "Softmax", + "Output Probabilities" + ], + "vision_labels_present_in_text": [ + "Positional Encoding", + "Multi-Head Attention", + "Softmax" + ], + "vision_labels_absent_from_text": [ + "Inputs", + "Input Embedding", + "Nx", + "Add & Norm", + "Feed Forward", + "Outputs (shifted right)", + "Output Embedding", + "Masked Multi-Head Attention", + "Linear", + "Output Probabilities" + ], + "sections": [ + { + "level": 6, + "title": "Abstract" + }, + { + "level": 2, + "title": "1 Introduction" + }, + { + "level": 2, + "title": "2 Background" + }, + { + "level": 2, + "title": "3 Model Architecture" + }, + { + "level": 3, + "title": "3.1 Encoder and Decoder Stacks" + }, + { + "level": 5, + "title": "Encoder:" + }, + { + "level": 5, + "title": "Decoder:" + }, + { + "level": 3, + "title": "3.2 Attention" + }, + { + "level": 4, + "title": "3.2.1 Scaled Dot-Product Attention" + }, + { + "level": 4, + "title": "3.2.2 Multi-Head Attention" + }, + { + "level": 4, + "title": "3.2.3 Applications of Attention in our Model" + }, + { + "level": 3, + "title": "3.3 Position-wise Feed-Forward Networks" + }, + { + "level": 3, + "title": "3.4 Embeddings and Softmax" + }, + { + "level": 3, + "title": "3.5 Positional Encoding" + }, + { + "level": 2, + "title": "4 Why Self-Attention" + }, + { + "level": 2, + "title": "5 Training" + }, + { + "level": 3, + "title": "5.1 Training Data and Batching" + }, + { + "level": 3, + "title": "5.2 Hardware and Schedule" + }, + { + "level": 3, + "title": "5.3 Optimizer" + }, + { + "level": 3, + "title": "5.4 Regularization" + }, + { + "level": 5, + "title": "Residual Dropout" + }, + { + "level": 5, + "title": "Label Smoothing" + }, + { + "level": 2, + "title": "6 Results" + }, + { + "level": 3, + "title": "6.1 Machine Translation" + }, + { + "level": 3, + "title": "6.2 Model Variations" + }, + { + "level": 3, + "title": "6.3 English Constituency Parsing" + }, + { + "level": 2, + "title": "7 Conclusion" + }, + { + "level": 5, + "title": "Acknowledgements" + }, + { + "level": 2, + "title": "References" + }, + { + "level": 2, + "title": "Attention Visualizations" + } + ], + "quotes": [ + { + "id": "C1", + "label": "EN-DE headline result", + "text": "Our model achieves 28.4 BLEU on the WMT 2014 English-to-German translation task, improving over the existing best results, including ensembles, by over 2 BLEU." + }, + { + "id": "C2", + "label": "first pure-self-attention transduction model", + "text": "the Transformer is the first transduction model relying entirely on self-attention to compute representations of its input and output without using sequence-aligned RNNs or convolution." + }, + { + "id": "C3", + "label": "encoder stack depth", + "text": "The encoder is composed of a stack of N=6 identical layers." + }, + { + "id": "C4", + "label": "multi-head width", + "text": "In this work we employ h=8 parallel attention layers, or heads. For each of these we use d_k=d_v=d_(model)/h=64." + }, + { + "id": "C5", + "label": "training hardware", + "text": "We trained our models on one machine with 8 NVIDIA P100 GPUs." + }, + { + "id": "C6", + "label": "optimizer", + "text": "We used the Adam optimizer [20] with β_1=0.9, β_2=0.98 and ϵ=10^(−9)." + }, + { + "id": "C7", + "label": "label smoothing", + "text": "During training, we employed label smoothing of value ϵ_(ls)=0.1 [36]. This hurts perplexity, as the model learns to be more unsure, but improves accuracy and BLEU score." + }, + { + "id": "C8", + "label": "training data", + "text": "We trained on the standard WMT 2014 English-German dataset consisting of about 4.5 million sentence pairs." + }, + { + "id": "C9", + "label": "self-attention vs recurrent complexity", + "text": "a self-attention layer connects all positions with a constant number of sequentially executed operations, whereas a recurrent layer requires O(n) sequential operations." + }, + { + "id": "C10", + "label": "constituency parsing generalization", + "text": "the Transformer outperforms the BerkeleyParser [29] even when training only on the WSJ training set of 40K sentences." + }, + { + "id": "C11", + "label": "conclusion", + "text": "we presented the Transformer, the first sequence transduction model based entirely on attention, replacing the recurrent layers most commonly used in encoder-decoder architectures with multi-headed self-attention." + }, + { + "id": "C12", + "label": "future work / other modalities", + "text": "We plan to extend the Transformer to problems involving input and output modalities other than text" + } + ] +} diff --git a/wizard-work/sphinx/transformer-archive/verify.py b/wizard-work/sphinx/transformer-archive/verify.py new file mode 100644 index 0000000..865bc3a --- /dev/null +++ b/wizard-work/sphinx/transformer-archive/verify.py @@ -0,0 +1,123 @@ +#!/usr/bin/env python3 +"""Independent re-verification of the transformer-archive artifact. + +Exit code 0 iff ALL of the following hold, re-derived from the files on disk: + * manifest.json parses and carries the expected keys + * SOURCE-text.md matches its recorded sha256 + byte size + * figure1.png matches its recorded sha256 + byte size, is a real PNG, and its + IHDR dimensions match the manifest + * the figure's in-text reference string occurs in the snapshot + * every quote recorded in manifest.json is a VERBATIM substring of the snapshot + * every "QUOTE| " line in archive.md is a verbatim substring of the snapshot and + the count matches the manifest + * the archive's section map matches the manifest's section map + * the figure-label split (present-in-text vs figure-only) is re-derived from the + snapshot and matches the manifest + * the archive is non-trivial (>= 8 claims, >= 8 sections) and cites both payloads + +A fabricated quote, a swapped figure, or an edited snapshot makes this exit nonzero. +""" +import hashlib, json, os, struct, sys + +D = os.path.dirname(os.path.abspath(__file__)) +SRC = os.path.join(D, "SOURCE-text.md") +FIG = os.path.join(D, "figure1.png") +MAN = os.path.join(D, "manifest.json") +ARC = os.path.join(D, "archive.md") + +failures = [] + + +def check(cond, msg): + print(("ok - " if cond else "FAIL - ") + msg) + if not cond: + failures.append(msg) + + +def sha(path): + h = hashlib.sha256() + with open(path, "rb") as f: + for chunk in iter(lambda: f.read(1 << 16), b""): + h.update(chunk) + return h.hexdigest() + + +# --- files exist ----------------------------------------------------------- +for p in (SRC, FIG, MAN, ARC): + check(os.path.isfile(p), "exists: %s" % os.path.basename(p)) +if failures: + print("\n%d failure(s) - aborting" % len(failures)) + sys.exit(1) + +source = open(SRC, encoding="utf-8").read() +arc = open(ARC, encoding="utf-8").read() +man = json.load(open(MAN, encoding="utf-8")) + +# --- 1. manifest shape ----------------------------------------------------- +for key in ("source", "figure", "sections", "quotes", "vision_labels_present_in_text"): + check(key in man, "manifest has key: %s" % key) + +# --- 2. snapshot integrity ------------------------------------------------- +check(sha(SRC) == man["source"]["sha256"], + "snapshot sha256 matches manifest (%s)" % man["source"]["sha256"][:16]) +check(os.path.getsize(SRC) == man["source"]["bytes"], + "snapshot byte size matches manifest (%d)" % man["source"]["bytes"]) + +# --- 3. figure integrity --------------------------------------------------- +check(sha(FIG) == man["figure"]["sha256"], + "figure sha256 matches manifest (%s)" % man["figure"]["sha256"][:16]) +check(os.path.getsize(FIG) == man["figure"]["bytes"], + "figure byte size matches manifest (%d)" % man["figure"]["bytes"]) +head = open(FIG, "rb").read(24) +check(head[:8] == b"\x89PNG\r\n\x1a\n", "figure has PNG magic bytes") +w, h = struct.unpack(">II", head[16:24]) +check((w, h) == (man["figure"]["png_width"], man["figure"]["png_height"]), + "figure IHDR %dx%d matches manifest" % (w, h)) +check(man["figure"]["source_ref_in_text"] in source, + "figure reference %r occurs in the snapshot" % man["figure"]["source_ref_in_text"]) + +# --- 4. every recorded quote is verbatim in the snapshot -------------------- +check(len(man["quotes"]) >= 8, "manifest records >= 8 quotes (got %d)" % len(man["quotes"])) +bad = [q["id"] for q in man["quotes"] if q["text"] not in source] +check(not bad, "all %d manifest quotes are verbatim substrings of the snapshot%s" + % (len(man["quotes"]), " (bad: %s)" % bad if bad else "")) + +# --- 5. archive.md quote lines -------------------------------------------- +quote_lines = [ln[len("QUOTE| "):] for ln in arc.splitlines() if ln.startswith("QUOTE| ")] +check(len(quote_lines) == len(man["quotes"]), + "archive.md has %d QUOTE lines, manifest has %d" % (len(quote_lines), len(man["quotes"]))) +bad2 = [i for i, q in enumerate(quote_lines) if q not in source] +check(not bad2, "all archive.md QUOTE lines are verbatim substrings of the snapshot%s" + % (" (bad idx: %s)" % bad2 if bad2 else "")) +check(sorted(quote_lines) == sorted(q["text"] for q in man["quotes"]), + "archive.md QUOTE lines are exactly the manifest quotes") + +# --- 6. section map -------------------------------------------------------- +check(len(man["sections"]) >= 8, "manifest records >= 8 sections (got %d)" % len(man["sections"])) +sec_lines = [ln[2:].strip() for ln in arc.splitlines() if ln.startswith("- #")] +check(len(sec_lines) == len(man["sections"]), + "archive.md has %d section lines, manifest has %d" % (len(sec_lines), len(man["sections"]))) +check(sec_lines == ["#" * s["level"] + " `" + s["title"] + "`" for s in man["sections"]], + "archive.md section map equals the manifest section map") + +# --- 7. figure-label cross-check, re-derived from the snapshot ------------- +labels = man["vision_labels_present_in_text"] + man["vision_labels_absent_from_text"] +recomputed_present = [l for l in labels if l in source] +recomputed_absent = [l for l in labels if l not in source] +check(recomputed_present == man["vision_labels_present_in_text"], + "re-derived present-in-text labels match manifest (%d)" % len(recomputed_present)) +check(recomputed_absent == man["vision_labels_absent_from_text"], + "re-derived figure-only labels match manifest (%d)" % len(recomputed_absent)) + +# --- 8. archive cites both payloads and the source ------------------------- +for needle in ("SOURCE-text.md", "figure1.png", "https://arxiv.org/html/1706.03762v7", + "verify.py"): + check(needle in arc, "archive.md cites %r" % needle) + +print() +if failures: + print("%d FAILURE(S)" % len(failures)) + sys.exit(1) +print("ALL CHECKS PASSED (%d quotes, %d sections, %d figure labels cross-checked)" + % (len(man["quotes"]), len(man["sections"]), len(labels))) +sys.exit(0)