Tight Robustness Certificates and Wasserstein Distributional Attacks for Deep Neural Networks. - Bach C. Le; Tung V. Dao; Binh T. Nguyen; Hong T. M. Chu (CoRR, 2025)