Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System

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.

A formal version of the accepted AAAI '14 paper

Cited by in corpus (2)

• Automatic Generation of Programming Exercises
• The Gap of Semantic Parsing: A Survey on Automatic Math Word Problem Solvers