Title: No title found

Abstract: We introduce the masked translation model (MTM) which combines encoding and decoding of sequences within the same model component. The MTM is based on the idea of masked language modeling and supports both autoregressive and nonautoregressive decoding strategies by simply changing the order of masking. In experiments on the WMT 2016 Romanian→English task, the MTM shows strong constant-time translation performance, beating all related approaches with comparable complexity. We also extensively compare various decoding strategies supported by the MTM, as well as several length modeling techniques and training settings.

1. INTRODUCTION:

Neural machine translation (NMT) has been developed under the encoder-decoder framework (Sutskever et al., 2014) with an intermediary attention mechanism (Bahdanau et al., 2015) . The encoder learns contextualized representations of source tokens, which are used by the decoder to predict target tokens. These two components have individual roles in the translation process, and they are connected via an encoder-decoder attention layer (Bahdanau et al., 2015) . Many advances in NMT modeling are based on changes in the internal layer structure (Gehring et al., 2017; Wang et al., 2017; Vaswani et al., 2017; Chen et al., 2018; Dehghani et al., 2019; Yang et al., 2019) , tweaking the connection between the layers (Zhou et al., 2016; Shen et al., 2018; Bahar et al., 2018; Li et al., 2019a) , or appending extra components or latent variables (Gu et al., 2016; Zhang et al., 2016; Shah & Barber, 2018; Hao et al., 2019 ) -all increasing the overall architectural complexity of the model while keeping the encoder and decoder separated.

Our goal is to simplify the general architecture of machine translation models. For this purpose, we propose the masked translation model (MTM) -a unified model which fulfills the role of both the encoder and decoder within a single component. The MTM gets rid of the conventional decoder as well as the encoder-decoder attention mechanism. Its architecture is only a sequence encoder with self-attention layers, trained with an objective function similar to masked language modeling (Devlin et al., 2019) . In order to model the translation problem, the MTM is given the concatenation of the source and target side from a parallel sentence pair. This approach is similar to the translation language model presented by Lample & Conneau (2019) , but focuses on the target side, i.e. the masking is applied to some selected positions in the target sentence. The MTM is trained to predict the masked target words relying on self-attention layers which consider both the source sentence and a masked version of the target sentence. Trained in this way, the model is perfectly suitable for non-autoregressive decoding since the model learned to predict every position in parallel, removing the dependency on decisions at preceding target positions.

Within its extremely simple architecture, one can realize various decoding strategies, e.g., using left-to-right, non-autoregressive, or iterative decoding by merely adjusting the masking schemes in search. We present a unified formulation of the MTM for different decoding concepts by factorizing the model probability over a set of masked positions.

The MTM has several advantages over the conventional encoder-decoder framework:

• A simpler architecture

• Source and target representations interact in every layer:

• A variety of decoding strategies including constant-time approaches (Section 3.3.1) On the WMT 2016 Romanian→English translation task, our MTM achieves a better performance than comparable non-autoregressive/constant-time methods while keeping its simple architecture. Using our general formulation of the MTM, we compare the translation performance of various decoding strategies. Moreover, we show that this model allows for decoding speed-up by merely adjusting the number of iterations at the small cost of translation performance.

2. RELATED WORK:

There have been some attempts to combine the encoder and decoder into a single component for simplified translation modeling. He et al. (2018) share the encoder and decoder parameters of a Transformer translation model (Vaswani et al., 2017) and allow the encoder-decoder attention to access the inner layers of the encoder as well. Fonollosa et al. (2019) extend this idea by adding locality constraints in all attention layers. Radford et al. (2019) train a Transformer decoder on a large monolingual corpus as a language model and use it as an unsupervised translation model on pairs of source and target sentences. Similarly to our work, all these approaches couple the encoding and decoding on the self-attention level. However, their decoding considers only left-side target context, enabling only left-to-right autoregressive translation. Furthermore, their encoding of a source sentence is limited to the source side itself, while our MTM can refine the source representations according to a partial target hypothesis represented in the decoder states. Both aspects hinder their methods from making the best use of the bidirectional representation power of the combined model. Non-autoregressive NMT, which predicts all target words in parallel, potentially exploits full bidirectional context in decoding. To make the parallel decoding produce a reasonable hypothesis, Gu et al. (2018) reuse the source words as inputs to the decoder and insert an additional attention module on the positional embeddings. Lee et al. (2018) use a separate decoder to revise the target hypotheses iteratively, where Ghazvininejad et al. (2019) train a single decoder with MLM objectives for both the first prediction and its refinements. To improve the integrity of the hypotheses, one could also employ an autoregressive teacher to guide the states of the non-autoregressive decoder (Wei et al., 2019; Li et al., 2019b) , apply sentence-level rewards in training (Shao et al., 2019) , or integrate generative flow latent variables (Ma et al., 2019) . The self-attention layers of their decoders attend to all target positions, including past and future contexts. However, all these methods still rely on the encoder-decoder framework. In this work, we collapse the boundary of the encoding and decoding of sequences and realize non-autoregressive NMT with a unified model. Regardless of the encoding or decoding, the self-attention layers of our MTM attend to all available source and target words for flexible information flow and a model of simplicity.

A common problem in non-autoregressive sequence generation is that the length of an output should be predefined beforehand. The problem has been addressed by averaging length difference (Li et al., 2019b) , estimating fertility (Gu et al., 2018) , dynamically inserting blank outputs via connectionist temporal classification (CTC) (Libovickỳ & Helcl, 2018) , or directly predicting the total length from the encoder representations (Lee et al., 2018; Ghazvininejad et al., 2019; Wei et al., 2019; Ma et al., 2019) . In this work, we train a separate, compact length model on given bilingual data.

The training of an MTM is based on the MLM objective (Devlin et al., 2019) , developed for pretraining representations for natural language understanding tasks (Wang et al., 2019) . Lample & Conneau (2019) concatenate source and target sentences and use them together as the input to an MLM, where both source and target tokens are randomly masked for the training. This improves cross-lingual natural language inference in combination with the original MLM objective, but has not been applied to translation tasks. We use the concatenated input sentences but selectively mask out only target tokens to implement source→target translation. As for inference with an MLM, Wang & Cho (2019) and Ghazvininejad et al. (2019) propose to build up an output sequence iteratively by adjusting the input masking for each iteration. In this work, the generation procedures of both works are tested and compared within our MTM, along with other autoregressive/non-autoregressive decoding strategies (Section 4.1).

3. MASKED TRANSLATION MODEL:

We introduce the masked translation model (MTM) focusing on three aspects: model architecture, training, and decoding. In the corresponding sections, we show how the MTM 1) relaxes the con- ventional architectural constraint of the encoder-decoder framework, 2) learns to perform both nonautoregressive translation and its refinements, and 3) does translation with various decoding strategies in a variable number of iterations.

3.1. MODEL:

Given a source sentence f J 1 = f 1 , ..., f j , ..., f J (source input) the goal of an MTM p θ is to generate the correct translation e I 1 = e 1 , ..., e i , ..., e I (target output) by modeling:

EQUATION

where Ẽi := Ẽ(e i-1 1 , e I i+1 ) (target input) is a corrupted version -a subset -of the surrounding context in the target sentence e I 1 . Therefore, the MTM models the true target sentence e I 1 independently for each position, given both the true source and a noisy version of the target context.

Figure 1 illustrates the MTM network architecture which is the same as the MLM presented by Devlin et al. (2019) or the encoder of a Transformer network (Vaswani et al., 2017) with an output softmax layer on top of all corrupted positions. In particular, an MLM consists of N transformer encoder layers each containing two blocks: a self-attention layer with full bidirectional context as well as two linear layers with a RELU activation in between. Layer normalization is applied before every block, and a residual connection is used to combine the output of a block with its input (Vaswani et al., 2017) .

The source f J 1 and the noisy target sentence ẽI 1 are concatenated with a special boundary token '</T>' as separator and given to the model as a single input sequence. The tokens of this sequence are converted to embedding vectors x J+I+1 1 , whose space is shared over the source and target languages by a joint subword vocabulary. A positional encoding vector (Vaswani et al., 2017) is added where the position index is reset at the first target token. Similarly to He et al. (2018) and Lample & Conneau (2019), we add language embeddings to distinguish source and target vocabularies efficiently. The embedded representations pass through N transformer encoder layers, where the attention has no direction constraints; this allows the model to use the full bidirectional context beyond the language boundary. Note that the hidden representations of source words can also attend to those of (partially hypothesized) target tokens, which is impossible in the encoder-decoder architecture.

3.2. TRAINING:

During training the target side input ẽI 1 may be 1) fully masked out, resembling the initial stage of translation before hypothesizing any target words, 2) partially corrupted, simulating intermediate hypotheses of the translation process that need to be corrected, 3) or even the original target sentence e I 1 , representing the final stage of translation which should not be refined further. The different levels of corruptions are used to model all plausible cases which we encounter in the decoding process -from primitive hypotheses to high-quality translations (Section 3.3).

Given bilingual training data D = {(f J:

1 , e I 1 )}, the first scenario can be easily simulated by masking out all positions of the target input, i.e. ẽi = </M> for all i, while the target output e I 1 remains unchanged. In this case, the model effectively describes the conditional distribution p(e I 1 |f J 1 , I). Note that a model for length prediction is trained separately and the details of which can be found Appendix A.

We cannot expect a single step of parallel decoding to output an optimal translation from only the source context. Therefore, we consider the second scenario of refining the hypothesis, where we simulate a partial hypothesis in training by artificially corrupting the given target sentence in the input. For training an MTM, we formulate this corruption by probabilistic models to 1) select the positions to be corrupted (p s ) and 2) decide how such a position is corrupted (p c ). The goal of the MTM is now to reconstruct the original target sentence e I 1 . This leads to the training loss:

EQUATION

where C is a set of positions to be corrupted. The corrupted target input ẽI 1 is generated in two steps of random decisions (Devlin et al., 2019 ):

1. Target positions i ∈ C for the corruption are sampled from a uniform distribution until ρ s • I samples are drawn, with hyperparameter ρ s ∈ [0, 1]. We denote this selection process by C ∼ p s (C|e I 1 ) = p s (C|I) as a simplified notation. 2. The specific type of corruption for each selected position i ∈ C is chosen independently by sampling ẽi from p c (ẽ i |e i ).

Note that we train the model to reconstruct the original token e i only for the corrupted positions i ∈ C. For the remaining positions i / ∈ C, the corrupted sentence is filled with the original word, i.e. ẽi = e i . These uncorrupted positions provide the context to the network for the denoising, and no loss is applied for these positions to prevent a bias towards copying. We optimize this criterion in a stochastic way, where C and the ẽi are sampled anew for each epoch and each training instance. In principle, the MTM is a denoising autoencoder of the target sentence conditioned on a source sentence.

The MTM training can be customized by selecting p s and p c appropriately. Following Devlin et al. (2019) , the probability p s is defined as a uniform distribution over all target positions, without considering the content of the sentence. For the corruption model p c , we define a set of operations and assign a probability mass ρ o ∈ [0, 1] to each operation o. We use the three operations presented by Devlin et al. (2019) :

• Replace with a mask token:

Mask: p c (ẽ i = </M>|e i ) = ρ mask (3)

• Replace with a random word e * uniformly sampled from the target vocabulary V e :

Random:

p c (ẽ i = e * ∼ V e |e i ) = ρ rand (4)

• Keep unchanged: 2018)) of the hypothesis (for τ > 1). In the context of this work, an iteration of the MTM during decoding refers to one forward pass of the model based on a given source and target input, followed by the selection of a target output based on the predictions of the MTM. To simplify the notation, we denote the given source sentence by F = f J 1 and the generated target translation by Ê = êI 1 . Similar to traditional translation models, the goal of decoding with an MTM is to find a hypothesis Ê that maximizes the translation probability:

EQUATION

EQUATION

We approximate this by a two stage maximization process where we first determine the most likely target length Î := arg max I {p(I|F )} followed by:

Ê(F, Î) = arg max E {p(E| Î, F )} (7)

Instead of a left-to-right factorization of the target sentence which is common in autoregressive decoding, we perform a step-wise optimization on the whole sequence. For this we define the sequence Ê(τ) starting from Ê(0) :=</M>,...,</M> by selecting the best hypothesis given the predecessor Ê(τ-1) , i.e.: Ê(τ) := arg max

EQUATION

Introducing an intermediate representation Ẽ allows for a more fine-grained control of the decoding process:

EQUATION

where the probability p θ is modeled by a neural network with parameters θ and the masked sequence Ẽ(τ-1) is modelled by p m , which defines a specific search strategy (Section 3.3.1). In most scenarios, the search strategy is defined to be deterministic, which has the effect that all probability mass of p m is concentrated on one masked sequence Ẽ(τ-1) and we can reformulate Equation (8) as:

EQUATION

)

and thus the score is defined solely by the MTM network.

The iterative procedure presented in Equation ( 10) describes a greedy optimization, as it selects the currently best hypothesis in each iteration. This does not provide any guarantee for the quality of Compute the model output greedily for every position:

ê(τ) i ← arg max ei p θ (e i | Ẽ(τ-1) , F, Î) ∀i ∈ {1, ..., Î} Ê(τ) ← ê(τ) 1 , ..., ê(τ) Î Output: Ê ← Ê(T )

the final output. However, if we assume that the model score improves in each iteration, i.e. if we can show that:

EQUATION

then we know that the maximum score is obtained in the last iteration T . To the best of our knowledge, it is not possible to provide a theoretical proof for this property, yet we will show empirical evidence that it holds in practice (see Section 4.1).

Thus, in order to find the best hypothesis, it is sufficient to follow the recursive definition presented in Equation ( 10), which can be computed straight forward resulting in an iterative decoding scheme. Algorithm 1 describes this process of MTM decoding. In short, 1) generate a hypothesis ( Ê), 2) select positions to be masked, and 3) feed the masked hypothesis ( Ẽ) back to the next iteration.

Note that the output for each position e (τ ) i is computed in the same forward pass without a dependency on other words e (τ ) i (i = i) from the same decoding step. This means that the first iteration (τ = 1) is non-autoregressive decoding (Gu et al., 2018; Libovickỳ & Helcl, 2018) . Nonautoregressive models tend to suffer from the multimodality problem (Gu et al., 2018) , where conditionally independent models are inadequate to capture the highly multimodal distribution of target translations.

Our MTM decoding prevents this problem making iterative predictions Ê(τ) each conditioned on the previous sequence. Each Ê(τ) results from one forward pass, yielding a complexity of O(T ) decoding steps instead of O(I) as in traditional autoregressive NMT. Thus the MTM decoding can potentially be much faster than conditional decoding of a standard encoder-decoder NMT model, as the number of iterations is not dictated by the target output length I. Furthermore, compared to the pure non-autoregressive decoding with only one iteration, our decoding algorithm may collapse the multimodal distribution of the target translation by conditioning on the previous output (Lee et al., 2018) .

3.3.1. DECODING STRATEGIES:

The masking probability p m introduced in Equation ( 9) resembles the two-step corruption of the training (Equation (2)):

EQUATION

)

where C is a set of positions to be masked. Similarly to the training, the corruption is performed only for i ∈ C (τ ) and the remaining positions i / ∈ C (τ ) are kept untouched. For the corruption model p c in decoding, only the Mask operation is activated, i.e. ρ mask = 1 and ρ o = 0 for o = mask. This leads to the following simple decisions:

EQUATION

The resulting masked sequence Ẽ(τ) is supposed to shift the model's focus towards a selected number of words, chosen by the decoding strategy p s .

Given this definition of p c above, a masked (intermediate) hypothesis in decoding is determined solely by the position selection p s , which differs by decoding strategy. Each decoding strategy starts from a fully masked target input, i.e. C (0) = {1, ..., I}, and uncovers positions incrementally in each iteration.

Fully unmasking:

The simplest solution is to simply feed back the completely unmasked sequence in each iteration (Lee et al., 2018) :

EQUATION

This method works with the richest context from the output of the previous iteration. This may, however, hurt the model's performance as the first output is often quite poor, and the focus of the model is spread across the whole sentence.

Random:

Instead of unmasking all positions from the beginning, one can unmask the sequence randomly one position at a time (Wang & Cho, 2019) , inspired by Gibbs sampling (Geman & Geman, 1984) :

EQUATION

Note that this method is nondeterministic and it takes at least I iterations before the output is conditioned on the completely unmasked sequence.

Left-to-Right (L2R):

A deterministic alternative to the random strategy is to unveil the sequence step-wise, starting from the left-most position in the target sequence. In every decoding iteration τ = 1, ..., T , the index i = τ -1 is removed from the set of masked positions:

EQUATION

This corresponds to the traditional autoregressive NMT, but the parallel nature of our MTM decoding inherently enables to update the prediction for any position at any time, e.g. the prediction for the first position can change in the last iteration. Furthermore, it allows for different step-wise strategies -revealing the sequence right-to-left (R2L) or starting from the middle in both directions (middleout) -without re-training the model.

Confidence-based:

L2R decoding ignores a huge advantage of the MTM, which is the property that the fully bidirectional model can predict sequence elements in any given order. This characteristic is leveraged by masking a decreasing number of K(τ ) positions in each iteration:

EQUATION

At each iteration, K(τ ) positions with the lowest model score p θ (confidence) remain masked:

i k = arg min i / ∈{i1,...,i k-1 } p θ (ê (τ ) i | Ẽ(τ-1) , F ) ∀k ∈ {1, ..., K(τ )} (18)

where the number of masked positions K(τ ) is chosen to be linearly decreasing over the number of iterations T (Ghazvininejad et al., 2019) :

K(τ ) = I -τ • I T (19)

One can also unmask positions one by one, i.e. K(τ ) = I -τ , sacrificing potential improvements in decoding speed. Fertility-based (Gu et al., 2018) 29.1 -CTC (Libovickỳ & Helcl, 2018) 24.7 -Imitation learning (Wei et al., 2019) 28.9 -Reinforcement learning (Shao et al., 2019) 27.9 -Generative flow (Ma et al., 2019) 30. 

4. EXPERIMENTS:

We implemented the MTM in the RETURNN framework (Doetsch et al., 2017) and evaluate the performance on the WMT 2016 Romanian→English translation task1 . All data used in the experiments are preprocessed using the MOSES (Koehn et al., 2007) tokenizer and frequent-casing (Vilar et al., 2010) . We learn a joint source/target byte pair encoding (BPE) (Sennrich et al., 2016) with 20k merge operations on the bilingual training data. Unless mentioned otherwise, we report results on the newstest2016 test set, computed with case sensitivity and tokenization using the software SacreBLEU2 (Post, 2018) .

The MTMs in our experiments follow the base configuration of Vaswani et al. (2017) , however, with a depth of 12 layers and 16 attention heads. They are trained using Adam (Kingma & Ba, 2015) with an initial learning rate of 0.0001 and a batch size of 7,200 tokens. Dropout is applied with a probability of 0.1 to all hidden layers and word embeddings. We set a checkpoint after every 400k sentence pairs of training data and reduce the learning rate by a factor of 0.7 whenever perplexity on the development set (newsdev2016) does not improve for nine consecutive checkpoints. The final models are selected after 200 checkpoints based on the development set perplexity.

During training, we select a certain percentage ρ s of random target tokens to be corrupted. This parameter is selected randomly from a uniform distribution ρ s ∼ U[0, 1] in every training step. We further deviate from Devlin et al. (2019) , by selecting the hyperparameters for corruption to be ρ mask = 0.6, ρ rand = 0.3, and ρ keep = 0.1, which performed best for MTMs in our preliminary experiments.

The main results of the MTM are given in Table 1 along with comparative baselines. In total, our MTM, despite its extremely simple architecture, outperforms comparable constant-time NMT methods which do not depend on sequence lengths. Compared to the conventional autoregressive baseline, the MTM falls behind by only -2.4% BLEU with a constant number of decoding steps and the lower model complexity. Furthermore, a control experiment using the gold length instead of a predicted length improves the results from the same MTM model by 1.5% BLEU. This result minimizes the gap between our MTM and a comparable encoder-decoder model down to 0.9% BLEU, while our model has the ability to improve the decoding speed without retraining by simply reducing the number of iterations, thus trading in performance against speed.

Note that all other methods shown in Table 1 are based on the encoder-decoder architecture, which is more sophisticated. Moreover, the performance of Gu et al. (2018) , Lee et al. (2018) , Wei et al. (2019) and Shao et al. (2019) relies heavily on knowledge distillation from a well-trained autoregressive model, which involves building an additional NMT model and translating the entire training data with that model. This causes a lot more effort and computation time in training, while the MTM requires no such complicated steps, and its training is entirely end-to-end. Ghazvininejad et al. (2019) demonstrate in their work that even better results could be possible by computing multiple translations in parallel for a set of most likely length hypotheses. This approach or even a beam-search variant of our iterative unmasking, will be a focus in our future work.

4.1. DECODING:

As described in Section 3.3.1, the flexibility of the MTM allows us to easily implement different decoding strategies within a single model. Pure non-autoregressive decoding, i.e., a single forward pass to predict all target positions simultaneously, yields poor translation performance of 13.8% BLEU on the validation set (newsdev2016), which implies that several decoding iterations are needed to produce a good hypothesis. We know this to be true if the inequality in Equation ( 11) holds, i.e. if we see our model score improving in every iteration. Figure 3 shows that we can actually observe this property by monitoring the average model score throughout all iterations. Outputs for individual sentences might still worsen between two iterations. The overall score, however, shows a steady improvement in each iteration.

In Figure 4 , we compare various decoding strategies and plot their performance for different number of decoding iterations T . "Fully unmasking", i.e. re-predicting all positions based on the previous hypothesis, improves the hypothesis fast in the early iterations but stagnates at 22% BLEU.

L2R, R2L, and confidence-based one-by-one all unmask one position at a time and show a very similar tendency with confidence-based one-by-one decoding reaching the strongest final performance of 31.9% BLEU. Confidence-based fixed-T unmasks several target positions per time step and achieves similar performance. In contrast to position-wise unmasking, the decoding with a fixed number of T (and linear unmasking) only needs ten decoding iterations to reach close to optimal performance.

We test "middle-out" a variation of the L2R strategy to see whether the generation order is negligible as long as the sentence is generated contiguously. While this improves the hypothesis faster -most likely due to its doubled rate of unmasking -the final performance is worse than those of L2R or R2L decoding. Random selection of the decoding positions shows comparably fast improvements up to the 10th iterations, keeping up with middle-out, even though it reveals the hypothesis for a single position per iteration, however its performance saturates below most other decoding strategies.

Overall the best result for a low iteration count is obtained with confidence-based decoding with a fixed number of iterations. This shows that it is possible and sometimes even beneficial to hypothesize several positions simultaneously. We conclude that the choice of the decoding strategy has substantial impacts on the performance and hypothesize that a good decoding strategy relies on the model score to choose which target positions should be unmasked.

5. CONCLUSION:

In this work we simplify the existing Transformer architecture by combining the traditional encoder and decoder elements into a single component. The resulting masked translation model is trained by concatenating source and target and applying BERT-style masking to the target sentence. The novel training strategy introduced with the MTM requires a rethinking of the search process and allows for various new decoding strategies to be applied in the theoretical framework we developed in this work. A detailed comparison shows that unmasking the sequence one-by-one gives the overall best performance, be it left-to-right, right-to-left, or confidence-based. Unveiling a constant number of tokens based on confidence in each decoding step, however, can achieve reasonable performance with a fixed, much smaller number of iterations.

We show that there is a potential of at least 1.5 % BLEU improvement that can be achieved by more elaborate length models, which yields itself as a good start for further research. Furthermore, we plan to extend the decoding strategies to work with beam search and verify our observations on further language pairs. Table 2 verifies that the translation performance depends highly on the length model. We also report the averaged absolute difference of the predicted length and the reference length. The simplest count-based model shows the worst performance, where the target length is merely determined by a frequency table. The Poisson distribution models the length more systematically, giving +1.1% BLEU against the count-based model. RNN models consider not only the source length but also the whole sentence semantics, and slightly outperform the Poisson distribution. The bidirectional RNN model predicts the target length even better, but the translation performance only improves marginally. Note that using the Reference length improves even further by +1.6% BLEU over our strongest system, which shows that a good length model is a crucial component of the MTM system.

B MODEL HYPERPARAMETERS:

As discussed earlier, the MTM architecture is equivalent to a traditional transformer encoder. Nevertheless, the way it is applied to the task at hand differs very much, even compared to an MLM. Thus it was crucial to do a thorough hyperparameter search to obtain an optimal model performance.

The baseline MTM configuration we present here is already the product of many preliminary experiments, setting the number of attention heads h = 16, dropout P drop = 0.1, and the learning rate reduction scheme. The ablation study presented in table 3 highlights the importance of both the number of attention heads and especially dropout. It also shows that it was crucial to increase the model depth N compared to the standard transformer encoder, by matching the total number of layers N = 12 as they are used in an encoder-decoder model.

C DERIVATION OF DECODING:

In this section, we show a detailed derivation of the decoding process which justifies our iterative optimization procedure and modularizes the unmasking procedure to apply the application of various decoding strategies.

Assuming we have a hypothesized target length Î, the goal is to find an optimal target sequence Ê

given length Î and source sentence F :

EQUATION

The MTM decoding to find such a sequence is performed in T iterations, whose intermediate hypotheses are introduced as latent variables E (1) , . . . , E (T -1) :

= arg max

EQUATION

where the last iteration should provide the final prediction, i.e. E (T ) := E. Applying the chain rule and a first-order Markov assumption on E (τ ) yields:

= arg max

EQUATION

with E 0 := </M>, . . . , </M> a sequence of length Î. In a next step, we approximate the sum by a maximization and subsequently apply a logarithm to get:

EQUATION

To simplify further derivations, we introduce the score function Q here and do another approximation by considering only the score Q from a single maximum timestep instead of the full sum over τ = 1, . . . , T .

≈ arg max

EQUATION

Even with this approximation, we are still trying to find a value for each E (τ ) that optimizes the score of another iteration τ via the connection of dependencies in Q. As this is impractical to compute, we alleviate the problem by focusing on a step-wise maximization. For this we define the sequence Ê(τ) (with Ê(0) := E (0) ) as the best hypothesis of iteration τ given Ê(τ-1) , i.e.:

Ê(τ) := Ê(τ) ( Ê(τ-1) , F, Î) = arg max

EQUATION

If we use Ê(τ-1) instead of E (τ -1) as the dependency in Q, we restrict the optimization to maximizing each step independently, given its predecessors optimum:

Ê(F, Î) ≈ arg max 1) ,...,E (T -1) max τ =1,...,T

EQUATION

Q(E (τ ) | Ê(τ-1) , F, Î)

Ideally, this iterative procedure should improve the score Q in each iteration, i.e.:

max

E (τ +1)

Q(E (τ +1) | Ê(τ) , F, Î) ≥ max

E (τ )

Q(E (τ ) | Ê(τ-1) , F, Î) ∀τ = 1, . . . , T -1

While Equation ( 27) is not true for the general case we observe empirically that this the statement is true on average (see Figure 3 ). This means that the maximum score to be obtained in the last iteration T :

Ê(F, Î) ≈ arg max 1) ,...,E (T -1)

EQUATION

EQUATION

which can be simplified to:

= arg max

E (T )

Q(E (T ) | Ê(T -1) , F, Î) = Ê(T ) (29) Thus, in order to approximate the best hypothesis it is sufficient to follow the recursive definition presented in Equation ( 25), which can be computed straight forward resulting in an iterative decoding scheme.

To allow a more fine-grained control of the decoding process, we introduce a (partially) masked version of hypothesis Ê(τ-1) as a latent variable Ẽ(τ-1) in the score computation:

Q(E (τ ) | Ê(τ-1) , F, Î) = log p(E (τ ) | Ê(τ-1) , F, Î) where the probability of E (τ ) is modeled by the neural network with parameters θ and the masked sequence Ẽ(τ-1) is given by p m , which defines a specific search strategy (Section 3.3.1). Note here that, to remove redundant information in the modeling, p θ drops the direct dependency on Ê(τ-1) and p m ignores the source sentence F . As the last simplifying step, the intractable sum over the masked sequence Ẽ(τ-1) is replaced by a point sample, i.e. Ẽ(τ-1) ∼ p m ( Ẽ(τ-1) | Ê(τ-1) ) for each τ = 1, . . . , T . This may even provide the exact result if p m is designed for a deterministic search strategy.

Q(E (τ ) | Ê(τ-1) , F, Î) = log p θ (E (τ ) | Ẽ(τ-1) , F, Î) + log p m ( Ẽ(τ-1) | Ê(τ-1) , Î)

= log p θ (E (τ ) | Ẽ(τ-1) , F, Î)

D DECODING STRATEGIES For completeness we report the strongest result for each decoding strategy from Figure 4 in Table 4 . 

:

http://www.statmt.org/wmt16/translation-task.html

SacreBLEU configuration string: BLEU+case.mixed+numrefs.1+smooth.exp+tok.13a+version.1.2.17

Figures and Tables:

Figure 1: Visualization of an MTM model during training. The architecture is equivalent to a standard Transformer encoder with bidirectional self-attention. Additionally, the corruption decisions for each position are illustrated in an oval above the model input. The corrupted positions M are indicated before the softmax layer by a filled diamond. Non-corrupted positions (blank diamond) are not predicted in training.

MTM DecodingInput: Source sentence F = f J 1 Î ← arg max I {p(I|F )} Ê(0) ← </M>, . . . , </M> for τ ← 1, . . . , T doSample a masked sequence: Ẽ(τ-1) ∼ p m ( Ẽ(τ-1) | Ê(τ-1) )

Figure 3: Average value of the log-probability over newsdev2016 for each decoding iteration i.e. each refinement step in decoding with a maximum of 160 iterations.

p θ (E (τ ) | Ẽ(τ-1) , F, Î) • p m ( Ẽ(τ-1) | Ê(τ-1) , Î)

Figure 2 shows an example of corrupting a target input sentence in the MTM training. Here all positions except 1 are corrupted, i.e. C = {2, 3, 4}. At Position 2 the original word is kept by the Keep operation of p c but in contrast to Position 1 (No Operation) there is a training loss added for Position 2.

Table content: <table><tr><td>Original: e I 1 =</td><td colspan="2">Thanks</td><td>for</td><td>reading</td><td>this</td></tr><tr><td>Operation:</td><td colspan="2">NoOp.</td><td>Keep</td><td>Mask</td><td>Random</td></tr><tr><td>Corrupted: ẽI 1 =</td><td colspan="2">Thanks</td><td>for</td><td>&lt;/M&gt;</td><td>cat</td></tr><tr><td>Loss:</td><td>×</td><td/><td/><td/></tr><tr><td colspan="6">Figure 2: Example of the MTM corruption process on the target input sentence "Thanks for</td></tr><tr><td colspan="2">reading this" with resulting loss</td><td colspan="3">4 i=2 log p θ (e i |f J 1 , ẽ4 1 ).</td></tr><tr><td>3.3 DECODING</td><td/><td/><td/><td/></tr><tr><td/><td/><td/><td/><td/><td>5)</td></tr></table>

Translation results on the WMT 2016 Romanian→English task on the test set (newstest2016). (I = target hypothesis length, T = number of iterations for the hypothesis generation/refinements)

Table content: <table><tr><td>BLEU [%]</td></tr></table>

Comparison of target hypothesis length modeling for the MTM on the development set (newsdev2016).

Table content: <table><tr><td>Length Model</td><td colspan="2">Avg. ∆I BLEU [%]</td></tr><tr><td>Count-based</td><td>0.70</td><td>30.4</td></tr><tr><td>Poisson distribution</td><td>0.83</td><td>31.5</td></tr><tr><td>RNN</td><td>0.53</td><td>31.7</td></tr><tr><td>Bidirectional RNN</td><td>0.23</td><td>31.9</td></tr><tr><td>Reference</td><td>-</td><td>33.5</td></tr></table>

Comparison for a selected set of hyperparameters: number of layers N , hidden size d model , number of attention heads h, attention key size d k , attention value size d v , dropout probability P drop N (⇔ N enc + N dec ) d model h d

Table content: <table><tr><td>k</td><td>d v</td><td>P drop BLEU [%] TER [%]</td></tr></table>

Comparison of different decoding strategies in greedy decoding for the MTM on the development set (newsdev2016) of the Romanian→English task.

Table content: <table><tr><td/><td>Decoding</td><td/><td/></tr><tr><td>Category</td><td colspan="2">Complexity Decoding Strategy</td><td>BLEU [%]</td></tr><tr><td>Non-autoregressive</td><td>O(1)</td><td>Predict all positions</td><td>13.8</td></tr><tr><td>Non-autoregressive + Refinements</td><td>O(T )</td><td>Fully unmasking Confidence-based (fixed T )</td><td>22.0 31.9</td></tr><tr><td/><td>O(I)</td><td>Confidence-based (one-by-one)</td><td>31.9</td></tr><tr><td/><td/><td>Left-to-right</td><td>31.5</td></tr><tr><td>Autoregressive</td><td>O(I)</td><td>Right-to-left Middle-out</td><td>31.5 30.6</td></tr><tr><td/><td/><td>Random</td><td>29.2</td></tr></table>

Peer review (iclr2020):
This paper combines encoding and decoding of sequences within a single model component and uses masked language modelling for language translation task. Experiments were done for the task of translating Romanian to English and the reported results show that the model works successfully learns to perform the task. While the paper is well written and the model is clearly explained, I am not convinced about the soundness and the original contribution of the paper. The main arguments in support of my decision are as follows. I fail to comprehend the main novelty of the approach proposed in the paper. The model closely follows the masked language modelling and Transformer architecture. In my opinion, there should be a clear distinction with those models and an emphasis on the originality of the proposed approach. It seems that the choice of decoding strategies has substantial impact on the performance of the model. In this paper, decoding strategies followed in Devlin et al. How robust are these strategies with variation in the tasks? Is it possible to learn ps and pc for a given task? The inequality in (11) is crucial for the model to learn. Although there is an empirical evidence of this shown in Fig. 3, there is no intuition explained in the paper. After all, the parameterized policy is learned in a greedy manner, so one would expect an argument in the line of stochastic gradient descent. The advantage of the proposed method over Transformer in in the decoding complexity when T << I. I fail to see the guarantee of that happening.