Convex Bounds on the Softmax Function with Applications to Robustness Verification

Published in International Conference on Artificial Intelligence and Statistics (AISTATS'23), 2023