SEF-CLGC at SemEval-2026 Task 11: Logical Notation Impact on Language Model Performance
- lab CatalyzeX
- lab DagsHub
- lab GotitPub
- lab Hugging Face
- lab ScienceCast
- lab alphaXiv
- lab arXiv
- lab arXivLabs
A research team has deployed a pipeline that pairs formal logical notations with Small Language Models to evaluate reasoning on SemEval-2026 Task 11 Subtask 1, reporting a content score of 27.80% while reducing content bias in reasoning [1][2]. The pipeline, called the Syllogistic Evaluation Framework-Common Logic Grammar Construction (SEF-CLGC), was detailed in a paper submitted on June 8, 2026 [1][2]. The work targets Subtask 1 of SemEval-2026 Task 11, which focuses on disentangling content and formal reasoning in Large Language Models [1][2]. The authors report that their best model, built solely with Small Language Models trained on a combination of natural and symbolic languages, achieved a content score of 27.80% [1][2]. The approach also significantly lowered the content bias observed during reasoning, according to the paper's abstract [1][2]. SemEval, the International Workshop on Semantic Evaluation, has run annual tasks since 1998, evolving into a venue where teams propose computational methods for nuanced language-understanding challenges. The 2026 edition's Task 11 addresses a known weakness in large neural models: the tendency to rely on surface-level content cues rather than formal logical structure when making inferences. By translating reasoning problems into formal logical notations and processing them with smaller, specialized language models, the SEF-CLGC pipeline attempts to isolate and measure this effect [1][2]. The paper's abstract does not provide comparative baselines from other participating systems, and the 27.80% content score is presented without an accompanying formal-reasoning score. The research bundle does not contain independent expert commentary or historical performance data for this specific subtask. The remaining research-bundle entries, drawn from arxiv.org and Wikipedia, cover unrelated topics such as the United Nations Sustainable Development Goals and the molecular biology of transcription factors, and do not offer additional context for the SEF-CLGC pipeline or SemEval-2026 Task 11 [3][4][5][6][7].
research-papercontroversytool-release
Background sources we checked (6)
- arxiv.org ↗ 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 Cont…
- arxiv.org ↗ CatalyzeX Code Finder for Papers (What is CatalyzeX?) [...] DagsHub Toggle [...] DagsHub (What is DagsHub?)…
- arxiv.org ↗ CatalyzeX Code Finder for Papers (What is CatalyzeX?) [...] DagsHub Toggle [...] DagsHub (What is DagsHub?)…
- arxiv.org ↗ CatalyzeX Code Finder for Papers (What is CatalyzeX?) [...] DagsHub Toggle [...] DagsHub (What is DagsHub?)…
- en.wikipedia.org ↗ Sustainable Development Goals (abbr. SDGs) were adopted in 2015 by all United Nations (UN) members for the 2030 Agenda for Sustainable Development. The aim of the 17 global goals is "peace and prosperity for people and the planet", tackling climate change, and working to preserv…
- en.wikipedia.org ↗ In molecular biology, a transcription factor (TF) (or sequence-specific DNA-binding factor) is a protein that controls the rate of transcription of genetic information from DNA to messenger RNA, by binding to DNA sequences. Specificity can be due to sequence motifs, or epigenetic…