Generative language modeling for automated theorem proving
Published 2020-09-07T07:00:00Z•88e99ce4204ef142f13201b8f9067b1777a502497839a735127ab22ce147d9bc
Source metadata
- Publication date
- 2020-09-07T07:00:00Z
- Source identifier
- https://openai.com/index/generative-language-modeling-for-automated-theorem-proving
- Public record ID
- record:sha256:88e99ce4204ef142f13201b8f9067b1777a502497839a735127ab22ce147d9bc
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
- 88e99ce4204ef142f13201b8f9067b1777a502497839a735127ab22ce147d9bc
- 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.