Improved Geometric Path Enumeration for Verifying ReLU Neural Networks

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

doi:10.1007/978-3-030-53288-8_4

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

Reference:

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

Bibtex Entry:

@inproceedings{bak2020cav,
author = "Stanley Bak and Hoang-Dung Tran and Kerianne Hobbs and Taylor T. Johnson",
title = "Improved Geometric Path Enumeration for Verifying {ReLU} Neural Networks",
booktitle = "32nd International Conference on Computer-Aided Verification (CAV)",
year = "2020",
month = "July",
pdf = "research/bak2020cav.pdf",
doi = "10.1007/978-3-030-53288-8_4",
}