Search Results for author:
Found 2 papers, 2 papers with code
FGeo-HyperGNet: Geometric Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network
The symbolic part is a formal system built on FormalGeo, which can automatically perform geomertic relational reasoning and algebraic calculations and organize the solving process into a solution hypertree with conditions as hypernodes and theorems as hyperedges.
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
In this paper, we have constructed a consistent formal plane geometry system.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
