Search Results for author: Xintong Qi

Found 1 papers, 0 papers with code

EuclidNet: Deep Visual Reasoning for Constructible Problems in Geometry

no code implementations27 Dec 2022 Man Fai Wong, Xintong Qi, Chee Wei Tan

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.

Automated Theorem Proving Visual Reasoning

Cannot find the paper you are looking for? You can Submit a new open access paper.