Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples.

Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani

Browse the full ICLR paper archive.