OpenAI News·· 2020-09-07sélectionAI Score62
Modélisation générative du langage pour la démonstration automatique de théorèmes
Generative language modeling for automated theorem proving
AI Introduction
OpenAI publie des travaux sur la modélisation générative du langage appliquée à la démonstration automatique de théorèmes.
Source :OpenAI News · openai.com