Variable Typing: Assigning Meaning to Variables in Mathematical Text

Publication
Proceedings of NAACL-HLT 2018