Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song. Learning Loop Invariants for Program Verification. In Samy Bengio, Hanna M. Wallach, Hugo Larochelle, Kristen Grauman, Nicolò Cesa-Bianchi, Roman Garnett, editors, Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December 2018, Montréal, Canada. pages 7762-7773, 2018. [doi]
@inproceedings{SiDRNS18,
title = {Learning Loop Invariants for Program Verification},
author = {Xujie Si and Hanjun Dai and Mukund Raghothaman and Mayur Naik and Le Song},
year = {2018},
url = {http://papers.nips.cc/paper/8001-learning-loop-invariants-for-program-verification},
researchr = {https://researchr.org/publication/SiDRNS18},
cites = {0},
citedby = {0},
pages = {7762-7773},
booktitle = {Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December 2018, Montréal, Canada},
editor = {Samy Bengio and Hanna M. Wallach and Hugo Larochelle and Kristen Grauman and Nicolò Cesa-Bianchi and Roman Garnett},
}