1 paper
Théo Matricon, Nathanaël Fijalkow, Gaëtan Margueritte
We tackle the problem of automatic generation of computer programs from a few pairs of input-output examples. The starting point of this work is the observation that in many applic…