Position: Logical Soundness is not a Reliable Criterion for Neurosymbolic Fact-Checking with LLMs
arXiv:2604.04177v1 Announce Type: new Abstract: As large language models (LLMs) are increasing integrated into fact-checking pipelines, formal logic is often proposed as a rigorous means …
Jason Chan, Robert Gaizauskas, Zhixue Zhao
5 views