GamePad: A Learning Environment for Theorem Proving

Daniel Huang, Prafulla Dhariwal, Dawn Song, and Ilya Sutskever. ICLR 2019. (Poster PDF · Paper)