TY  - RPRT
TI  - FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network
AU  - Xiaokai Zhang
AU  - Yang Li
AU  - Na Zhu
AU  - Cheng Qin
AU  - Zhenbing Zeng
AU  - Tuo Leng
PY  - 2025
UR  - https://arxiv.org/abs/2402.11461
ID  - 2402.11461
ER  -