Dennis Wei, Haoze Wu 0001, Min Wu, Pin-Yu Chen, Clark W. Barrett, Eitan Farchi. Convex Bounds on the Softmax Function with Applications to Robustness Verification. In Francisco J. R. Ruiz, Jennifer G. Dy, Jan-Willem van de Meent, editors, International Conference on Artificial Intelligence and Statistics, 25-27 April 2023, Palau de Congressos, Valencia, Spain. Volume 206 of Proceedings of Machine Learning Research, pages 6853-6878, PMLR, 2023. [doi]
Abstract is missing.