FGeo-HyperGNet: Geometric Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network

18 February 2024

Papers citing "FGeo-HyperGNet: Geometric Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network"

3 / 3 papers shown

Title
FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning Jia Zou Xiaokai Zhang Yiming He Na Zhu Tuo Leng AIMat AI4CE LRM 29 3 0 14 Feb 2024
A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram Ming-Liang Zhang Fei Yin Cheng-Lin Liu AI4CE 50 40 0 22 Feb 2023
PGDP5K: A Diagram Parsing Dataset for Plane Geometry Problems Yihan Hao Mingliang Zhang Fei Yin Linlin Huang AIMat 44 14 0 20 May 2022