On the difficulty of benchmarking inductive program synthesis methods
Systematic search for lambda expressions