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