Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System
Artificial Intelligence
2015-10-30 v1
Abstract
This paper presents an intelligent tutoring system, GeoTutor, for Euclidean Geometry that is automatically able to synthesize proof problems and their respective solutions given a geometric figure together with a set of properties true of it. GeoTutor can provide personalized practice problems that address student deficiencies in the subject matter.
Cite
@article{arxiv.1510.08525,
title = {Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System},
author = {Chris Alvin and Sumit Gulwani and Rupak Majumdar and Supratik Mukhopadhyay},
journal= {arXiv preprint arXiv:1510.08525},
year = {2015}
}
Comments
A formal version of the accepted AAAI '14 paper