Learning Abstractions for Program Synthesis.

Xinyu Wang Greg Anderson Isil Dillig Kenneth L. McMillan

Published in: CoRR (2018)

Keyphrases

program synthesis
learning algorithm
learning process
learning systems
databases
high level
prior knowledge
learning tasks
learning problems
knowledge base
learning environment
pairwise
relational databases
supervised learning
statistical learning