Alert button
Picture for Chris Alvin

Chris Alvin

Alert button

Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System

Add code
Bookmark button
Alert button
Oct 29, 2015
Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay

Figure 1 for Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System
Figure 2 for Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System
Figure 3 for Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System
Figure 4 for Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System

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.

* A formal version of the accepted AAAI '14 paper 
Viaarxiv icon
Github IconAccess Paper or Ask Questions
Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon