Differentiable Functional Program Interpreters

John K. Feser, Marc Brockschmidt, Alexander L. Gaunt +1

Programming by Example (PBE) is the task of inducing computer programs from input-output examples. It can be seen as a type of machine learning where the hypothesis space is the se…