Keyword:type checking

Papers
Semantic Parsing of Geometry Statements Using Supervised Machine Learning on Synthetic Data Salwa Tabet Gonzalez, Stéphane Graham-Lengrand, Julien Narboux and Natarajan Shankar EasyChair Preprint no. 6414
Improving Statistical Linguistic Algorithms for Parsing Mathematics Cezary Kaliszyk, Josef Urban and Jiri Vyskocil In:IWIL-2015. 11th International Workshop on the Implementation of Logics