TY  - RPRT
TI  - Convex Bounds on the Softmax Function with Applications to Robustness Verification
AU  - Dennis Wei
AU  - Haoze Wu
AU  - Min Wu
AU  - Pin-Yu Chen
AU  - Clark Barrett
AU  - Eitan Farchi
PY  - 2023
UR  - https://arxiv.org/abs/2303.01713
ID  - 2303.01713
ER  -