TY  - RPRT
TI  - SoK: Formal Methods for Fact-Checking and Information Integrity
AU  - Nikolaos Kekatos
AU  - Theodoros Nestoridis
AU  - Charalampos Bratsas
AU  - Charalampos Dimoulas
AU  - Georgios Konstantinidis
AU  - Georgios Malogiannis
AU  - Michael Sirivianos
AU  - Andreas Veglis
PY  - 2026
UR  - https://arxiv.org/abs/2609.23239
ID  - 2609.23239
ER  -