An SMT-Based Approach for Verifying Binarized Neural Networks

5 November 2020

Papers citing "An SMT-Based Approach for Verifying Binarized Neural Networks"

43 / 43 papers shown

Title
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 79 6 0 17 Feb 2025
Neural Model Checking Mirco Giacobbe Daniel Kroening Abhinandan Pal Michael Tautschnig NAI 29 1 0 31 Oct 2024
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation Guy Amir Shahaf Bassan Guy Katz 44 2 0 07 Aug 2024
Safe and Reliable Training of Learning-Based Aerospace Controllers Udayan Mandal Guy Amir Haoze Wu Ieva Daukantas Fletcher Lee Newell ... Kerianne Hobbs Milan Ganai Tobey Shim Guy Katz Clark Barrett 39 2 0 09 Jul 2024
Verification-Guided Shielding for Deep Reinforcement Learning Davide Corsi Guy Amir Andoni Rodríguez César Sánchez Guy Katz Roy Fox AAML OffRL 37 9 0 10 Jun 2024
Local vs. Global Interpretability: A Computational Complexity Perspective Shahaf Bassan Guy Amir Guy Katz 37 6 0 05 Jun 2024
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
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates Udayan Mandal Guy Amir Haoze Wu Ieva Daukantas Fletcher Lee Newell ... Michael Durling Milan Ganai Tobey Shim Guy Katz Clark W. Barrett 47 7 0 22 May 2024
Analyzing Adversarial Inputs in Deep Reinforcement Learning Davide Corsi Guy Amir Guy Katz Alessandro Farinelli AAML 33 7 0 07 Feb 2024
DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace Guy Katz Natan Levy Idan Refaeli Raz Yerushalmi AAML 13 0 0 04 Jan 2024
Benchmarking Local Robustness of High-Accuracy Binary Neural Networks for Enhanced Traffic Sign Recognition Andreea Postovan Madalina Erascu 13 0 0 25 Sep 2023
Formally Explaining Neural Networks within Reactive Systems Shahaf Bassan Guy Amir Davide Corsi Idan Refaeli Guy Katz AAML 25 15 0 31 Jul 2023
QNNRepair: Quantized Neural Network Repair Xidan Song Youcheng Sun Mustafa A. Mustafa Lucas C. Cordeiro MQ 16 1 0 23 Jun 2023
Evaluating robustness of support vector machines with the Lagrangian dual approach Yuting Liu Hong Gu Pan Qin AAML 19 2 0 05 Jun 2023
Repairing Deep Neural Networks Based on Behavior Imitation Zhen Liang Taoran Wu Changyuan Zhao Wanwei Liu Bai Xue Wenjing Yang J. Wang AAML 36 5 0 05 May 2023
Architecturing Binarized Neural Networks for Traffic Sign Recognition Andreea Postovan Madalina Erascu 25 4 0 27 Mar 2023
Verifying Generalization in Deep Learning Guy Amir Osher Maayan Tom Zelazny Guy Katz Michael Schapira AAML AI4CE 26 14 0 11 Feb 2023
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks Xingwu Guo Ziwei Zhou Yueling Zhang Guy Katz M. Zhang AAML 37 5 0 27 Jan 2023
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks Yedi Zhang Zhe Zhao Fu Song M. Zhang Tao Chen Jun Sun 33 17 0 10 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 20 11 0 06 Dec 2022
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks Mathias Lechner Dorde Zikelic K. Chatterjee T. Henzinger Daniela Rus AAML 16 2 0 29 Nov 2022
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks Shahaf Bassan Guy Katz FAtt AAML 29 23 0 25 Oct 2022
Tighter Abstract Queries in Neural Network Verification Elazar Cohen Y. Elboher Clark W. Barrett Guy Katz 30 5 0 23 Oct 2022
An Overview and Prospective Outlook on Robust Training and Certification of Machine Learning Models Brendon G. Anderson Tanmay Gautam Somayeh Sojoudi OOD 13 2 0 15 Aug 2022
PRoA: A Probabilistic Robustness Assessment against Functional Perturbations Tianle Zhang Wenjie Ruan J. Fieldsend AAML 13 21 0 05 Jul 2022
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming Davide Corsi Raz Yerushalmi Guy Amir Alessandro Farinelli D. Harel Guy Katz 24 19 0 20 Jun 2022
Neural Network Verification with Proof Production Omri Isac Clark W. Barrett M. Zhang 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
On Neural Network Equivalence Checking using SMT Solvers Charis Eleftheriadis Nikolaos Kekatos Panagiotis Katsaros S. Tripakis AAML 24 12 0 22 Mar 2022
Deep Binary Reinforcement Learning for Scalable Verification Christopher Lazarus Mykel J. Kochenderfer OffRL 42 0 0 11 Mar 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 37 26 0 06 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 37 5 0 25 Nov 2021
RoMA: a Method for Neural Network Robustness Measurement and Assessment Natan Levy Guy Katz OOD AAML 10 13 0 21 Oct 2021
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 35 15 0 18 Oct 2021
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 19 112 0 31 Aug 2021
Verifying Quantized Neural Networks using SMT-Based Model Checking Luiz Sena Xidan Song E. Alves I. Bessa Edoardo Manino Lucas C. Cordeiro Eddie Batista de Lima Filho 33 11 0 10 Jun 2021
Pruning and Slicing Neural Networks using Formal Verification O. Lahav Guy Katz 18 20 0 28 May 2021
Towards Scalable Verification of Deep Reinforcement Learning Guy Amir Michael Schapira Guy Katz OffRL 27 46 0 25 May 2021
Neural Termination Analysis Mirco Giacobbe Daniel Kroening Julian Parsert 17 16 0 07 Feb 2021
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