no code implementations • 13 Jul 2020 • 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.