GamePad: A learning environment for theorem proving

来自 OpenAI News · 2018-06-02