10 citations · 32 across the 19 of their papers we have counts for
1 paper · 1 filter
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…