2.1k citations · 2.8k across the 18 of their papers we have counts for
1 paper · 1 filter
Vu Le, Daniel Perelman, Oleksandr Polozov +3
Program synthesis from incomplete specifications (e.g. input-output examples) has gained popularity and found real-world applications, primarily due to its ease-of-use. Since this…