Showing 2026Show all
2 papers · 1 filter
cs.CL2026
Position: Logical Soundness is not a Reliable Criterion for Neurosymbolic Fact-Checking with LLMs
Jason Chan, Robert Gaizauskas, Zhixue Zhao
As large language models (LLMs) are increasing integrated into fact-checking pipelines, formal logic is often proposed as a rigorous means by which to mitigate bias, errors and hal…
cs.CL2026
Explanation Generation for Contradiction Reconciliation with LLMs
Jason Chan, Zhixue Zhao, Robert Gaizauskas
Existing NLP work commonly treats contradictions as errors to be resolved by choosing which statements to accept or discard. Yet a key aspect of human reasoning in social and profe…