Learning Abstractions for Program Synthesis

Xinyu Wang, Greg Anderson, Isil Dillig +1

Many example-guided program synthesis techniques use abstractions to prune the search space. While abstraction-based synthesis has proven to be very powerful, a domain expert needs…