Program synthesis using conflict-driven learning.

Yu Feng Ruben Martins Osbert Bastani Isil Dillig

Published in: PLDI (2018)

Keyphrases

program synthesis
driven learning
semi supervised learning
recursive programs
word alignment
inductive logic programming
data sets
machine learning
domain theory