Program synthesis aims to automatically find programs from an underlying programming language that satisfy a given specification. While this has the potential revolutionize computing, how search over vast space of efficiently is unsolved challenge in program synthesis. In cases where large are required for solution, it generally believed stochastic advantages other classes techniques. Unfortuna...