OpenAI News·· 2018-06-02
GamePad: A learning environment for theorem proving
GamePad: A learning environment for theorem proving
AI 导读
【RSS 原文 · 未经 AI 筛选或翻译】此订阅未提供摘要，请通过原文链接阅读。
来源：OpenAI News · openai.com
GamePad: A learning environment for theorem proving