Semantic Parsing of Mathematics by Context-based Learning from Aligned Corpora and Theorem Proving.

Cezary Kaliszyk Josef Urban Jirí Vyskocil

Published in: CoRR (2016)

Keyphrases

theorem proving
learning algorithm
proof planning
training data
natural language processing
semantic parsing