@misc{indiciae6d8b85a1f5e0,
  title = {Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples},
  author = {Ashwin Kalyan and Abhishek Mohta and Oleksandr Polozov and Dhruv Batra and Prateek Jain and Sumit Gulwani},
  year = {2018},
  url = {https://arxiv.org/abs/1804.01186},
  note = {Source identifier: 1804.01186}
}