16 citations · 30 across the 4 of their papers we have counts for
1 paper · 1 filter
Richard Shin, Neel Kant, Kavi Gupta +4
The goal of program synthesis is to automatically generate programs in a particular language from corresponding specifications, e.g. input-output behavior. Many current approaches…