@InProceedings{Katz2017,
  author    = {Guy Katz and Clark Barrett and David L. Dill and Kyle D. Julian and Mykel J. Kochenderfer},
  title     = {Reluplex: {A}n efficient {SMT} solver for verifying deep neural networks},
  booktitle = {International Conference on Computer-Aided Verification},
  year      = {2017},
  url       = {https://arxiv.org/abs/1702.01135},
}

{"_id":"APCg5PrE3kSZjc9nv","bibbaseid":"katz-barrett-dill-julian-kochenderfer-reluplexanefficientsmtsolverforverifyingdeepneuralnetworks-2017","downloads":0,"creationDate":"2018-07-01T22:09:27.505Z","title":"Reluplex: An efficient SMT solver for verifying deep neural networks","author_short":["Katz, G.","Barrett, C.","Dill, D. L.","Julian, K. D.","Kochenderfer, M. J."],"year":2017,"bibtype":"inproceedings","biburl":"http://aisafety.stanford.edu/bib/all-pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Guy"],"propositions":[],"lastnames":["Katz"],"suffixes":[]},{"firstnames":["Clark"],"propositions":[],"lastnames":["Barrett"],"suffixes":[]},{"firstnames":["David","L."],"propositions":[],"lastnames":["Dill"],"suffixes":[]},{"firstnames":["Kyle","D."],"propositions":[],"lastnames":["Julian"],"suffixes":[]},{"firstnames":["Mykel","J."],"propositions":[],"lastnames":["Kochenderfer"],"suffixes":[]}],"title":"Reluplex: An efficient SMT solver for verifying deep neural networks","booktitle":"International Conference on Computer-Aided Verification","year":"2017","url":"https://arxiv.org/abs/1702.01135","bibtex":"@InProceedings{Katz2017,\n author = {Guy Katz and Clark Barrett and David L. Dill and Kyle D. Julian and Mykel J. Kochenderfer},\n title = {Reluplex: {A}n efficient {SMT} solver for verifying deep neural networks},\n booktitle = {International Conference on Computer-Aided Verification},\n year = {2017},\n url = {https://arxiv.org/abs/1702.01135},\n}\n\n","author_short":["Katz, G.","Barrett, C.","Dill, D. L.","Julian, K. D.","Kochenderfer, M. J."],"key":"Katz2017","id":"Katz2017","bibbaseid":"katz-barrett-dill-julian-kochenderfer-reluplexanefficientsmtsolverforverifyingdeepneuralnetworks-2017","role":"author","urls":{"Paper":"https://arxiv.org/abs/1702.01135"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["reluplex","efficient","smt","solver","verifying","deep","neural","networks","katz","barrett","dill","julian","kochenderfer"],"keywords":[],"authorIDs":[],"dataSources":["Q5m4eREZKA5kKSYST","YCBcQPneB9oxahSnp","TbX42SDTQr5unfHC4","Wsv2bQ4jPuc7qme8R","L6He8KnRF8BusNwKm","bdnWRMC3puq7qTm42"]}