Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks

3 May 2017

Papers citing "Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks"

15 / 15 papers shown

Title
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification Anan Kabaha Dana Drachsler-Cohen AAML 57 0 0 23 Feb 2025
On Using Certified Training towards Empirical Robustness Alessandro De Palma Serge Durand Zakaria Chihani François Terrier Caterina Urban OOD AAML 56 1 0 02 Oct 2024
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 271 16 0 31 Aug 2024
Certified Causal Defense with Generalizable Robustness Yiran Qiao Yu Yin Chen Chen Jing Ma AAML OOD CML 111 0 0 28 Aug 2024
Towards Certification of Uncertainty Calibration under Adversarial Attacks Cornelius Emde Francesco Pinto Thomas Lukasiewicz Philip Torr Adel Bibi AAML 62 0 0 22 May 2024
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 117 36 0 29 Apr 2023
Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification Brendon G. Anderson Ziye Ma Jingqi Li Somayeh Sojoudi 73 1 0 22 Jan 2021
Adversarial Examples on Object Recognition: A Comprehensive Survey A. Serban E. Poll Joost Visser AAML 53 73 0 07 Aug 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 49 34 0 06 Mar 2020
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 89 123 0 31 Oct 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 282 1,849 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 198 935 0 21 Oct 2016
Measuring Neural Net Robustness with Constraints Osbert Bastani Yani Andrew Ioannou Leonidas Lampropoulos Dimitrios Vytiniotis A. Nori A. Criminisi AAML 45 423 0 24 May 2016
Fast and Accurate Deep Network Learning by Exponential Linear Units (ELUs) Djork-Arné Clevert Thomas Unterthiner Sepp Hochreiter 180 5,502 0 23 Nov 2015
Caffe: Convolutional Architecture for Fast Feature Embedding Yangqing Jia Evan Shelhamer Jeff Donahue Sergey Karayev Jonathan Long Ross B. Girshick S. Guadarrama Trevor Darrell VLM BDL 3DV 146 14,703 0 20 Jun 2014