@inproceedings{learningloopinvariantsforprogram,
  title = {Learning Loop Invariants for Program Verification},
  author = {Xujie Si and Hanjun Dai and Mukund Raghothaman and Mayur Naik and Le Song},
  year = {2018},
  booktitle = {NeurIPS 2018 12},
  url = {http://papers.nips.cc/paper/8001-learning-loop-invariants-for-program-verification},
}