A promising path towards autoformalization and general artificial intelligence

DOI10.1007/978-3-030-53518-6_1zbMath1455.68260OpenAlexW3042499904MaRDI QIDQ2219377

Christian Szegedy

Publication date: 20 January 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53518-6_1

zbMATH Keywords

autoformalization

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Natural language processing (68T50) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: A promising path towards autoformalization and general artificial intelligence