Abstract: The robustness of convolutional neural networks (CNNs) is vital to modern AI-driven systems. It can be quanti-fied by formal verification by providing a certified lower bound, within which ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback