Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation

Date:

Slide preview