v1v2 (latest)

Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers

27 November 2020

Papers citing "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"

50 / 111 papers shown

Title
Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification Yuke Liao Blaise Genest Kuldeep Meel Shaan Aryaman 23 0 0 31 Jul 2025
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Samuel Teuber Debasmita Lohar Bernhard Beckert 38 0 0 30 Jul 2025
TriGuard: Testing Model Safety with Attribution Entropy, Verification, and Drift Dipesh Tharu Mahato Rohan Poudel Pramod Dhungana AAML 79 0 0 17 Jun 2025
Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation Mohamed Serry H. Li Ruikun Zhou H. Zhang Jun Liu 40 0 0 16 Jun 2025
Compression Aware Certified Training Changming Xu Gagandeep Singh 70 0 0 13 Jun 2025
Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification Ryota Ueda Takami Sato Ken Kobayashi Kazuhide Nakata AAML 148 0 0 12 Jun 2025
SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming Hong-Ming Chiu Hao Chen Huan Zhang Richard Y. Zhang 51 0 0 07 Jun 2025
Conformal Mixed-Integer Constraint Learning with Feasibility Guarantees Daniel Ovalle Lorenz T. Biegler Ignacio E. Grossmann Carl D. Laird Mateo Dulce Rubio 118 0 0 04 Jun 2025
No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Attila Szász Balázs Bánhelyi Márk Jelasity 58 0 0 01 Jun 2025
Efficient Preimage Approximation for Neural Network Certification Anton Björklund Mykola Zaitsev Marta Kwiatkowska AAML 72 0 0 28 May 2025
Out of the Shadows: Exploring a Latent Space for Neural Network Verification Lukas Koller Tobias Ladner Matthias Althoff 109 0 0 23 May 2025
A General Framework for Property-Driven Machine Learning Thomas Flinkow Marco Casadio Colin Kessler Rosemary Monahan Ekaterina Komendantskaya AAML 194 2 0 01 May 2025
Evaluation and Verification of Physics-Informed Neural Models of the Grad-Shafranov Equation Fauzan Nazranda Rizqan Matthew Hole Charles Gretton 187 1 0 29 Apr 2025
Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems H. Li Xiangru Zhong Bin Hu Huan Zhang 84 0 0 23 Apr 2025
Support is All You Need for Certified VAE Training Changming Xu Debangshu Banerjee Deepak Vasisht Gagandeep Singh AAML 103 0 0 16 Apr 2025
Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes Yuhao Zhang Xiangru Xu AAML 123 0 0 13 Mar 2025
A Guide to Failure in Machine Learning: Reliability and Robustness from Foundations to Practice Eric Heim Oren Wright David Shriver OOD FaML 175 0 0 01 Mar 2025
Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees Xinhang Ma Junlin Wu Hussein Sibai Y. Kantaros Yevgeniy Vorobeychik 100 0 0 28 Feb 2025
Verification of Bit-Flip Attacks against Quantized Neural Networks Yedi Zhang Lei Huang Pengfei Gao Fu Song Jun Sun Jin Song Dong AAML 125 0 0 22 Feb 2025
BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics Keyi Shen Jiangwei Yu Huan Zhang Yunzhu Li Yunzhu Li 305 1 0 12 Dec 2024
Testing Neural Network Verifiers: A Soundness Benchmark with Hidden Counterexamples Xingjian Zhou Hongji Xu Andy Xu Zhouxing Shi Cho-Jui Hsieh Huan Zhang AAML 143 1 0 04 Dec 2024
Specification Generation for Neural Networks in Systems Isha Chaudhary Shuyi Lin Cheng Tan Gagandeep Singh 163 0 0 04 Dec 2024
Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control Zhouxing Shi Cho-Jui Hsieh Huan Zhang 173 2 0 27 Nov 2024
Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Syed Ali Asadullah Bukhari Thomas Flinkow M. Inkarbekov Barak A. Pearlmutter Rosemary Monahan 166 0 0 21 Nov 2024
Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels Benedikt Brückner Alessio Lomuscio AAML 170 1 0 07 Nov 2024
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions Hongchao Zhang Zhizhen Qin Sicun Gao Andrew Clark 108 3 0 27 Oct 2024
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 152 1 0 26 Oct 2024
On Using Certified Training towards Empirical Robustness Alessandro De Palma Serge Durand Zakaria Chihani François Terrier Caterina Urban OOD AAML 211 1 0 02 Oct 2024
AutoSpec: Automated Generation of Neural Network Specifications Shuowei Jin Francis Y. Yan Cheng Tan Anuj Kalia Xenofon Foukas Z. Morley Mao 101 0 0 17 Sep 2024
Training Safe Neural Networks with Global SDP Bounds Roman Soletskyi David "davidad" Dalrymple AAML 103 1 0 15 Sep 2024
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation Ben Batten Yang Zheng Alessandro De Palma Panagiotis Kouvaros A. Lomuscio AAML 99 1 0 23 Aug 2024
Achieving the Tightest Relaxation of Sigmoids for Formal Verification Samuel Chevalier Duncan Starkenburg Krishnamurthy Dvijotham 89 2 0 20 Aug 2024
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska Huan Zhang AAML 131 4 0 17 Aug 2024
Certified Continual Learning for Neural Network Regression Long H. Pham Jun Sun 154 2 0 09 Jul 2024
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks Tianhao Wei Luca Marzari Kai S. Yun Hanjiang Hu Peizhi Niu Xusheng Luo Changliu Liu 106 1 0 30 Jun 2024
Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifiers Jonas Ngnawé Sabyasachi Sahoo Y. Pequignot Frédéric Precioso Christian Gagné AAML 120 0 0 26 Jun 2024
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks Matthias König Xiyue Zhang Holger H. Hoos Marta Kwiatkowska Jan N. van Rijn AAML 87 1 0 14 Jun 2024
CTBENCH: A Library and Benchmark for Certified Training Yuhao Mao Stefan Balauca Martin Vechev OOD 201 5 0 07 Jun 2024
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation Yuan Xiao Shiqing Ma Juan Zhai Chunrong Fang Jinyuan Jia Zhenyu Chen AAML 114 1 0 02 Jun 2024
Compact Optimality Verification for Optimization Proxies Wenbo Chen Haoruo Zhao Mathieu Tanneau Pascal Van Hentenryck 116 0 0 31 May 2024
Neural Network Verification with Branch-and-Bound for General Nonlinearities Zhouxing Shi Qirui Jin Zico Kolter Suman Jana Cho-Jui Hsieh Huan Zhang 152 23 0 31 May 2024
Verifiably Robust Conformal Prediction Linus Jeary Tom Kuipers Mehran Hosseini Nicola Paoletti AAML 147 7 0 29 May 2024
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang Srecko Ðurasinovic Jean B. Lasserre Victor Magron Jun Zhao AAML 182 1 0 27 May 2024
Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 210 2 0 27 May 2024
Relational DNN Verification With Cross Executional Bound Refinement Debangshu Banerjee Gagandeep Singh AAML 100 7 0 16 May 2024
Cross-Input Certified Training for Universal Perturbations Changming Xu Gagandeep Singh AAML 92 2 0 15 May 2024
Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation Boqi Chen Kristóf Marussy Oszkár Semeráth Gunter Mussbacher Dániel Varró AAML 193 0 0 14 May 2024
Scalable Exact Verification of Optimization Proxies for Large-Scale Optimal Power Flow Rahul Nellikkath Mathieu Tanneau Pascal Van Hentenryck Spyros Chatzivasileiadis 93 0 0 09 May 2024
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation Lujie Yang Hongkai Dai Zhouxing Shi Cho-Jui Hsieh Russ Tedrake Huan Zhang 131 23 0 11 Apr 2024
DeepCDCL: An CDCL-based Neural Network Verification Framework Zongxin Liu Pengfei Yang Lijun Zhang Xiaowei Huang 82 5 0 12 Mar 2024