Convex Bounds on the Softmax Function with Applications to Robustness Verification

3 March 2023

Min Wu

Papers citing "Convex Bounds on the Softmax Function with Applications to Robustness Verification"

1 / 1 papers shown

Title
Neural Network Verification with Branch-and-Bound for General Nonlinearities Zhouxing Shi Qirui Jin Zico Kolter Suman Jana Cho-Jui Hsieh Huan Zhang 103 18 0 31 May 2024