Synthesizing number transformations from input-output examples
Synthesis of loop-free programs