Variable typing data set for assigning meaning to variables in mathematical text

by Yiannos A. Stathopoulos, Simon Baker, Marek Rei and Simone Teufel

Thank you for your interest in downloading the Variable Typing Data Set and for using it in your research.
The data set is distributed under the Open Database License (license details here)
Please provide your details in the form below. While the Comments field is optional, you are very welcome to enter any comments, thoughts or questions you may have; your feedback is very much appreciated.

Please cite the following paper if you are using the data set in your research:

Yiannos A. Stathopoulos, Simon Baker, Marek Rei and Simone Teufel:
Variable Typing: Assigning Meaning to Variables in Mathematical Text
In Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL 2018) New Orleans, United States, 2018

The following BibTeX code may be of use:

@InProceedings{N18-1028, author = "Stathopoulos, Yiannos and Baker, Simon and Rei, Marek and Teufel, Simone", title = "Variable Typing: Assigning Meaning to Variables in Mathematical Text", booktitle = "Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers)", year = "2018", publisher = "Association for Computational Linguistics", pages = "303--312", location = "New Orleans, Louisiana", url = "http://aclweb.org/anthology/N18-1028" }