The scientific statements annotated in papers from arXiv.org as a classification task. Baselines, ablations and live showcase.

Research overview on large-scale natural language processing on math-rich scientific documents, as carried out by the KWARC research group.

Research overview on large-scale natural language processing on math-rich scientific documents, as carried out by the KWARC research group.

A case for transparency in science, exemplified via a showcase of active mathematical features on Authorea.com