FregeLogic 参加 SemEval 2026 Task 11：一种用于内容鲁棒三段论有效性预测的混合神经符号架构

本文提出 FregeLogic，一种用于 SemEval-2026 Task 11 的混合神经符号系统，旨在预测三段论有效性并减少内容效应。该方法结合五个大语言模型分类器集成与 Z3 SMT 求解器作为形式逻辑裁决者。核心假设是集成内的模型分歧暗示了受现实可信度干扰的逻辑错误。通过在争议案例中依赖 Z3 的结构化形式验证，系统在嵌套五折交叉验证中达到 94.3% 准确率，显著降低了内容效应并提升了综合得分。结果表明，针对集成共识最低处应用形式方法的神经符号整合能有效提升逻辑推理性能。