70 citations · 407 across the 70 of their papers we have counts for
1 paper · 2 filters
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…