Tuesday, May 26 2020, 07:32 am
Neuro-Symbolic Program Corrector for Introductory …

Neuro-Symbolic Program Corrector for Introductory …

ICSE ’18, May 27-June 3, 2018, Gothenburg, Sweden Sahil Bhatia, Pushmeet Kohli, and Rishabh Singh to find minimal changes to the student program such that it be-comes functionally equivalent to a reference implementation. Note that the small size of student programs in this domain of intro-ductory programming (around 10-20 LOC) allows for …