计算机学院冷拓副教授团队在人工智能国际顶会IJCAI2025上发表机器证明FormalGeo系列最新研究成果
这篇文章主要研究了基于神经-符号系统的几何问题自动求解方法。研究团队构建了名为FGeo-HyperGNet的系统,整合数学机械化方法与深度学习技术,实现了几何问题的自动形式化表示与求解。该系统包括符号部分和神经部分,符号部分基于FormalGeo形式化系统实现几何关系推理与代数运算,神经部分采用超图神经网络处理编码超图结构与语义信息。实验结果表明,该系统在多个数据集上取得了较高的求解成功率,特别是在高难度几何问题上表现显著。该研究为计算机学院学科建设、研究生培养提供了重要支撑。