Improved Geometric Path Enumeration for Verifying ReLU Neural Networks (bibtex)

by Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs and Taylor T. Johnson

Reference:

Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs and Taylor T. Johnson, "Improved Geometric Path Enumeration for Verifying ReLU Neural Networks", In 32nd International Conference on Computer-Aided Verification (CAV'20), Springer, pp. 66–96, 2020.

Bibtex Entry:

@inproceedings{bak2020cav,
  title = {Improved Geometric Path Enumeration for Verifying ReLU Neural Networks},
  author = {Stanley Bak and Hoang-Dung Tran and Kerianne Hobbs and Taylor T. Johnson},
  year = {2020},
  month = jul,
  booktitle = {32nd International Conference on Computer-Aided Verification (CAV'20)},
  volume = {12224},
  pages = {66--96},
  publisher = {Springer},
  doi = {10.1007/978-3-030-53288-8_4},
  publabel = {C28},
  pubtype = {C},
  dblp = {conf/cav/BakTHJ20},
  s2id = {220548064},
  pdf = "research/bak2020cav.pdf",
}