2 papers
cs.CL2026
SoK: Formal Methods for Fact-Checking and Information Integrity
Nikolaos Kekatos, Theodoros Nestoridis, Charalampos Bratsas +5
An automated fact-checking system returns a label: the claim is true, or it is false. In many such systems the verdict remains the primary output. What is generally missing is a re…
cs.DL2012
Reimplementing the Mathematical Subject Classification (MSC) as a Linked Open Dataset
Christoph Lange, Patrick Ion, Anastasia Dimou +5
The Mathematics Subject Classification (MSC) is a widely used scheme for classifying documents in mathematics by subject. Its traditional, idiosyncratic conceptualization and repre…