Combining these two Theorems, it is interesting to note that our method is not just optimal but also faster.
optimal-score hypothesis, though satisfying in theory, is not ideal in practice, since neural models are notoriously bad in producing very short sentences, as opposed to older paradigms such as SMT (Shen et al., 2016).