@article{Alvin_Gulwani_Majumdar_Mukhopadhyay_2014, title={Synthesis of Geometry Proof Problems}, volume={28}, url={https://ojs.aaai.org/index.php/AAAI/article/view/8745}, DOI={10.1609/aaai.v28i1.8745}, abstractNote={ <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> }, number={1}, journal={Proceedings of the AAAI Conference on Artificial Intelligence}, author={Alvin, Chris and Gulwani, Sumit and Majumdar, Rupak and Mukhopadhyay, Supratik}, year={2014}, month={Jun.} }