Automating formalization by statistical and semantic parsing of mathematics

DOI10.1007/978-3-319-66107-0_2zbMath1483.68490WikidataQ108482124 ScholiaQ108482124MaRDI QIDQ1687711

Josef Urban, Cezary Kaliszyk, Jiří Vyskočil

Publication date: 4 January 2018

Full work available at URL: https://zenodo.org/record/1227170

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

68T50: Natural language processing

68V20: Formalization of mathematics in connection with theorem provers