GamePad: A learning environment for theorem proving
- ID
- 929
- Status
- new
- Published
- 02 Jun 2018, 3:00 PM
- Fetched
- 27 Jun 2026, 7:47 PM
- Provider
- OpenAI News
- Category
- ai-labs
- Original URL
- https://openai.com/index/gamepad
- Source URL
- https://openai.com/news/rss.xml
Excerpt
-
Summary
No summary yet. It will appear after the daemon summarizes this item.