70 citations · 192 across the 16 of their papers we have counts for
1 paper · 1 filter
Chris Alvin, Sumit Gulwani, Rupak Majumdar +1
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…