Using Program Induction to Interpret Transition System Dynamics | Read Paper on Bytez