Efficient Exact Verification of Binarized Neural Networks

7 May 2020

Papers citing "Efficient Exact Verification of Binarized Neural Networks"

16 / 16 papers shown

Title
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang Srecko Ðurasinovic Jean B. Lasserre Victor Magron Jun Zhao AAML 39 1 0 27 May 2024
Verifiable Boosted Tree Ensembles Stefano Calzavara Lorenzo Cazzaro Claudio Lucchese Giulio Ermanno Pibiri AAML 44 0 0 22 Feb 2024
Locally-Minimal Probabilistic Explanations Yacine Izza Kuldeep S. Meel João Marques-Silva 13 3 0 19 Dec 2023
Logic for Explainable AI Adnan Darwiche 30 8 0 09 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 94 32 0 29 Apr 2023
Verifying Properties of Tsetlin Machines Emilia Przybysz Bimal Bhattarai Cosimo Persia Ana Ozaki Ole-Christoffer Granmo Jivitesh Sharma 21 1 0 25 Mar 2023
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 32 1 0 18 Aug 2022
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks Christopher Lazarus Mykel J. Kochenderfer AAML 25 9 0 11 Mar 2022
Verifying Low-dimensional Input Neural Networks via Input Quantization Kai Jia Martin Rinard AAML 22 13 0 18 Aug 2021
Anchor-based Plain Net for Mobile Image Super-Resolution Zongcai Du Jie Liu Jie Tang Gangshan Wu SupR MQ 30 52 0 20 May 2021
On the Computational Intelligibility of Boolean Classifiers Gilles Audemard S. Bellart Louenas Bounia F. Koriche Jean-Marie Lagniez Pierre Marquis 17 56 0 13 Apr 2021
Rule Extraction from Binary Neural Networks with Convolutional Rules for Model Validation Sophie Burkhardt Jannis Brugger Nicolas Wagner Zahra Ahmadi Kristian Kersting Stefan Kramer NAI FAtt 25 8 0 15 Dec 2020
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 11 58 0 05 Nov 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 37 34 0 06 Mar 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016