An Inductive Synthesis Framework for Verifiable Reinforcement Learning | Read Paper on Bytez