OpenAI News Research & Papers · Сен 7, 2020 07:00 imp:50

Generative language modeling for automated theorem proving

Откройте оригинал, чтобы прочитать статью полностью.