Quantitative Verification of Neural Networks And its Security Applications

25 June 2019

Papers citing "Quantitative Verification of Neural Networks And its Security Applications"

26 / 26 papers shown

Title
Systematic Parameter Decision in Approximate Model Counting Jinping Lei Toru Takisaka Junqiang Peng Mingyu Xiao 25 0 0 08 Apr 2025
Formally Certified Approximate Model Counting Yong Kiam Tan Jiong Yang Mate Soos Magnus O. Myreen Kuldeep S. Meel 23 1 0 17 Jun 2024
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 42 1 0 27 May 2024
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang Srecko Ðurasinovic Jean B. Lasserre Victor Magron Jun Zhao AAML 41 1 0 27 May 2024
A Survey of Neural Network Robustness Assessment in Image Recognition Jie Wang Jun Ai Minyan Lu Haoran Su Dan Yu Yutao Zhang Junda Zhu Jingyu Liu AAML 30 3 0 12 Apr 2024
Exact ASP Counting with Compact Encodings Mohimenul Kabir Supratik Chakraborty Kuldeep S. Meel 11 3 0 19 Dec 2023
DelBugV: Delta-Debugging Neural Network Verifiers R. Elsaleh Guy Katz 40 1 0 29 May 2023
Logic for Explainable AI Adnan Darwiche 35 8 0 09 May 2023
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks Luca Marzari Davide Corsi Ferdinando Cicalese Alessandro Farinelli AAML 38 16 0 17 Jan 2023
"Real Attackers Don't Compute Gradients": Bridging the Gap Between Adversarial ML Research and Practice Giovanni Apruzzese Hyrum S. Anderson Savino Dambra D. Freeman Fabio Pierazzi Kevin A. Roundy AAML 31 75 0 29 Dec 2022
Fast Converging Anytime Model Counting Yong Lai Kuldeep S. Meel R. Yap 25 1 0 19 Dec 2022
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 44 13 0 06 Dec 2022
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 26 11 0 06 Dec 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 40 1 0 18 Aug 2022
Neural Network Verification with Proof Production Omri Isac Clark W. Barrett Hao Fei Guy Katz AAML 35 20 0 01 Jun 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 94 37 0 26 May 2022
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 30 18 0 08 Feb 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 40 26 0 06 Jan 2022
ε-weakened Robustness of Deep Neural Networks Pei Huang Yuting Yang Minghao Liu Fuqi Jia Feifei Ma Jian Zhang AAML 27 18 0 29 Oct 2021
Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling Mate Soos Kuldeep S. Meel 13 20 0 18 Oct 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 37 66 0 26 Jul 2021
Pruning and Slicing Neural Networks using Formal Verification O. Lahav Guy Katz 26 20 0 28 May 2021
Taming Discrete Integration via the Boon of Dimensionality Jeffrey M. Dudek Dror Fried Kuldeep S. Meel 22 4 0 21 Oct 2020
Blackbox Trojanising of Deep Learning Models : Using non-intrusive network structure and binary alterations Jonathan Pan AAML 9 3 0 02 Aug 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016