SEF-CLGC at SemEval-2026 Task 11: Logical Notation Impact on Language Model Performance

Hanna Abi Akl, Fabien Gandon, Catherine Faron, Pierre Monnin


Abstract
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 combination of natural and symbolic languages, our best model achieves a content score of 27.80% on the task while significantly lowering the content bias in reasoning.
Anthology ID:
2026.semeval-1.285
Volume:
Proceedings of the 20th International Workshop on Semantic Evaluation (2026)
Month:
July
Year:
2026
Address:
San Diego, California, USA
Editors:
Ekaterina Kochmar, Debanjan Ghosh, Kai North, Mamoru Komachi
Venues:
SemEval | WS
SIG:
Publisher:
Association for Computational Linguistics
Note:
Pages:
2251–2261
Language:
URL:
https://preview.aclanthology.org/ingest-acl-workshops/2026.semeval-1.285/
DOI:
Bibkey:
Cite (ACL):
Hanna Abi Akl, Fabien Gandon, Catherine Faron, and Pierre Monnin. 2026. SEF-CLGC at SemEval-2026 Task 11: Logical Notation Impact on Language Model Performance. In Proceedings of the 20th International Workshop on Semantic Evaluation (2026), pages 2251–2261, San Diego, California, USA. Association for Computational Linguistics.
Cite (Informal):
SEF-CLGC at SemEval-2026 Task 11: Logical Notation Impact on Language Model Performance (Akl et al., SemEval 2026)
Copy Citation:
PDF:
https://preview.aclanthology.org/ingest-acl-workshops/2026.semeval-1.285.pdf
Supplementarymaterial:
 2026.semeval-1.285.SupplementaryMaterial.zip