Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System
This addresses the need for adaptive learning tools in Euclidean geometry education, though it appears incremental as it builds on existing tutoring system concepts with a focus on automation.
The authors tackled the problem of generating personalized geometry proof problems by developing GeoTutor, an intelligent tutoring system that automatically synthesizes problems and solutions from geometric figures and properties, enabling targeted practice for students.
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.