Learning to select examples for program synthesis.

Yewen Pu Zachery Miranda Armando Solar-Lezama Leslie Pack Kaelbling

Published in: CoRR (2017)

Keyphrases

program synthesis
learning algorithm
online learning
learning tasks
learning process
prior knowledge
active learning
knowledge representation
neural network
general purpose
learning problems
statistical learning
positive examples