Microsoft Research Redmond, Redmond, WA 98052, USA; Microsoft Research India, Bengaluru, Karnataka 560001, India; School of Interactive Computing, Georgia Tech, Atlanta, GA 30308, USA
Ashwin Vijayakumar, Abhishek Mohta, Alex Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani
Program synthesis;deductive search;deep learning;program induction;recurrent neural networks
Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples