GamePad: A learning environment for theorem proving
Published 2018-06-02T07:00:00Z•6a26561219cf8d7217ab3089d40b2eddb5b9900204aee10c768dcf8841b94ffb
Source metadata
- Publication date
- 2018-06-02T07:00:00Z
- Source identifier
- https://openai.com/index/gamepad
- Public record ID
- record:sha256:6a26561219cf8d7217ab3089d40b2eddb5b9900204aee10c768dcf8841b94ffb
This is source-provided metadata, not an enriched summary or an impact assessment. Follow the canonical source link for the published material.
Evidence and limitations
- Source ID
- openai_research
- Record identifier
- 6a26561219cf8d7217ab3089d40b2eddb5b9900204aee10c768dcf8841b94ffb
- Record type
- Source metadata
This record may overlap with other records. Source metadata can be incomplete or change. Validate consequential decisions against the linked source and your own environment.