DNNV: A Framework for Deep Neural Network Verification

26 May 2021

Papers citing "DNNV: A Framework for Deep Neural Network Verification"

24 / 24 papers shown

Title
Data-Driven Falsification of Cyber-Physical Systems Atanu Kundu Sauvik Gon Rajarshi Ray AAML AI4CE 30 3 0 06 May 2025
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 67 0 0 21 Nov 2024
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 36 0 0 26 Oct 2024
Reinfier and Reintrainer: Verification and Interpretation-Driven Safe Deep Reinforcement Learning Frameworks Zixuan Yang Jiaqi Zheng Guihai Chen OffRL 31 0 0 19 Oct 2024
Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward Xuan Xie Jiayang Song Zhehua Zhou Yuheng Huang Da Song Lei Ma OffRL 42 6 0 12 Apr 2024
Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber Stefan Mitsch André Platzer AAML 27 8 0 16 Feb 2024
Efficient compilation of expressive problem space specifications to neural network solvers M. Daggitt Wen Kokke R. Atkey 27 2 0 24 Jan 2024
Harnessing Neuron Stability to Improve DNN Verification Hai V. Duong Dong Xu ThanhVu Nguyen Matthew B. Dwyer 24 4 0 19 Jan 2024
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs M. Daggitt Wen Kokke R. Atkey Natalia Slusarz Luca Arnaboldi Ekaterina Komendantskaya NAI 31 10 0 12 Jan 2024
Expediting Neural Network Verification via Network Reduction Yuyi Zhong Ruiwei Wang Siau-Cheng Khoo AAML 22 2 0 07 Aug 2023
A DPLL(T) Framework for Verifying Deep Neural Networks Hai V. Duong Thanh-Dat Nguyen Matthew B. Dwyer 23 8 0 17 Jul 2023
PCV: A Point Cloud-Based Network Verifier A. Sarker Farzana Yasmin Ahmad Matthew B. Dwyer AAML 3DPC 25 1 0 27 Jan 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 30 66 0 14 Jan 2023
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results Mark Niklas Muller Christopher Brix Stanley Bak Changliu Liu Taylor T. Johnson NAI 29 43 0 20 Dec 2022
Fairify: Fairness Verification of Neural Networks Sumon Biswas Hridesh Rajan 20 24 0 08 Dec 2022
Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems Maryam Bagheri Josephine Lamp Xugui Zhou Lu Feng H. Alemzadeh 14 4 0 23 Nov 2022
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness Julien Girard-Satabin Michele Alberti F. Bobot Zakaria Chihani Augustin Lemesle 37 10 0 07 Jun 2022
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers M. Daggitt Wen Kokke R. Atkey Luca Arnaboldi Ekaterina Komendantskaya 21 5 0 10 Feb 2022
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 17 112 0 31 Aug 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 16 128 0 09 Sep 2020
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 108 138 0 29 Nov 2018
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 81 292 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 228 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016