Interactive Program Synthesis.

Vu Le Daniel Perelman Oleksandr Polozov Mohammad Raza Abhishek Udupa Sumit Gulwani

Published in: CoRR (2017)

Keyphrases

program synthesis
user interaction
recursive programs
inductive logic programming
high level
support vector
support vector machine
computer graphics