70 citations · 407 across the 70 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.AI2015★ 5 cited
Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System
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…
cs.PL2015★ 2 cited
Program Synthesis using Natural Language
Aditya Desai, Sumit Gulwani, Vineet Hingorani +5
Interacting with computers is a ubiquitous activity for millions of people. Repetitive or specialized tasks often require creation of small, often one-off, programs. End-users stru…