Convex Bounds on the Softmax Function with Applications to Robustness Verification.
Dennis WeiHaoze WuMin WuPin-Yu ChenClark W. BarrettEitan FarchiPublished in: AISTATS (2023)
Keyphrases
- piecewise linear
- upper bound
- piecewise affine
- payoff functions
- lower bound
- strictly convex
- closed form expressions
- piecewise constant
- computational efficiency
- convex functions
- large deviations
- face verification
- quadratic function
- semi infinite programming
- neural network
- constrained minimization
- convex combinations
- convex optimization