Learning Abstractions for Program Synthesis.

Xinyu Wang Greg Anderson Isil Dillig Kenneth L. McMillan

Published in: CAV (1) (2018)

Keyphrases

program synthesis
learning process
learning algorithm
reinforcement learning
learning tasks
learning problems
supervised learning
unsupervised learning
state space
statistical learning
learning systems
online learning
data mining
active learning
database systems
information retrieval
machine learning