After submitting this paper, we developed a penalized expectation propagation method (Cotterell and Eisner, 2015).
this edit sequence corresponds to a character-wise alignment of u to s. Our features for modeling the contextual probability of each edit are loosely inspired by constraints from Harmonic Grammar and Optimality theory (Smolensky and Legendre, 2006).