Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System

TL;DR

This paper introduces GeoTutor, an intelligent tutoring system that automatically generates Euclidean Geometry problems and solutions based on geometric figures and properties, enabling personalized student practice.

Contribution

It presents a novel system capable of synthesizing geometry problems and solutions automatically, enhancing personalized learning in geometry education.

Findings

Successfully generates diverse geometry problems and solutions.

Provides personalized practice tailored to student needs.

Advances automated problem synthesis in educational technology.

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.