Rohan Mukherjee 0001, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Christopher M. Jermaine. Neural Program Generation Modulo Static Analysis. In Marc'Aurelio Ranzato, Alina Beygelzimer, Yann N. Dauphin, Percy Liang, Jennifer Wortman Vaughan, editors, Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual. pages 18984-18996, 2021. [doi]
@inproceedings{MukherjeeWCRCJ21,
title = {Neural Program Generation Modulo Static Analysis},
author = {Rohan Mukherjee 0001 and Yeming Wen and Dipak Chaudhari and Thomas W. Reps and Swarat Chaudhuri and Christopher M. Jermaine},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/9e1a36515d6704d7eb7a30d783400e5d-Abstract.html},
researchr = {https://researchr.org/publication/MukherjeeWCRCJ21},
cites = {0},
citedby = {0},
pages = {18984-18996},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual},
editor = {Marc'Aurelio Ranzato and Alina Beygelzimer and Yann N. Dauphin and Percy Liang and Jennifer Wortman Vaughan},
}