4 citations · 11 across the 5 of their papers we have counts for
1 paper · 2 filters
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…