Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions

16 November 2023

Papers citing "Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions"

5 / 5 papers shown

Title
Deep physical neural networks enabled by a backpropagation algorithm for arbitrary physical systems Logan G. Wright Tatsuhiro Onodera Martin M. Stein Tianyu Wang Darren T. Schachter Zoey Hu Peter L. McMahon PINN AI4CE 30 457 0 27 Apr 2021
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 101 138 0 29 Nov 2018
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 72 289 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 222 1,818 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016