Gradient Descent over Metagrammars for Syntax-Guided Synthesis.

Nicolas Chan Elizabeth Polgreen Sanjit A. Seshia

Published in: CoRR (2020)

Keyphrases

cost function
objective function
texture synthesis
loss function
program synthesis
precisely defined
database
computer vision
website
web services
data structure
natural language
error function
syntactic semantic