Synthesizing program input grammars
Synthesizing number transformations from input-output examples