CAPM: Fast and Robust Verification on Maxpool-based CNN via Dual Network. - Jia-Hau Bai; Chi-Ting Liu; Yu Wang; Fu-Chieh Chang 001; Pei-Yuan Wu (CoRR, 2024)