Publications
- Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples (Accepted)
International Conference on Learning Representations (ICLR) 2018, Vancouver, Canada
Patent filed
Abhishek Mohta, Ashwin Kalyan, Oleksandr Polozov, Dhruv Batra, Sumit Gulwani, Prateek Jain
Link to paper