录用率19%！这一国际权威盛会上，中国高校成果被录用！

摘要：近期，人工智能领域国际学术会议IJCAI 2025（中国计算机学会CCF A类会议）公布的审稿结果公布，上海大学计算机工程与科学学院冷拓副教授课题组的研究成果“FGeo-HyperGNet: Geometric Problem Solving Integrat

近期，人工智能领域国际学术会议IJCAI 2025（中国计算机学会CCF A类会议）公布的审稿结果公布，上海大学计算机工程与科学学院冷拓副教授课题组的研究成果“FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network”被该会议接收录用，计算机工程与科学学院2024级博士研究生张效凯为论文第一作者，冷拓副教授为唯一通讯作者。

IJCAI全称为国际人工智能联合会议（International Joint Conference on Artificial Intelligence），该会议是国际人工智能界最有影响力和权威性的盛会之一，在世界范围内每年召开一次，本届会议录用率约为19%。此次被该会议直接录用，是对上海大学在几何问题自动求解方法探索领域的成绩的认可，也进一步彰显了上海大学在人工智能及相关领域的深厚底蕴和强劲实力。

几何学，作为一门历史悠久的学科，其理论体系历经千年不断完善。计算机出现后，诞生了数学机械化这一数学新分支。然而，如何将几何问题转化为计算机能够理解和处理的形式，是数学与计算机科学融合的重要一步。冷拓副教授课题组在几何问题形式化表示与自动求解领域进行了系统性研究，通过整合数学机械化方法与深度学习技术，成功构建了一个具有创新性的几何问题自动求解框架——FormalGeo。此次被IJCAI 2025录用的FGeo-HyperGNet系统，正是这一框架下的又一力作。

图1 FormalGeo几何问题自动求解框架

图2 用于自动求解几何问题的神经符号系统整体架构

图3 研究内容逻辑关系图

当前，经过近5年的积累，冷拓副教授课题组在几何自动推理领域的研究成果已逐渐获得学界广泛认可，前期多项成果已经以论文形式发表，各部分研究内容的逻辑关系如图3所示。

此外，团队多次受邀在北京大学、复旦大学、北京航空航天大学等知名高校，以及中国数学年会计算机数学前沿论坛等重要学术会议上作邀请报告。课题组提出的FormalGeo形式化系统作为基础性理论框架，已有效支撑了多项衍生研究：

北京大学团队基于FormalGeo提出了一种名为DFE-GPS的新框架，通过三阶段训练增强模型对几何图形的理解与推理能力，提升多模态大语言模型在几何问题求解中的表现。中国科学技术大学团队提出了GeoGen方法，该方法基于FormalGeo自动生成几何问题的多步推理路径，确保逻辑正确性，进而训练专用的大语言模型，将多模态大语言模型的自然语言推理步骤转换为符号系统的形式化表示，便于符号验证。通过这种符号-神经集成增强多模态大语言模型求解几何问题的能力。

这些成果的广泛传播和深入讨论，进一步巩固了上海大学在几何自动推理领域的领先地位。同时，冷拓副教授课题组的成功，也是上海大学计算机工程与科学学院人才培养工作卓有成效的一个缩影。

始建于1988年的上海大学计算机工程与科学学院，现任院长为在海洋自主智能无人艇系统领域做出杰出贡献的谢少荣教授。在长期积累、创新下，学院于科技成果产出方面成果斐然。2025年以来，学院2022级博士生陆逍在非驾驶行为预测方向取得重要进展，于国际顶刊Nature Communications发表最新研究成果；青年教师孔浩在计算机和通信领域顶级期刊发表学术论文，系统总结了毫米波感知技术的发展现状，为AI4S范式下的智能感知研究提供了重要的理论指导和实践参考......这些具有创新性和影响力的科研成果不仅为学院学科建设提供了有力支撑，也为人才培养注入了新的活力。