A Reinforcement Learning Environment for Mathematical Reasoning via Program Synthesis. - Joseph Palermo; Johnny Ye; Alok Singh 006 (CoRR, 2021)