On the Value of Abstractions: Abstraction Selection in Bounded Program Synthesis
A study of abstraction selection, library size, and search budgets in bounded program synthesis.
A study of abstraction selection, library size, and search budgets in bounded program synthesis.