Search Results for author:
Found 4 papers, 3 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.
FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
We built a neural-symbolic system, called FGeoDRL, to automatically perform human-like geometric deductive reasoning.
FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems
The application of contemporary artificial intelligence techniques to address geometric problems and automated deductive proof has always been a grand challenge to the interdiscipline field of mathematics and artificial Intelligence.
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.
