Training was done using the Carmel finite-state toolkit.
10 baseline and oracle rely on Carmel exclusively, while for MIR and bi-EM, we manipulated Carmel to output the E-step posteriors, which we then used to construct and solve the Mstep objective using our own implementation.