Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Authors: Guy Katz, Clark Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer

Year: 2017

Venue: International Conference on Computer Aided Verification (CAV)

Type: inproceedings

URL: https://arxiv.org/abs/1702.01135

DOI: 10.1007/978-3-319-63387-9_5

arXiv: 1702.01135

Cite as: [@katz2017reluplex]

Raw Files

No raw files yet. Run node scripts/fetch-bibliography-raw.mjs --only katz2017reluplex to populate, or drop files into raw/bibliography/katz2017reluplex/.

BibTeX

@inproceedings{katz2017reluplex,
  title = {Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks},
  author = {Guy Katz and Clark Barrett and David L. Dill and Kyle Julian and Mykel J. Kochenderfer},
  year = {2017},
  booktitle = {International Conference on Computer Aided Verification (CAV)},
  url = {https://arxiv.org/abs/1702.01135},
  doi = {10.1007/978-3-319-63387-9_5}
}

Notes

No notes yet. Create notes/katz2017reluplex.md to add notes.