A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Traversing the Local Polytopes of ReLU Neural Networks: A Unified Approach for Network Verification
[article]
2022
arXiv
pre-print
Although neural networks (NNs) with ReLU activation functions have found success in a wide range of applications, their adoption in risk-sensitive settings has been limited by the concerns on robustness and interpretability. Previous works to examine robustness and to improve interpretability partially exploited the piecewise linear function form of ReLU NNs. In this paper, we explore the unique topological structure that ReLU NNs create in the input space, identifying the adjacency among the
arXiv:2111.08922v2
fatcat:ahqwu2zedrgihfmukvvwkazdpi