Formal Notation Improves Syllogistic Reasoning in Small Language Models
August 14, 2026
Using Knowledge Representation (KR) notations instead of natural language enables small language models to achieve competitive syllogistic reasoning with faster inference. The study introduces the CLGC Python library for automated syllogism generation in KR notations.
HOW THIS AFFECTS YOU
●
builderYou can improve reasoning performance in edge-deployed SLMs by structuring logical prompts in formal notation.
●
researcherYou can utilize the new CLGC library to automate the generation of reasoning datasets.