Scaling Neural Program Synthesis with Distribution-based Search

Nathanaël Fijalkow, Guillaume Lagarde, Théo Matricon +3

We consider the problem of automatically constructing computer programs from input-output examples. We investigate how to augment probabilistic and neural program synthesis methods…