Explaining Transition Systems through Program Induction
RobustFill: Neural Program Learning under Noisy I/O