1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
Yixuan Li, Federico Mora, Elizabeth Polgreen +1
Syntax-guided synthesis is a paradigm in program synthesis in which the search space of candidate solutions is constrained by a syntactic template in the form of a grammar. These s…