Convex Bounds on the Softmax Function with Applications to Robustness Verification

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]

Authors

Dennis Wei

This author has not been identified. Look up 'Dennis Wei' in Google

Haoze Wu 0001

This author has not been identified. Look up 'Haoze Wu 0001' in Google

Min Wu

This author has not been identified. Look up 'Min Wu' in Google

Pin-Yu Chen

This author has not been identified. Look up 'Pin-Yu Chen' in Google

Clark W. Barrett

This author has not been identified. Look up 'Clark W. Barrett' in Google

Eitan Farchi

This author has not been identified. Look up 'Eitan Farchi' in Google