Are you Talking Logic to Me? Assessing Language Models Syllogistic Reasoning Capabilities
The framework, Common Logic Grammar Construction (CLGC), is open-source, as the first Python library for automatically generating syllogisms in KR notations and defining their SEF categories, and proposes a syllogistic categorization method (SEF) that is used to enrich ZS prompts with logical definitions, which boost reasoning in small models.