Synthesis of Solutions for Shaded Area Geometry Problems
Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay · Civil War Book Review · 2017
We motivate and address the task of automatically solving shaded area geometry problems. Our approach consists of identifying atomic regions in a coordinate-based geometry figure, building an analysis hypergraph representing all facts that can be derived of the figure (using saturation based reasoning), and then finding a path in the hypergraph from the given facts to the goal. On a corpus of 102 problems taken from popular high-school geometry textbooks, our tool GeoShader successfully solved and characterized all problems in an average time of 13.4 seconds.