16 citations · 16 across the 1 of their papers we have counts for
1 paper
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…