Verifying Safety of Neural Networks from Topological Perspectives

Zhen Liang, Dejin Ren, Bai Xue +3

Neural networks (NNs) are increasingly applied in safety-critical systems such as autonomous vehicles. However, they are fragile and are often ill-behaved. Consequently, their beha…