Automating Formalization by Statistical and Semantic Parsing of Mathematics.

Cezary Kaliszyk Josef Urban Jirí Vyskocil

Published in: ITP (2017)

Keyphrases

semantic parsing
dependency parsing
semantic role labeling
question answering
semantic roles
natural language sentences
knowledge representation
natural language processing
semantic representation
natural language understanding
statistical machine translation
artificial intelligence
semantic parser