Search Results for author: Zachery Miranda

Found 2 papers, 1 papers with code

Learning to select examples for program synthesis

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.

Program Synthesis

Selecting Representative Examples for Program Synthesis

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.

Program Synthesis

Cannot find the paper you are looking for? You can Submit a new open access paper.