Verifying Properties of Binarized Deep Neural Networks

19 September 2017

Papers citing "Verifying Properties of Binarized Deep Neural Networks"

50 / 59 papers shown

Title
Feature Relevancy, Necessity and Usefulness: Complexity and Algorithms Tomás Capdevielle Santiago Cifuentes FAtt 45 0 0 06 May 2025
Hierarchical Fallback Architecture for High Risk Online Machine Learning Inference Gustavo Polleti Marlesson Santana Felipe Sassi Del Sant Eduardo Fontes 38 1 0 29 Jan 2025
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 38 0 0 26 Oct 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 35 3 0 12 Apr 2024
Locally-Minimal Probabilistic Explanations Yacine Izza Kuldeep S. Meel Sasha Rubin 21 3 0 19 Dec 2023
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems Yuhao Zhou S. Tripakis 29 1 0 17 Dec 2023
Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition Andreea Postovan Madalina Erascu 17 0 0 25 Sep 2023
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems Saddek Bensalem Chih-Hong Cheng Wei Huang Xiaowei Huang Changshun Wu Xingyu Zhao AAML 32 6 0 20 Jul 2023
Boosting-based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks Yiping Tang Kohei Hatano Eiji Takimoto 21 0 0 08 Jun 2023
Logic for Explainable AI Adnan Darwiche 35 8 0 09 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 99 33 0 29 Apr 2023
A New Class of Explanations for Classifiers with Non-Binary Features Chunxi Ji Adnan Darwiche FAtt 34 3 0 28 Apr 2023
Verifying Properties of Tsetlin Machines Emilia Przybysz Bimal Bhattarai Cosimo Persia Ana Ozaki Ole-Christoffer Granmo Jivitesh Sharma 26 1 0 25 Mar 2023
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits Alexis de Colnet Pierre Marquis 31 9 0 30 Jan 2023
Uncertainty Estimation based on Geometric Separation Gabriella Chouraqui L. Cohen Gil Einziger Liel Leman 35 0 0 11 Jan 2023
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 26 11 0 06 Dec 2022
Computing Abductive Explanations for Boosted Trees Gilles Audemard Jean-Marie Lagniez Pierre Marquis N. Szczepanski 44 12 0 16 Sep 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
Verification of Sigmoidal Artificial Neural Networks using iSAT Dominik Grundt Sorin Liviu Jurj Willem Hagemann P. Kröger M. Fränzle 38 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 48 2 0 09 Jul 2022
ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations Ryma Boumazouza Fahima Cheikh Bertrand Mazure Karim Tabia 6 31 0 23 Jun 2022
Training Neural Networks using SAT solvers Subham S. Sahoo 25 0 0 10 Jun 2022
On Neural Network Equivalence Checking using SMT Solvers Charis Eleftheriadis Nikolaos Kekatos Panagiotis Katsaros S. Tripakis AAML 30 12 0 22 Mar 2022
On the Computation of Necessary and Sufficient Explanations Adnan Darwiche Chunxi Ji FAtt 22 19 0 20 Mar 2022
Reachability In Simple Neural Networks Marco Sälzer M. Lange 30 1 0 15 Mar 2022
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks Christopher Lazarus Mykel J. Kochenderfer AAML 33 9 0 11 Mar 2022
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 30 18 0 08 Feb 2022
Systems Challenges for Trustworthy Embodied Systems Harald Ruess 21 2 0 10 Jan 2022
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking Xidan Song Edoardo Manino Luiz Sena E. Alves Eddie Batista de Lima Filho I. Bessa M. Luján Lucas C. Cordeiro 42 5 0 25 Nov 2021
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 35 15 0 18 Oct 2021
Reachability Is NP-Complete Even for the Simplest Neural Networks Marco Sälzer M. Lange 30 26 0 30 Aug 2021
On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI Adnan Darwiche Pierre Marquis 17 26 0 23 Aug 2021
Taxonomy of Machine Learning Safety: A Survey and Primer Sina Mohseni Haotao Wang Zhiding Yu Chaowei Xiao Zhangyang Wang J. Yadawa 31 31 0 09 Jun 2021
On the Computational Intelligibility of Boolean Classifiers Gilles Audemard S. Bellart Louenas Bounia F. Koriche Jean-Marie Lagniez Pierre Marquis 24 56 0 13 Apr 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 46 55 0 06 Apr 2021
Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead Mohamed Bennai Mahum Naseer T. Theocharides C. Kyrkou O. Mutlu Lois Orosa Jungwook Choi OOD 81 100 0 04 Jan 2021
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 27 58 0 05 Nov 2020
Abstraction based Output Range Analysis for Neural Networks P. Prabhakar Zahra Rahimi Afzal 38 62 0 18 Jul 2020
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification Christian Tjandraatmadja Ross Anderson Joey Huchette Will Ma Krunal Patel J. Vielma AAML 27 89 0 24 Jun 2020
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs Christopher Brix T. Noll AAML 25 10 0 16 Jun 2020
Parallelization Techniques for Verifying Neural Networks Haoze Wu Alex Ozdemir Aleksandar Zeljić A. Irfan Kyle D. Julian D. Gopinath Sadjad Fouladi Guy Katz C. Păsăreanu Clark W. Barrett 35 59 0 17 Apr 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 37 34 0 06 Mar 2020
Lossless Compression of Deep Neural Networks Thiago Serra Abhinav Kumar Srikumar Ramalingam 24 56 0 01 Jan 2020
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 27 122 0 31 Oct 2019
Simplifying Neural Networks using Formal Verification S. Gokulanathan Alexander Feldsher Adi Malca Clark W. Barrett Guy Katz 38 4 0 25 Oct 2019
Testing and verification of neural-network-based safety-critical control software: A systematic literature review Jin Zhang Jingyue Li 25 47 0 05 Oct 2019
Verifying Robustness of Gradient Boosted Models Gil Einziger M. Goldstein Yaniv Saár Itai Segall 31 41 0 26 Jun 2019
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 24 104 0 25 Jun 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 36 394 0 15 Mar 2019