TY  - RPRT
TI  - Semantic Parsing of Mathematics by Context-based Learning from Aligned Corpora and Theorem Proving
AU  - Cezary Kaliszyk
AU  - Josef Urban
AU  - Jiří Vyskočil
PY  - 2016
UR  - https://arxiv.org/abs/1611.09703
ID  - 1611.09703
ER  -