摘要
本文回顾了称为“三段论评估框架 - 通用逻辑语法构建”（SEF-CLGC）的流程。该研究将形式化逻辑符号与小语言模型（SLM）相结合，以评估其在 SemEval-2026 任务 11 子任务 1（解耦大语言模型中的内容与形式推理）上的推理性能。实验表明，仅依靠经过自然语言和符号语言混合训练的小语言模型，最佳模型在该任务上取得了 27.80% 的内容得分，同时显著降低了推理过程中的内容偏差。
AI 推荐理由
论文核心研究形式化逻辑符号对模型推理性能的影响，旨在解耦内容与形式推理。
研究机构
Université Côte d’Azur, Inria, CNRS, I3S, Sophia Antipolis, France
论文信息