TY  - RPRT
TI  - Gradient Descent over Metagrammars for Syntax-Guided Synthesis
AU  - Nicolas Chan
AU  - Elizabeth Polgreen
AU  - Sanjit A. Seshia
PY  - 2020
UR  - https://arxiv.org/abs/2007.06677
ID  - 2007.06677
ER  -