ISSN :2582-9793

EuclidNet: Deep Visual Reasoning for Constructible Problems in Geometry

Original Research (Published On: 21-Mar-2023 )
EuclidNet: Deep Visual Reasoning for Constructible Problems in Geometry
DOI : 10.54364/AAIML.2021.1152

Man Fai Wong, Xintong Qi and Chee Wei Tan

Adv. Artif. Intell. Mach. Learn., 3 (1):839-852

Man Fai Wong : City University of Hong Kong

Xintong Qi : Columbia University

Chee Wei Tan : Nanyang Technological University

Download PDF Here

DOI: 10.54364/AAIML.2021.1152

Article History: Received on: 04-Feb-23, Accepted on: 11-Mar-23, Published on: 21-Mar-23

Corresponding Author: Man Fai Wong

Email: mfwong29-c@my.cityu.edu.hk

Citation: Chee Wei Tan (2023). EuclidNet: Deep Visual Reasoning for Constructible Problems in Geometry. Adv. Artif. Intell. Mach. Learn., 3 (1 ):839-852


Abstract

    

In this paper, we present a visual reasoning framework driven by deep learning for solving constructible problems in geometry that is useful for automated geometry theorem proving. Constructible problems in geometry often ask for the sequence of straightedge-and-compass constructions to construct a given goal given some initial setup. Our EuclidNet framework leverages the neural network architecture Mask R-CNN to extract the visual features from the initial setup and goal configuration with extra points of intersection, and then generate possible construction steps as intermediary data models that are used as feedback in the training process for further refinement of the construction step sequence. This process is repeated recursively until either a solution is found, in which case we backtrack the path for a step-by-step construction guide, or the problem is identified as unsolvable. Our EuclidNet framework is validated on the problem set of Euclidea with an average of 75% accuracy without prior knowledge and complex Japanese Sangaku geometry problems, demonstrating its capacity to leverage backtracking for deep visual reasoning of challenging problems





Statistics

   Article View: 423
   PDF Downloaded: 21