The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results

31 August 2021

Changliu Liu

Papers citing "The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results"

50 / 67 papers shown

Title
Lipschitz-aware Linearity Grafting for Certified Robustness Yongjin Han Suhyun Kim AAML 52 0 0 29 Oct 2025
A General Framework for Property-Driven Machine Learning Thomas Flinkow Marco Casadio Colin Kessler Rosemary Monahan Ekaterina Komendantskaya AAML 382 2 0 01 May 2025
Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid ZonotopesAmerican Control Conference (ACC), 2025 Yuhao Zhang Xiangru Xu AAML 187 0 0 13 Mar 2025
BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural DynamicsInternational Conference on Learning Representations (ICLR), 2024 Keyi Shen Jiangwei Yu Huan Zhang Yunzhu Li Yunzhu Li 496 2 0 12 Dec 2024
SoundnessBench: A Soundness Benchmark for Neural Network Verifiers Xingjian Zhou Keyi Shen Andy Xu Hongji Xu Cho-Jui Hsieh Huan Zhang Zhouxing Shi AAML 277 1 0 04 Dec 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 238 0 0 21 Nov 2024
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 1.1K 33 0 31 Aug 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 169 1 0 02 Jun 2024
Harnessing Neuron Stability to Improve DNN Verification Hai V. Duong Dong Xu ThanhVu Nguyen Matthew B. Dwyer 147 13 0 19 Jan 2024
Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing Luca Marzari Gabriele Roncolato Alessandro Farinelli 160 2 0 10 Dec 2023
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach Xi Zheng Al Mok R. Piskac Yong Jae Lee Bhaskar Krishnamachari Dakai Zhu O. Sokolsky Insup Lee ELM 179 7 0 13 Nov 2023
$Is Certifying $\ell_p$ Robustness Still Worthwhile?$ Is Certifying $\ell_p$ Robustness Still Worthwhile? Ravi Mangal Klas Leino Zifan Wang Kai Hu Weicheng Yu Corina S. Pasareanu Anupam Datta Matt Fredrikson AAML OOD 207 1 0 13 Oct 2023
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic GuaranteesAAAI Conference on Artificial Intelligence (AAAI), 2023 Luca Marzari Davide Corsi Enrico Marchesini Alessandro Farinelli Ferdinando Cicalese AAML 163 20 0 18 Aug 2023
A DPLL(T) Framework for Verifying Deep Neural Networks Hai V. Duong Thanh-Dat Nguyen Matthew B. Dwyer 311 16 0 17 Jul 2023
QNNRepair: Quantized Neural Network RepairIEEE International Conference on Software Engineering and Formal Methods (SEFM), 2023 Xidan Song Youcheng Sun Mustafa A. Mustafa Lucas C. Cordeiro MQ 155 1 0 23 Jun 2023
Verifying Global Neural Network Specifications using Hyperproperties David Boetius Stefan Leue AAML 146 0 0 21 Jun 2023
GPU-Accelerated Verification of Machine Learning Models for Power SystemsHawaii International Conference on System Sciences (HICSS), 2023 Samuel C. Chevalier Ilgiz Murzakhanov Spyros Chatzivasileiadis 137 4 0 18 Jun 2023
DelBugV: Delta-Debugging Neural Network VerifiersFormal Methods in Computer-Aided Design (FMCAD), 2023 R. Elsaleh Guy Katz 210 3 0 29 May 2023
Expressive Losses for Verified Robustness via Convex CombinationsInternational Conference on Learning Representations (ICLR), 2023 Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth A. Lomuscio AAML 300 24 0 23 May 2023
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification Marco Casadio Luca Arnaboldi M. Daggitt Omri Isac Tanvi Dinkar Daniel Kienitz Verena Rieser Ekaterina Komendantskaya 200 5 0 06 May 2023
Fully Automatic Neural Network Reduction for Formal Verification Tobias Ladner Matthias Althoff AAML 228 6 0 03 May 2023
The Power of Typed Affine Decision Structures: A Case StudyInternational Journal on Software Tools for Technology Transfer (STTT) (STTT), 2023 Gerrit Nolte Maximilian Schlüter Alnis Murtovi Bernhard Steffen AAML 117 2 0 28 Apr 2023
Incremental Verification of Neural Networks Shubham Ugare Debangshu Banerjee Sasa Misailovic Gagandeep Singh 172 20 0 04 Apr 2023
CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks Vineel Nagisetty Laura Graves Guanting Pan Piyush Jha Vijay Ganesh AAML OOD 126 1 0 04 Apr 2023
Logic of Differentiable Logics: Towards a Uniform Semantics of DLLogic Programming and Automated Reasoning (LPAR), 2023 Natalia Slusarz Ekaterina Komendantskaya M. Daggitt Rob Stewart Kathrin Stark 186 20 0 19 Mar 2023
Reachability Analysis of Neural Networks with Uncertain ParametersIFAC-PapersOnLine (IFAC-PapersOnLine), 2023 Pierre-Jean Meyer 81 0 0 14 Mar 2023
Asymmetric Certified Robustness via Feature-Convex Neural NetworksNeural Information Processing Systems (NeurIPS), 2023 Samuel Pfrommer Brendon G. Anderson Julien Piet Somayeh Sojoudi AAML 205 9 0 03 Feb 2023
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural NetworksInternational Conference on Machine Learning (ICML), 2023 David Boetius Stefan Leue Tobias Sutter 192 4 0 26 Jan 2023
Towards Rigorous Understanding of Neural Networks via Semantics-preserving TransformationsInternational Journal on Software Tools for Technology Transfer (STTT) (STTT), 2023 Maximilian Schlüter Gerrit Nolte Alnis Murtovi Bernhard Steffen 181 6 0 19 Jan 2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)International Journal on Software Tools for Technology Transfer (STTT) (STTT), 2023 Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 187 85 0 14 Jan 2023
Provable Fairness for Neural Network Models using Formal Verification Giorgian Borca-Tasciuc Xingzhi Guo Stanley Bak Steven Skiena 174 7 0 16 Dec 2022
Optimized Symbolic Interval Propagation for Neural Network Verification Philipp Kern Marko Kleine Büning C. Sinz 88 3 0 15 Dec 2022
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural NetworksWorld Congress on Formal Methods (FM), 2022 V. Hashemi Jan Křetínský Sabine Rieder J. Schmidt OODD 142 9 0 15 Dec 2022
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval ArithmeticInternational Conference on Hybrid Systems: Computation and Control (HSCC), 2022 Wael Fatnassi Haitham Khedr Valen Yamamoto Yasser Shoukry 131 9 0 22 Nov 2022
Efficiently Finding Adversarial Examples with DNN Preprocessing Avriti Chauhan Mohammad Afzal Hrishikesh Karmarkar Y. Elboher Kumar Madhukar Guy Katz AAML 142 0 0 16 Nov 2022
Global Performance Guarantees for Neural Network Models of AC Power Flow Samuel C. Chevalier Spyros Chatzivasileiadis 129 8 0 14 Nov 2022
Conformal Prediction for STL Runtime VerificationAllerton Conference on Communication, Control, and Computing (Allerton), 2022 Lars Lindemann Xin Qin Jyotirmoy V. Deshmukh George J. Pappas 298 61 0 03 Nov 2022
Tighter Abstract Queries in Neural Network VerificationLogic Programming and Automated Reasoning (LPAR), 2022 Elazar Cohen Y. Elboher Clark W. Barrett Guy Katz 291 8 0 23 Oct 2022
Towards Global Neural Network Abstractions with Locally-Exact ReconstructionNeural Networks (NN), 2022 Edoardo Manino I. Bessa Lucas C. Cordeiro 189 1 0 21 Oct 2022
A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables Adrien Benamira Tristan Guérand Thomas Peyrin Trevor Yap Bryan Hooi 206 3 0 18 Aug 2022
On Optimizing Back-Substitution Methods for Neural Network VerificationFormal Methods in Computer-Aided Design (FMCAD), 2022 Tom Zelazny Haoze Wu Clark W. Barrett Guy Katz AAML 200 6 0 16 Aug 2022
An Overview and Prospective Outlook on Robust Training and Certification of Machine Learning Models Brendon G. Anderson Tanmay Gautam Somayeh Sojoudi OOD 172 2 0 15 Aug 2022
General Cutting Planes for Bound-Propagation-Based Neural Network VerificationNeural Information Processing Systems (NeurIPS), 2022 Huan Zhang Shiqi Wang Kaidi Xu Linyi Li Yue Liu Suman Jana Cho-Jui Hsieh J. Zico Kolter 174 119 0 11 Aug 2022
Neural Network Verification using Residual ReasoningIEEE International Conference on Software Engineering and Formal Methods (SEFM), 2022 Y. Elboher Elazar Cohen Guy Katz LRM 202 19 0 05 Aug 2022
Differentiable Logics for Neural Network Training and Verification Natalia Slusarz Ekaterina Komendantskaya M. Daggitt Rob Stewart 189 2 0 14 Jul 2022
CEG4N: Counter-Example Guided Neural Network Quantization Refinement J. Matos I. Bessa Edoardo Manino Xidan Song Lucas C. Cordeiro MQ 108 3 0 09 Jul 2022
Open- and Closed-Loop Neural Network Verification using Polynomial ZonotopesNASA Formal Methods (NFM), 2022 Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 172 43 0 06 Jul 2022
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural NetworksACM Transactions on Software Engineering and Methodology (TOSEM), 2022 Jiaxiang Liu Yunhan Xing Xiaomu Shi Fu Song Zhiwu Xu Zhong Ming 150 14 0 02 Jul 2022
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth AAML 321 19 0 29 Jun 2022
Linearity Grafting: Relaxed Neuron Pruning Helps Certifiable RobustnessInternational Conference on Machine Learning (ICML), 2022 Tianlong Chen Huan Zhang Zhenyu Zhang Shiyu Chang Sijia Liu Pin-Yu Chen Zinan Lin AAML 131 15 0 15 Jun 2022