Revisiting Differential Verification: Equivalence Verification with Confidence

26 October 2024

Papers citing "Revisiting Differential Verification: Equivalence Verification with Confidence"

24 / 24 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 74 16 0 31 May 2024
Relational DNN Verification With Cross Executional Bound Refinement Debangshu Banerjee Gagandeep Singh AAML 46 5 0 16 May 2024
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks Haoze Wu Omri Isac Aleksandar Zeljić Teruhiro Tagomori M. Daggitt ... Min Wu Min Zhang Ekaterina Komendantskaya Guy Katz Clark W. Barrett 94 39 0 25 Jan 2024
Two Sides of Miscalibration: Identifying Over and Under-Confidence Prediction for Network Calibration Shuang Ao Stefan Rueger Advaith Siddharthan UQCV 30 8 0 06 Aug 2023
Provably Bounding Neural Network Preimages Suhas Kotha Christopher Brix Zico Kolter Krishnamurthy Dvijotham Huan Zhang AAML 56 18 0 02 Feb 2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 51 71 0 14 Jan 2023
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 48 11 0 06 Dec 2022
Towards Reliable Neural Specifications Chuqin Geng Nham Le Xiaojie Xu Zhaoyue Wang A. Gurfinkel X. Si AAML 46 10 0 28 Oct 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification Huan Zhang Shiqi Wang Kaidi Xu Linyi Li Yue Liu Suman Jana Cho-Jui Hsieh J. Zico Kolter 58 102 0 11 Aug 2022
On Neural Network Equivalence Checking using SMT Solvers Charis Eleftheriadis Nikolaos Kekatos Panagiotis Katsaros S. Tripakis AAML 40 12 0 22 Mar 2022
Geometric Path Enumeration for Equivalence Verification of Neural Networks Samuel Teuber Marko Kleine Büning Philipp Kern C. Sinz 40 11 0 13 Dec 2021
Reachability Is NP-Complete Even for the Simplest Neural Networks Marco Sälzer M. Lange 37 27 0 30 Aug 2021
DNNV: A Framework for Deep Neural Network Verification David Shriver Sebastian G. Elbaum Matthew B. Dwyer 50 32 0 26 May 2021
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers Kaidi Xu Huan Zhang Shiqi Wang Yihan Wang Suman Jana Xue Lin Cho-Jui Hsieh 82 183 0 27 Nov 2020
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation Brandon Paulsen Jingbo Wang Jiawei Wang Chao Wang 62 36 0 21 Sep 2020
Scaling Polyhedral Neural Network Verification on GPUs Christoph Müller F. Serre Gagandeep Singh Markus Püschel Martin Vechev AAML 43 56 0 20 Jul 2020
ReluDiff: Differential Verification of Deep Neural Networks Brandon Paulsen Jingbo Wang Chao Wang 113 53 0 10 Jan 2020
Efficient Neural Network Robustness Certification with General Activation Functions Huan Zhang Tsui-Wei Weng Pin-Yu Chen Cho-Jui Hsieh Luca Daniel AAML 89 760 0 02 Nov 2018
Efficient Formal Safety Analysis of Neural Networks Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 65 404 0 19 Sep 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 84 478 0 28 Apr 2018
Fast inference of deep neural networks in FPGAs for particle physics Javier Mauricio Duarte Song Han Philip C. Harris S. Jindariani E. Kreinar ... J. Ngadiuba M. Pierini R. Rivera N. Tran Zhenbin Wu AI4CE 128 392 0 16 Apr 2018
Verifying Properties of Binarized Deep Neural Networks Nina Narodytska S. Kasiviswanathan L. Ryzhyk Shmuel Sagiv T. Walsh AAML 64 217 0 19 Sep 2017
On Calibration of Modern Neural Networks Chuan Guo Geoff Pleiss Yu Sun Kilian Q. Weinberger UQCV 299 5,827 0 14 Jun 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 315 1,867 0 03 Feb 2017