Akarsh Nayan Potta

Scaling Neural Program Synthesis with Distribution-Based Search

We consider the problem of automatically constructing computer programs from input-output examples. We investigate how to augment probabilistic and neural program synthesis methods with new search algorithms, proposing a framework called distribution-based search. Within this framework, we introduce…