program synthesis from input-output examples, which typically assumes that the number of input-output examples is

Open in new window