Without the complications added by hope decoding and a time-dependent cost function, unmodified MIRA can be shown to be carrying out dual coordinate descent for an SVM training objective (Martins et al., 2010).
this requires a sentence-level approximation of BLEU, which we re-encode into a cost ∆ i (e) on derivations, where a high cost indicates that e receives a low BLEU score.