Library learning for neurally-guided Bayesian program induction

Successful approaches to program induction require a hand-engineered domain-specific language (DSL), constraining the space of allowed programs and imparting prior knowledge of the domain. We contribute a program induction algorithm called EC 2 that learns a DSL while jointly training a neural network to efficiently search for programs in the learned DSL. We use our model to synthesize functions on lists, edit text, and solve symbolic regression problems, showing how the model learns a domain-specific library of program components for expressing solutions to problems in the domain.Air Force Office of Scientific Research (Grant FA9550-16-1-0012)United States. Defense Advanced Research Projects Agency (Grant FA8750-14-2-0242