2026年4月26日，“大模型的逻辑推理”研讨会（Workshop on Logical Reasoning of Large Language Models，以下简称“研讨会”）在巴西里约热内卢会议中心顺利举行。本次研讨会为第十四届ICLR人工智能会议（ICLR-26）官方设立并遴选举办，是该国际人工智能顶级学术会议的重要组成部分。

图1 研讨会现场

本次研讨会由清华大学逻辑学研究中心、北京大学智能学院、斯坦福大学哲学系、阿姆斯特丹大学逻辑、语言与计算研究所、耶鲁大学计算机系、奥克兰大学计算机系以及艾伦人工智能研究所等海内外知名高校与科研机构共同组织。会议筹备历时近五个月，完成了两轮投稿与评审工作，共收到来自20余个国家、100余所高校与科研机构的有效投稿214篇。会议线下注册参会人数超过300人。参会学者来自全球高校、科研机构及企业，研究方向涵盖人工智能、计算机科学、逻辑学及相关交叉领域。会议设置主旨报告、论文口头汇报、专题教程、海报展示等多个环节，全方位探讨大模型逻辑推理理论突破、方法创新、产业落地等关键问题，重点聚焦神经符号融合、因果推理、逻辑一致性、多模态逻辑推理等前沿方向。主旨报告环节邀请两位国际学者带来前沿分享：布里斯托大学助理教授杨梦月带来“因果与大模型推理”（Causality and Large Language Models）主旨报告，剖析大模型因果推理问题，阐释因果技术对提升模型推理可靠性与泛化能力的核心价值。阿根廷国立科尔多瓦大学教授 Carlos Areces 作“植根于经典规划的学习（Learning to Ground in Classical Planning）”主旨报告，聚焦经典规划与符号推理技术，为大模型逻辑推理的可解释性、稳健性提供理论参考。

图2、3 布里斯托大学杨梦月、阿根廷国立科尔多瓦大学 Carlos Areces 作主旨报告

论文口头汇报环节，会议从投稿中评选出8 篇优秀论文进行口头汇报，内容涵盖神经符号框架、逻辑问答、程序生成推理、多模态逻辑推理等前沿方向，报告后现场由会议主席和主旨报告人为8论文正式颁奖，包括7篇杰出论文奖（Outstanding Paper Award）和1篇最佳论文奖（Best Paper Award）。专题教程由本次研讨会学生组织者、阿姆斯特丹大学博士生成凤祥主讲，聚焦大模型逻辑问答与逻辑一致性两大核心主题，系统梳理领域关键技术与相关方法，帮助参会者迅速了解大模型逻辑推理领域概况和技术前沿。会议设置两场专题海报展示，集中展示百余篇优质投稿成果，内容覆盖评测基准、框架创新、场景应用等多元方向。参会学者面对面交流探讨、深度碰撞思想，现场学术氛围浓厚，有效推动了研究成果的传播与产学研合作对接。

图4、5 海报展示现场

本次研讨会的成功举办，进一步促进了逻辑学与人工智能领域的深入交流与合作，为跨学科研究搭建了高水平对话平台。会议围绕神经符号方法、逻辑推理技术与大模型发展等前沿议题展开研讨，有助于推动逻辑学理论优势与人工智能技术需求的深度结合，拓展大模型逻辑推理能力研究的新思路与新路径。同时，研讨会也为相关技术在智能决策、知识表示、复杂问题求解等应用场景中的转化落地提供了思想支持和合作基础，对推动大模型领域的理论创新、技术突破与产业发展具有积极意义。