@misc{indiciae5691d4294fb5,
  title = {SoK: Formal Methods for Fact-Checking and Information Integrity},
  author = {Nikolaos Kekatos and Theodoros Nestoridis and Charalampos Bratsas and Charalampos Dimoulas and Georgios Konstantinidis and Georgios Malogiannis and Michael Sirivianos and Andreas Veglis},
  year = {2026},
  url = {https://arxiv.org/abs/2609.23239},
  note = {Source identifier: 2609.23239}
}