Just-in-Time Learning for Bottom-Up Enumerative Synthesis

Shraddha Barke, Hila Peleg, Nadia Polikarpova

A key challenge in program synthesis is the astronomical size of the search space the synthesizer has to explore. In response to this challenge, recent work proposed to guide synth…