Automated Verification of Neural Networks: Advances, Challenges and
Perspectives

Automated Verification of Neural Networks: Advances, Challenges and Perspectives

25 May 2018

Francesco Leofante

Nina Narodytska

Papers citing "Automated Verification of Neural Networks: Advances, Challenges and Perspectives"

11 / 11 papers shown

Title
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 94 32 0 29 Apr 2023
The Power of Typed Affine Decision Structures: A Case Study Gerrit Nolte Maximilian Schlüter Alnis Murtovi Bernhard Steffen AAML 20 3 0 28 Apr 2023
On Neural Network Equivalence Checking using SMT Solvers Charis Eleftheriadis Nikolaos Kekatos Panagiotis Katsaros S. Tripakis AAML 24 12 0 22 Mar 2022
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks Dario Guidotti Luca Pulina A. Tacchella 3DV 17 3 0 18 Nov 2020
Model-Based and Data-Driven Strategies in Medical Image Computing Daniel Rueckert Julia A. Schnabel OOD MedIm AI4CE 28 50 0 23 Sep 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 36 392 0 15 Mar 2019
Optimization Problems for Machine Learning: A Survey Claudio Gambella Bissan Ghaddar Joe Naoum-Sawaya AI4CE 30 178 0 16 Jan 2019
Verification of Recurrent Neural Networks Through Rule Extraction Qinglong Wang Kaixuan Zhang Xue Liu C. Lee Giles AAML 28 18 0 14 Nov 2018
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks D. Gopinath Guy Katz C. Păsăreanu Clark W. Barrett AAML 50 87 0 02 Oct 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
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016