159 citations · 235 across the 19 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.AI2017★ 14 cited
Selecting Representative Examples for Program Synthesis
Yewen Pu, Zachery Miranda, Armando Solar-Lezama +1
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. Due…
cs.AI2017
Learning to Acquire Information
Yewen Pu, Leslie P Kaelbling, Armando Solar-Lezama
We consider the problem of diagnosis where a set of simple observations are used to infer a potentially complex hidden hypothesis. Finding the optimal subset of observations is int…