First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)

14 January 2023

Changliu Liu

Papers citing "First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)"

34 / 34 papers shown

Title
A Generalised Framework for Property-Driven Machine Learning Thomas Flinkow Marco Casadio Colin Kessler Rosemary Monahan Ekaterina Komendantskaya AAML 48 1 0 01 May 2025
Proof-Driven Clause Learning in Neural Network Verification Omri Isac Idan Refaeli Haoze Wu Clark W. Barrett Guy Katz 56 0 0 15 Mar 2025
Testing Neural Network Verifiers: A Soundness Benchmark with Hidden Counterexamples Xingjian Zhou Hongji Xu Andy Xu Zhouxing Shi Cho-Jui Hsieh Huan Zhang AAML 70 0 0 04 Dec 2024
Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels Benedikt Brückner Alessio Lomuscio AAML 42 0 0 07 Nov 2024
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 31 0 0 26 Oct 2024
Achieving the Tightest Relaxation of Sigmoids for Formal Verification Samuel Chevalier Duncan Starkenburg Krishnamurthy Dvijotham 18 0 0 20 Aug 2024
Certified Robust Invariant Polytope Training in Neural Controlled ODEs Akash Harapanahalli Samuel Coogan 30 2 0 02 Aug 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 16 0 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 23 0 0 26 Jun 2024
Local vs. Global Interpretability: A Computational Complexity Perspective Shahaf Bassan Guy Amir Guy Katz 35 6 0 05 Jun 2024
Logic-Based Explainability: Past, Present & Future Joao Marques-Silva 22 2 0 04 Jun 2024
A Certified Proof Checker for Deep Neural Network Verification Remi Desmartin Omri Isac Ekaterina Komendantskaya Kathrin Stark Grant Passmore Guy Katz 19 3 0 17 May 2024
Relational DNN Verification With Cross Executional Bound Refinement Debangshu Banerjee Gagandeep Singh AAML 11 5 0 16 May 2024
Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber Stefan Mitsch André Platzer AAML 22 8 0 16 Feb 2024
Set-Based Training for Neural Network Verification Lukas Koller Tobias Ladner Matthias Althoff AAML 32 1 0 26 Jan 2024
Harnessing Neuron Stability to Improve DNN Verification Hai V. Duong Dong Xu ThanhVu Nguyen Matthew B. Dwyer 19 4 0 19 Jan 2024
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing Y. Elboher R. Elsaleh Omri Isac Mélanie Ducoffe Audrey Galametz Guillaume Povéda Ryma Boumazouza Noémie Cohen Guy Katz AAML 22 4 0 08 Jan 2024
The Pros and Cons of Adversarial Robustness Yacine Izza João Marques-Silva AAML 17 1 0 18 Dec 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 20 1 0 13 Oct 2023
When to Trust AI: Advances and Challenges for Certification of Neural Networks M. Kwiatkowska Xiyue Zhang AAML 8 8 0 20 Sep 2023
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks Calvin Chau Jan Křetínský S. Mohr NAI 8 1 0 20 Jul 2023
A DPLL(T) Framework for Verifying Deep Neural Networks Hai V. Duong Thanh-Dat Nguyen Matthew B. Dwyer 13 8 0 17 Jul 2023
GPU-Accelerated Verification of Machine Learning Models for Power Systems Samuel C. Chevalier Ilgiz Murzakhanov Spyros Chatzivasileiadis 14 4 0 18 Jun 2023
Understanding Certified Training with Interval Bound Propagation Yuhao Mao Mark Niklas Muller Marc Fischer Martin Vechev AAML 41 14 0 17 Jun 2023
DelBugV: Delta-Debugging Neural Network Verifiers R. Elsaleh Guy Katz 26 1 0 29 May 2023
TAPS: Connecting Certified and Adversarial Training Yuhao Mao Mark Niklas Muller Marc Fischer Martin Vechev AAML 11 10 0 08 May 2023
Provably Bounding Neural Network Preimages Suhas Kotha Christopher Brix Zico Kolter Krishnamurthy Dvijotham Huan Zhang AAML 15 12 0 02 Feb 2023
Toward Certified Robustness Against Real-World Distribution Shifts Haoze Wu Teruhiro Tagomori Alexander Robey Fengjun Yang Nikolai Matni George Pappas Hamed Hassani C. Păsăreanu Clark W. Barrett AAML OOD 27 18 0 08 Jun 2022
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 12 112 0 31 Aug 2021
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition Alessandro De Palma Rudy Bunel Alban Desmaison Krishnamurthy Dvijotham Pushmeet Kohli Philip H. S. Torr M. P. Kumar 11 50 0 14 Apr 2021
Scaling the Convex Barrier with Sparse Dual Algorithms Alessandro De Palma Harkirat Singh Behl Rudy Bunel Philip H. S. Torr M. P. Kumar 22 9 0 14 Jan 2021
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 72 290 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 222 1,832 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016