@misc{indiciaeed994ba322fd, title = {FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network}, author = {Xiaokai Zhang and Yang Li and Na Zhu and Cheng Qin and Zhenbing Zeng and Tuo Leng}, year = {2025}, url = {https://arxiv.org/abs/2402.11461}, note = {Source identifier: 2402.11461} }