@article{fgeohypergnetgeometryproblemsolving,
  title = {FGeo-HyperGNet: Geometric Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network},
  author = {Xiaokai Zhang and Na Zhu and Cheng Qin and Yang Li and Zhenbing Zeng and Tuo Leng},
  year = {2024},
  eprint = {2402.11461},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2402.11461v2},
}