2 papers
cs.CV2025
CAPM: Fast and Robust Verification on Maxpool-based CNN via Dual Network
Jia-Hau Bai, Chi-Ting Liu, Yu Wang +2
This study uses CAPM (Convex Adversarial Polytope for Maxpool-based CNN) to improve the verified bound for general purpose maxpool-based convolutional neural networks (CNNs) under…
cs.LG2025
A Theoretical Framework for OOD Robustness in Transformers using Gevrey Classes
Yu Wang, Fu-Chieh Chang, Pei-Yuan Wu
We study the robustness of Transformer language models under semantic out-of-distribution (OOD) shifts, where training and test data lie in disjoint latent spaces. Using Wasserstei…