Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. - Ashwin J. Vijayakumar; Abhishek Mohta; Oleksandr Polozov; Dhruv Batra; Prateek Jain 002; Sumit Gulwani (CoRR, 2018)