TY - JOUR
AU - Alvin, Chris
AU - Gulwani, Sumit
AU - Majumdar, Rupak
AU - Mukhopadhyay, Supratik
PY - 2014/06/19
Y2 - 2024/05/28
TI - Synthesis of Geometry Proof Problems
JF - Proceedings of the AAAI Conference on Artificial Intelligence
JA - AAAI
VL - 28
IS - 1
SE - AAAI Technical Track: Applications
DO - 10.1609/aaai.v28i1.8745
UR - https://ojs.aaai.org/index.php/AAAI/article/view/8745
SP -
AB - <p> This paper presents a semi-automated methodology for generating geometric proof problems of the kind found in a high-school curriculum. We formalize the notion of a geometry proof problem and describe an algorithm for generating such problems over a user-provided figure. Our experimental results indicate that our problem generation algorithm can effectively generate proof problems in elementary geometry. On a corpus of 110 figures taken from popular geometry textbooks, our system generated an average of about 443 problems per figure in an average time of 4.7 seconds per figure. </p>
ER -