A new data set with annotations for 10.5 million scientific statements has been uploaded to SIGMathLing.
The content of this data set is licensed to [SIGMathLing members](/member/) for research
and tool development purposes subject to the [SIGMathLing Non-Disclosure-Agreement](/nda/).
The annotations were extracted automatically from the machine-readable version of arXiv.org also available as a [SIGMathLing resource](https://sigmathling.kwarc.info/resources/arxmliv-dataset-082018/).
Details can be found on the corresponding [resource page](/resources/arxmliv-statements-082018/).