Login / Signup
Convex Bounds on the Softmax Function with Applications to Robustness Verification.
Dennis Wei
Haoze Wu
Min Wu
Pin-Yu Chen
Clark W. Barrett
Eitan Farchi
Published in:
CoRR (2023)
Keyphrases
</>
piecewise linear
upper bound
lower bound
strictly convex
piecewise affine
model checking
convex combinations
payoff functions
quadratic function
verification method
upper and lower bounds
convex optimization
convex hull
computational efficiency
worst case
support vector
semi infinite programming
data sets