Commit 42652c89 authored by Michael Kohlhase's avatar Michael Kohlhase

adding link

parent 99b12bb7
......@@ -43,7 +43,7 @@ The dataset is segmented in 3 different subsets, each corresponding to a severit
This version of the dataset has had minimal manual quality control, and we offer no additional warranty beyond the latexml severity reported.
We welcome community feedback on all of: data quality, representation issues, need for auxiliary resources (e.g. figures, token models), as well as organization and archival best practices. The conversion, build system, and data redistribution efforts are all ongoing projects at the KWARC research group.
We welcome community feedback on all of: data quality, representation issues, need for auxiliary resources (e.g. figures, token models), as well as organization and archival best practices. The conversion, build system, and data redistribution efforts are all ongoing projects at the [KWARC research group](http://kwarc.info).
A following release is planned for mid-2018, with an up-to-date arXiv dataset and community feedback incorporated. We anticipate annual dataset releases going forward.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment