Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/nips/SiDRNS18
%A Si, Xujie
%A Dai, Hanjun
%A Raghothaman, Mukund
%A Naik, Mayur
%A Song, Le
%B NeurIPS
%D 2018
%E Bengio, Samy
%E Wallach, Hanna M.
%E Larochelle, Hugo
%E Grauman, Kristen
%E Cesa-Bianchi, Nicolò
%E Garnett, Roman
%K dblp
%P 7762-7773
%T Learning Loop Invariants for Program Verification.
%U http://dblp.uni-trier.de/db/conf/nips/nips2018.html#SiDRNS18
@inproceedings{conf/nips/SiDRNS18,
added-at = {2018-12-16T00:00:00.000+0100},
author = {Si, Xujie and Dai, Hanjun and Raghothaman, Mukund and Naik, Mayur and Song, Le},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29532ad87103dbcd30e077eefed28fc69/dblp},
booktitle = {NeurIPS},
crossref = {conf/nips/2018},
editor = {Bengio, Samy and Wallach, Hanna M. and Larochelle, Hugo and Grauman, Kristen and Cesa-Bianchi, Nicolò and Garnett, Roman},
ee = {http://papers.nips.cc/paper/8001-learning-loop-invariants-for-program-verification},
interhash = {78dee49e1fe8547f4517b9d953c33c38},
intrahash = {9532ad87103dbcd30e077eefed28fc69},
keywords = {dblp},
pages = {7762-7773},
timestamp = {2019-09-27T17:22:05.000+0200},
title = {Learning Loop Invariants for Program Verification.},
url = {http://dblp.uni-trier.de/db/conf/nips/nips2018.html#SiDRNS18},
year = 2018
}
