GamePad: A Learning Environment for Theorem Proving.

Daniel Huang, Prafulla Dhariwal, Dawn Song, Ilya Sutskever

Browse the full ICLR paper archive.