4 citations · 6 across the 10 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023
Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis
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…
cs.SE2020★ 1 cited
Gradient Descent over Metagrammars for Syntax-Guided Synthesis
Nicolas Chan, Elizabeth Polgreen, Sanjit A. Seshia
The performance of a syntax-guided synthesis algorithm is highly dependent on the provision of a good syntactic template, or grammar. Provision of such a template is often left to…