A Unified View of Piecewise Linear Neural Network Verification

1 November 2017

Papers citing "A Unified View of Piecewise Linear Neural Network Verification"

34 / 34 papers shown

Title
Mixed-Integer Optimisation of Graph Neural Networks for Computer-Aided Molecular Design Tom McDonald Calvin Tsay Artur M. Schweidtmann Neil Yorke-Smith 68 14 0 02 Dec 2023
A max-affine spline approximation of neural networks using the Legendre transform of a convex-concave representation Adam Perrett Danny Wood Gavin Brown 21 0 0 16 Jul 2023
Tighter Abstract Queries in Neural Network Verification Elazar Cohen Y. Elboher Clark W. Barrett Guy Katz 32 5 0 23 Oct 2022
Neural Network Verification using Residual Reasoning Y. Elboher Elazar Cohen Guy Katz LRM 32 16 0 05 Aug 2022
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks Jiaxiang Liu Yunhan Xing Xiaomu Shi Fu Song Zhiwu Xu Zhong Ming 26 10 0 02 Jul 2022
Bisimulations for Neural Network Reduction P. Prabhakar 41 6 0 07 Oct 2021
DNNV: A Framework for Deep Neural Network Verification David Shriver Sebastian G. Elbaum Matthew B. Dwyer 21 31 0 26 May 2021
Fast Certified Robust Training with Short Warmup Zhouxing Shi Yihan Wang Huan Zhang Jinfeng Yi Cho-Jui Hsieh AAML 20 53 0 31 Mar 2021
Scaling Up Exact Neural Network Compression by ReLU Stability Thiago Serra Xin Yu Abhinav Kumar Srikumar Ramalingam 22 24 0 15 Feb 2021
Abstraction based Output Range Analysis for Neural Networks P. Prabhakar Zahra Rahimi Afzal 38 62 0 18 Jul 2020
A general framework for defining and optimizing robustness Alessandro Tibo M. Jaeger Kim G. Larsen 18 0 0 19 Jun 2020
Extensions and limitations of randomized smoothing for robustness guarantees Jamie Hayes AAML 8 21 0 07 Jun 2020
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group) Zied Bouraoui Antoine Cornuéjols Thierry Denoeux Sebastien Destercke Didier Dubois ... Jérôme Mengin H. Prade Steven Schockaert M. Serrurier Christel Vrain 21 13 0 13 Dec 2019
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 27 122 0 31 Oct 2019
Simplifying Neural Networks using Formal Verification S. Gokulanathan Alexander Feldsher Adi Malca Clark W. Barrett Guy Katz 38 4 0 25 Oct 2019
Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation Po-Sen Huang Robert Stanforth Johannes Welbl Chris Dyer Dani Yogatama Sven Gowal Krishnamurthy Dvijotham Pushmeet Kohli AAML 22 164 0 03 Sep 2019
Verification of Non-Linear Specifications for Neural Networks Chongli Qin Krishnamurthy Dvijotham Dvijotham Brendan O'Donoghue Rudy Bunel Robert Stanforth Sven Gowal J. Uesato G. Swirszcz Pushmeet Kohli AAML 19 43 0 25 Feb 2019
Formal methods and software engineering for DL. Security, safety and productivity for DL systems development Gaétan Hains Arvid Jakobsson Y. Khmelevsky AI4CE 27 3 0 31 Jan 2019
A Survey of Safety and Trustworthiness of Deep Neural Networks: Verification, Testing, Adversarial Attack and Defence, and Interpretability Xiaowei Huang Daniel Kroening Wenjie Ruan Marta Kwiatkowska Youcheng Sun Emese Thamo Min Wu Xinping Yi AAML 24 50 0 18 Dec 2018
Verification of deep probabilistic models Krishnamurthy Dvijotham M. Garnelo Alhussein Fawzi Pushmeet Kohli 25 23 0 06 Dec 2018
A Statistical Approach to Assessing Neural Network Robustness Stefan Webb Tom Rainforth Yee Whye Teh M. P. Kumar AAML 19 81 0 17 Nov 2018
On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models Sven Gowal Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel Chongli Qin J. Uesato Relja Arandjelović Timothy A. Mann Pushmeet Kohli AAML 30 546 0 30 Oct 2018
Towards Robust Deep Neural Networks Timothy E. Wang Jack Gu D. Mehta Xiaojun Zhao Edgar A. Bernal OOD 26 11 0 27 Oct 2018
Verification for Machine Learning, Autonomy, and Neural Networks Survey Weiming Xiang Patrick Musau A. Wild Diego Manzanas Lopez Nathaniel P. Hamilton Xiaodong Yang Joel A. Rosenfeld Taylor T. Johnson 30 101 0 03 Oct 2018
Automated Verification of Neural Networks: Advances, Challenges and Perspectives Francesco Leofante Nina Narodytska Luca Pulina A. Tacchella AAML 28 69 0 25 May 2018
Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 29 269 0 06 May 2018
A Dual Approach to Scalable Verification of Deep Networks Krishnamurthy Dvijotham Dvijotham Robert Stanforth Sven Gowal Timothy A. Mann Pushmeet Kohli 27 395 0 17 Mar 2018
Testing Deep Neural Networks Youcheng Sun Xiaowei Huang Daniel Kroening James Sharp Matthew Hill Rob Ashmore AAML 21 214 0 10 Mar 2018
Adversarial Risk and the Dangers of Evaluating Against Weak Attacks J. Uesato Brendan O'Donoghue Aaron van den Oord Pushmeet Kohli AAML 39 598 0 15 Feb 2018
On the Robustness of Semantic Segmentation Models to Adversarial Attacks Anurag Arnab O. Mikšík Philip Torr AAML 33 304 0 27 Nov 2017
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng Kai Y. Xiao Russ Tedrake AAML 52 117 0 20 Nov 2017
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 293 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 251 1,842 0 03 Feb 2017
Input Convex Neural Networks Brandon Amos Lei Xu J. Zico Kolter 187 603 0 22 Sep 2016