no code implementations • ICLR 2018 • Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling
In this paper we address this challenge by constructing a representative subset of examples that is both small and is able to constrain the solver sufficiently.
1 code implementation • ICML 2018 • Yewen Pu, Zachery Miranda, Armando Solar-Lezama, Leslie Pack Kaelbling
Program synthesis is a class of regression problems where one seeks a solution, in the form of a source-code program, mapping the inputs to their corresponding outputs exactly.