@inproceedings{executionguidedneuralprogramsynthesis,
  title = {Execution-Guided Neural Program Synthesis},
  author = {Xinyun Chen and Chang Liu and Dawn Song},
  year = {2019},
  booktitle = {ICLR 2019 5},
  url = {https://openreview.net/forum?id=H1gfOiAqYm},
}