OpenAI News Research & Papers · Jun 2, 2018 07:00 imp:40 GamePad: A learning environment for theorem proving Open the original source for the full article. Read original at OpenAI News →