University of Illinois / University of Pennsylvania / University of California / /
IndustryTerm
sample solution / baseline algorithm / reverse search / learning technologies / et al.’s17 synthesis algorithm / problem-generation tool / brute-force search / educational technologies / online classrooms / solution-generation technology / breadth-first search / incorrect solution / reference solution / search guidance / given solution / correct solution / automata grading tool / even computing tensor/inner product / similar solutions / crossdisciplinary computing technologies / incomplete solution / search-intensive activity / et al. tool / solution-search space starting / computer-aided educational technologies / end-user applications / certain classic algorithms / natural language translation technology / in their solutions / user applications / testinput-generation tools / inference-rule applications / sample solutions / diverse applications / computing / inference rule applications / automatagrader tool / wrong algorithm / search space / proof search / search time / /
Organization
MIT / University of California / Berkeley / the University of Pennsylvania / University of Illinois / /
Person
SUMIT GULWANI / Reason Modus Ponens / /
Position
MP / median player in the synthesized progression group / median player in the expert-designed progression group / teacher / human teacher / representative / /