GamePad: A Learning Environment for Theorem Proving

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