Generative language modeling for automated theorem proving
- ID
- 859
- Status
- new
- Published
- 07 Sep 2020, 3:00 PM
- Fetched
- 27 Jun 2026, 7:47 PM
- Provider
- OpenAI News
- Category
- ai-labs
- Original URL
- https://openai.com/index/generative-language-modeling-for-automated-theorem-proving
- Source URL
- https://openai.com/news/rss.xml
Excerpt
-
Summary
No summary yet. It will appear after the daemon summarizes this item.