{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T14:59:11Z","timestamp":1775228351116,"version":"3.50.1"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9]]},"abstract":"<jats:p>Geometric problem solving has always been a long-standing challenge in the fields of mathematical reasoning and artificial intelligence. We built a neural-symbolic system, called FGeo-HyperGNet, to automatically perform human-like geometric problem solving. The symbolic component is a formal system built on FormalGeo, which can automatically perform geometric relational reasoning and algebraic calculations and organize the solution into a hypergraph with conditions as hypernodes and theorems as hyperedges. The neural component, called HyperGNet, is a hypergraph neural network based on the attention mechanism, including an encoder to effectively encode the structural and semantic information of the hypergraph and a theorem predictor to provide guidance in solving problems. The neural component predicts theorems according to the hypergraph, and the symbolic component applies theorems and updates the hypergraph, thus forming a predict-apply cycle to ultimately achieve readable and traceable automatic solving of geometric problems. Experiments demonstrate the correctness and effectiveness of this neural-symbolic architecture. We achieved state-of-the-art results with a TPA of 93.50% and a PSSR of 88.36% on the FormalGeo7K dataset.<\/jats:p>","DOI":"10.24963\/ijcai.2025\/527","type":"proceedings-article","created":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T08:10:40Z","timestamp":1758269440000},"page":"4733-4741","source":"Crossref","is-referenced-by-count":1,"title":["FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network"],"prefix":"10.24963","author":[{"given":"Xiaokai","family":"Zhang","sequence":"first","affiliation":[{"name":"School of Computer Engineering and Science, Shanghai University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Li","sequence":"additional","affiliation":[{"name":"School of Computer Engineering and Science, Shanghai University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Na","family":"Zhu","sequence":"additional","affiliation":[{"name":"School of Future Technology, Shanghai University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cheng","family":"Qin","sequence":"additional","affiliation":[{"name":"School of Future Technology, Shanghai University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenbing","family":"Zeng","sequence":"additional","affiliation":[{"name":"College of Sciences, Shanghai University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tuo","family":"Leng","sequence":"additional","affiliation":[{"name":"School of Computer Engineering and Science, Shanghai University"},{"name":"School of Future Technology, Shanghai University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"name":"Thirty-Fourth International Joint Conference on Artificial Intelligence {IJCAI-25}","theme":"Artificial Intelligence","location":"Montreal, Canada","acronym":"IJCAI-2025","number":"34","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"start":{"date-parts":[[2025,8,16]]},"end":{"date-parts":[[2025,8,22]]}},"container-title":["Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T11:34:16Z","timestamp":1758627256000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2025\/527"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2025,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2025\/527","relation":{},"subject":[],"published":{"date-parts":[[2025,9]]}}}