32 citations · 116 across the 12 of their papers we have counts for
1 paper · 1 filter
Shantanu Mandal, Todd A. Anderson, Javier Turek +2
Automatic software generation based on some specification is known as program synthesis. Most existing approaches formulate program synthesis as a search problem with discrete para…