First announcement of statement dataset (!8) · Merge requests · SIGMathLing / website · GitLab

Deyan Ginev requested to merge statement-dataset-release into master Jul 22, 2019

Adding a new release note for the statement dataset
Dataset is now uploaded at https://gl.kwarc.info/SIGMathLing/statements-arxmliv-08-2018
TODO: arXiv submission happening soon, need to update paper link before merging

Should be good to go in a couple of days