FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network
机构 * School of Computer Engineering and Science, Shanghai University（上海大学计算机工程与科学学院） ； School of Future Technology, Shanghai University（上海大学未来技术学院） ； College of Sciences, Shanghai University（上海大学理学院）
Comments Accepted by IJCAI 2025
