Program Synthesis from Visual Specification.

Evan Hernandez Ara Vartanian Xiaojin Zhu

Published in: CoRR (2018)

Keyphrases

program synthesis
high level
visual information
low level
formal specification
recursive programs
machine learning
visual features
specification language
database systems