EuclidNet: deep visual reasoning for constructible problems in geometry

• Main Authors: Wong, Man Fai, Qi, Xintong, Tan, Chee Wei
• Other Authors: School of Computer Science and Engineering
• Format: Article
• Language: English
• Published: 2023
• Subjects: Engineering::Computer science and engineering; Geometric Reasoning; Geometry Construction
• Online Access: https://hdl.handle.net/10356/171217
• Institution: Nanyang Technological University

In this paper, we present a deep learning-based framework for solving geometric construction problems through visual reasoning, which is useful for automated geometry theorem proving. Constructible problems in geometry often ask for the sequence of straightedge-and-compass constructions to constr...