132 citations · 182 across the 19 of their papers we have counts for
1 paper · 2 filters
Mukund Raghothaman, Abhishek Udupa
We present a language to specify syntax guided synthesis (SyGuS) problems. Syntax guidance is a prominent theme in contemporary program synthesis approaches, and SyGuS was first de…