Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System
A trace-based framework for analyzing and synthesizing educational progressions