343 citations · 748 across the 22 of their papers we have counts for
1 paper · 1 filter
Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta +1
Despite great advances in program synthesis techniques, they remain algorithmic black boxes. Although they guarantee that when synthesis is successful, the implementation satisfies…