Feb, 2024
FGeo-HyperGNet: 几何问题求解正式符号系统与超图神经网络的整合
FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network
Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Cheng Qin...
TL;DR我们构建了一种神经符号系统,利用神经部分(HyperGNet)根据超树预测定理,并利用符号部分(FormalGeo)应用定理和更新超树,从而形成了一个可追踪的、可读的几何问题自动求解的预测 - 应用循环,实现了 87.65% 的逐步准确率和 85.53% 的总体准确率。