Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox
Picture for Chris Alvin

Chris Alvin

Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System


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
* A formal version of the accepted AAAI '14 paper 
  Access Paper or Ask Questions