Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1709.06662
Cited By
v1
v2 (latest)
Verifying Properties of Binarized Deep Neural Networks
19 September 2017
Nina Narodytska
S. Kasiviswanathan
L. Ryzhyk
Shmuel Sagiv
T. Walsh
AAML
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Verifying Properties of Binarized Deep Neural Networks"
50 / 101 papers shown
Provable Repair of Deep Neural Network Defects by Preimage Synthesis and Property Refinement
Jianan Ma
Jingyi Wang
Qi Xuan
Zhen Wang
AAML
98
0
0
11 Nov 2025
On Integer Programming for the Binarized Neural Network Verification Problem
Woojin Kim
James R. Luedtke
AAML
136
0
0
01 Oct 2025
MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression
Jingyang Li
Guoqiang Li
133
0
0
03 Jun 2025
RvLLM: LLM Runtime Verification with Domain Knowledge
Yedi Zhang
Sun Yi Emma
Annabelle Lee Jia En
Jin Song Dong
305
3
0
24 May 2025
Feature Relevancy, Necessity and Usefulness: Complexity and Algorithms
Tomás Capdevielle
Santiago Cifuentes
FAtt
210
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
219
1
0
29 Jan 2025
Revisiting Differential Verification: Equivalence Verification with Confidence
International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2024
Samuel Teuber
Philipp Kern
Marvin Janzen
Bernhard Beckert
389
2
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
333
2
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
309
4
0
12 Apr 2024
Locally-Minimal Probabilistic Explanations
Yacine Izza
Kuldeep S. Meel
Sasha Rubin
278
6
0
19 Dec 2023
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
Yuhao Zhou
S. Tripakis
261
1
0
17 Dec 2023
Decomposing Hard SAT Instances with Metaheuristic Optimization
D. Chivilikhin
Artem Pavlenko
Alexander A. Semenov
115
1
0
16 Dec 2023
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks
Automated Technology for Verification and Analysis (ATVA), 2023
Ye Tao
Wanwei Liu
Fu Song
Zhen Liang
Jing Wang
Hongxu Zhu
173
1
0
29 Jul 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
263
10
0
20 Jul 2023
Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)
Mahum Naseer
Osman Hasan
Mohamed Bennai
177
2
0
29 Jun 2023
Boosting-based Construction of BDDs for Linear Threshold Functions and Its Application to Verification of Neural Networks
IFIP Working Conference on Database Semantics (IWDS), 2023
Yiping Tang
Kohei Hatano
Eiji Takimoto
227
2
0
08 Jun 2023
Logic for Explainable AI
Logic in Computer Science (LICS), 2023
Adnan Darwiche
277
18
0
09 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey
Joey Huchette
Gonzalo Muñoz
Thiago Serra
Calvin Tsay
AI4CE
674
45
0
29 Apr 2023
A New Class of Explanations for Classifiers with Non-Binary Features
European Conference on Logics in Artificial Intelligence (JELIA), 2023
Chunxi Ji
Adnan Darwiche
FAtt
270
6
0
28 Apr 2023
Model-Agnostic Reachability Analysis on Deep Neural Networks
Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD), 2023
Chi Zhang
Wenjie Ruan
Fu Lee Wang
Peipei Xu
Geyong Min
Xiaowei Huang
183
3
0
03 Apr 2023
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits
International Symposium on Artificial Intelligence and Mathematics (ISAIM), 2022
Alexis de Colnet
Pierre Marquis
144
9
0
30 Jan 2023
Uncertainty Estimation based on Geometric Separation
Gabriella Chouraqui
L. Cohen
Gil Einziger
Liel Leman
203
0
0
11 Jan 2023
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
International Conference on Automated Software Engineering (ASE), 2022
Yedi Zhang
Zhe Zhao
Fu Song
Hao Fei
Tao Chen
Jun Sun
175
23
0
10 Dec 2022
QEBVerif: Quantization Error Bound Verification of Neural Networks
International Conference on Computer Aided Verification (CAV), 2022
Yedi Zhang
Fu Song
Jun Sun
MQ
309
13
0
06 Dec 2022
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
AAAI Conference on Artificial Intelligence (AAAI), 2022
Mathias Lechner
Dorde Zikelic
K. Chatterjee
T. Henzinger
Daniela Rus
AAML
225
5
0
29 Nov 2022
Tighter Abstract Queries in Neural Network Verification
Logic Programming and Automated Reasoning (LPAR), 2022
Elazar Cohen
Y. Elboher
Clark W. Barrett
Guy Katz
322
8
0
23 Oct 2022
Computing Abductive Explanations for Boosted Trees
International Conference on Artificial Intelligence and Statistics (AISTATS), 2022
Gilles Audemard
Jean-Marie Lagniez
Pierre Marquis
N. Szczepanski
154
20
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
261
3
0
18 Aug 2022
Neural Network Verification using Residual Reasoning
IEEE International Conference on Software Engineering and Formal Methods (SEFM), 2022
Y. Elboher
Elazar Cohen
Guy Katz
LRM
297
20
0
05 Aug 2022
Verification of Sigmoidal Artificial Neural Networks using iSAT
International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT (MRACI), 2022
Dominik Grundt
Sorin Liviu Jurj
Willem Hagemann
P. Kröger
M. Fränzle
145
3
0
14 Jul 2022
CEG4N: Counter-Example Guided Neural Network Quantization Refinement
J. Matos
I. Bessa
Edoardo Manino
Xidan Song
Lucas C. Cordeiro
MQ
157
3
0
09 Jul 2022
A Geometric Method for Improved Uncertainty Estimation in Real-time
Conference on Uncertainty in Artificial Intelligence (UAI), 2022
Gabriella Chouraqui
L. Cohen
Gil Einziger
Liel Leman
143
0
0
23 Jun 2022
ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
International Conference on Information and Knowledge Management (CIKM), 2021
Ryma Boumazouza
Fahima Cheikh
Bertrand Mazure
Karim Tabia
211
34
0
23 Jun 2022
A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration
Ryma Boumazouza
Fahima Cheikh-Alili
Bertrand Mazure
Karim Tabia
205
0
0
23 Jun 2022
Training Neural Networks using SAT solvers
Subham S. Sahoo
109
0
0
10 Jun 2022
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits
International Joint Conference on Artificial Intelligence (IJCAI), 2022
H. Wijk
Benjie Wang
Marta Z. Kwiatkowska
TPM
121
1
0
11 May 2022
On the Computation of Necessary and Sufficient Explanations
AAAI Conference on Artificial Intelligence (AAAI), 2022
Adnan Darwiche
Chunxi Ji
FAtt
251
25
0
20 Mar 2022
Reachability In Simple Neural Networks
Fundamenta Informaticae (Fundam. Inform.), 2022
Marco Sälzer
M. Lange
213
5
0
15 Mar 2022
Deep Binary Reinforcement Learning for Scalable Verification
Christopher Lazarus
Mykel J. Kochenderfer
OffRL
161
2
0
11 Mar 2022
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks
Christopher Lazarus
Mykel J. Kochenderfer
AAML
136
9
0
11 Mar 2022
Verification-Aided Deep Ensemble Selection
Formal Methods in Computer-Aided Design (FMCAD), 2022
Guy Amir
Tom Zelazny
Guy Katz
Michael Schapira
AAML
254
18
0
08 Feb 2022
Systems Challenges for Trustworthy Embodied Systems
Harald Ruess
115
2
0
10 Jan 2022
Geometric Path Enumeration for Equivalence Verification of Neural Networks
Samuel Teuber
Marko Kleine Büning
Philipp Kern
C. Sinz
133
14
0
13 Dec 2021
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
172
5
0
25 Nov 2021
Minimal Multi-Layer Modifications of Deep Neural Networks
Idan Refaeli
Guy Katz
KELM
AAML
214
16
0
18 Oct 2021
Reachability Is NP-Complete Even for the Simplest Neural Networks
Reachability Problems (RP), 2021
Marco Sälzer
M. Lange
125
34
0
30 Aug 2021
On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI
Journal of Artificial Intelligence Research (JAIR), 2021
Adnan Darwiche
Pierre Marquis
202
27
0
23 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
280
13
0
10 Jun 2021
Taxonomy of Machine Learning Safety: A Survey and Primer
ACM Computing Surveys (CSUR), 2021
Sina Mohseni
Haotao Wang
Zhiding Yu
Chaowei Xiao
Zinan Lin
J. Yadawa
314
47
0
09 Jun 2021
Drop Clause: Enhancing Performance, Interpretability and Robustness of the Tsetlin Machine
Jivitesh Sharma
Rohan Kumar Yadav
Ole-Christoffer Granmo
Lei Jiao
VLM
218
13
0
30 May 2021
1
2
3
Next
Page 1 of 3
