-[Download links](https://gl.kwarc.info/SIGMathLing/download-links/-/blob/main/README.md). This is a temporary solution as we are in the process of migrating the data.
-[SIGMathLing members](/member/) only. Joining is free and mostly a legal checkmark on our end - all researchers welcome!
### Description
This is the first public release of the ArGoT dataset generated by the [Formal Abstracts](https://formalabstracts.github.io/) research group.
ArGoT is a dataset of term-definition pairs automatically extracted from the arXiv mathematical papers.