Accelerating search-based program synthesis using learned probabilistic models
Synthesis of loop-free programs