5 citations · 5 across the 4 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…