Convex Bounds on the Softmax Function with Applications to Robustness
Verification

Convex Bounds on the Softmax Function with Applications to Robustness Verification

3 March 2023

Min Wu

Clark W. Barrett

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

7 / 7 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 48 11 0 31 May 2024
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 108 138 0 29 Nov 2018
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 292 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017
Simple and Scalable Predictive Uncertainty Estimation using Deep Ensembles Balaji Lakshminarayanan Alexander Pritzel Charles Blundell UQCV BDL 276 5,675 0 05 Dec 2016
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016
Effective Approaches to Attention-based Neural Machine Translation Thang Luong Hieu H. Pham Christopher D. Manning 218 7,926 0 17 Aug 2015