Daniel Huang 0001, Prafulla Dhariwal, Dawn Song, Ilya Sutskever. GamePad: A Learning Environment for Theorem Proving. In 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019. OpenReview.net, 2019. [doi]
Abstract is missing.