On the difficulty of benchmarking inductive program synthesis methods
Synthesizing number transformations from input-output examples