SyGuS-Comp 2017: Results and Analysis.

Rajeev Alur Dana Fisman Rishabh Singh Armando Solar-Lezama

Published in: SYNT@CAV (2017)

Keyphrases

data sets
image analysis
neural network
high quality
preprocessing
real time
social networks
wide range
search algorithm
data analysis
trade off