Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone | Read Paper on Bytez