Posts by Collection

portfolio

projects

publications

Publications

Published in , 2009

  • 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

talks

teaching

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.