Online learning for effort reduction in interactive neural machine translation. (November 2019)