Tom Zelazny, Haoze Wu 0001, Clark W. Barrett, Guy Katz. On Optimizing Back-Substitution Methods for Neural Network Verification. In FMCAD. pages 17-26, 2022. [doi]
@inproceedings{ZelaznyWBK22,
title = {On Optimizing Back-Substitution Methods for Neural Network Verification},
author = {Tom Zelazny and Haoze Wu 0001 and Clark W. Barrett and Guy Katz},
year = {2022},
doi = {10.34727/2022/isbn.978-3-85448-053-2_7},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_7},
researchr = {https://researchr.org/publication/ZelaznyWBK22},
cites = {0},
citedby = {0},
pages = {17-26},
booktitle = {FMCAD},
}