Explaining Transition Systems through Program Induction | Read Paper on Bytez