Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation | Read Paper on Bytez