ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1709.06662
  4. Cited By
Verifying Properties of Binarized Deep Neural Networks
v1v2 (latest)

Verifying Properties of Binarized Deep Neural Networks

19 September 2017
Nina Narodytska
S. Kasiviswanathan
L. Ryzhyk
Shmuel Sagiv
T. Walsh
    AAML
ArXiv (abs)PDFHTML

Papers citing "Verifying Properties of Binarized Deep Neural Networks"

50 / 79 papers shown
Title
MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression
Jingyang Li
Guoqiang Li
20
0
0
03 Jun 2025
Feature Relevancy, Necessity and Usefulness: Complexity and Algorithms
Feature Relevancy, Necessity and Usefulness: Complexity and Algorithms
Tomás Capdevielle
Santiago Cifuentes
FAtt
85
0
0
06 May 2025
Hierarchical Fallback Architecture for High Risk Online Machine Learning Inference
Hierarchical Fallback Architecture for High Risk Online Machine Learning Inference
Gustavo Polleti
Marlesson Santana
Felipe Sassi Del Sant
Eduardo Fontes
63
1
0
29 Jan 2025
Revisiting Differential Verification: Equivalence Verification with Confidence
Revisiting Differential Verification: Equivalence Verification with Confidence
Samuel Teuber
Philipp Kern
Marvin Janzen
Bernhard Beckert
112
1
0
26 Oct 2024
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
Jianting Yang
Srecko Ðurasinovic
Jean B. Lasserre
Victor Magron
Jun Zhao
AAML
126
1
0
27 May 2024
A Survey of Neural Network Robustness Assessment in Image Recognition
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
120
3
0
12 Apr 2024
Locally-Minimal Probabilistic Explanations
Locally-Minimal Probabilistic Explanations
Yacine Izza
Kuldeep S. Meel
Sasha Rubin
72
3
0
19 Dec 2023
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled
  Safety Critical Systems
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
93
8
0
20 Jul 2023
Scaling Model Checking for DNN Analysis via State-Space Reduction and
  Input Segmentation (Extended Version)
Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)
Mahum Naseer
Osman Hasan
Mohamed Bennai
36
2
0
29 Jun 2023
When Deep Learning Meets Polyhedral Theory: A Survey
When Deep Learning Meets Polyhedral Theory: A Survey
Joey Huchette
Gonzalo Muñoz
Thiago Serra
Calvin Tsay
AI4CE
160
37
0
29 Apr 2023
A New Class of Explanations for Classifiers with Non-Binary Features
A New Class of Explanations for Classifiers with Non-Binary Features
Chunxi Ji
Adnan Darwiche
FAtt
74
3
0
28 Apr 2023
Model-Agnostic Reachability Analysis on Deep Neural Networks
Model-Agnostic Reachability Analysis on Deep Neural Networks
Chi Zhang
Wenjie Ruan
Fu Lee Wang
Peipei Xu
Geyong Min
Xiaowei Huang
60
3
0
03 Apr 2023
On the Complexity of Enumerating Prime Implicants from Decision-DNNF
  Circuits
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits
Alexis de Colnet
Pierre Marquis
53
9
0
30 Jan 2023
Uncertainty Estimation based on Geometric Separation
Uncertainty Estimation based on Geometric Separation
Gabriella Chouraqui
L. Cohen
Gil Einziger
Liel Leman
62
0
0
11 Jan 2023
QVIP: An ILP-based Formal Verification Approach for Quantized Neural
  Networks
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
Yedi Zhang
Zhe Zhao
Fu Song
Hao Fei
Tao Chen
Jun Sun
69
18
0
10 Dec 2022
QEBVerif: Quantization Error Bound Verification of Neural Networks
QEBVerif: Quantization Error Bound Verification of Neural Networks
Yedi Zhang
Fu Song
Jun Sun
MQ
99
12
0
06 Dec 2022
Quantization-aware Interval Bound Propagation for Training Certifiably
  Robust Quantized Neural Networks
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Mathias Lechner
Dorde Zikelic
K. Chatterjee
T. Henzinger
Daniela Rus
AAML
54
4
0
29 Nov 2022
Tighter Abstract Queries in Neural Network Verification
Tighter Abstract Queries in Neural Network Verification
Elazar Cohen
Y. Elboher
Clark W. Barrett
Guy Katz
106
7
0
23 Oct 2022
Computing Abductive Explanations for Boosted Trees
Computing Abductive Explanations for Boosted Trees
Gilles Audemard
Jean-Marie Lagniez
Pierre Marquis
N. Szczepanski
84
14
0
16 Sep 2022
A Scalable, Interpretable, Verifiable & Differentiable Logic Gate
  Convolutional Neural Network Architecture From Truth Tables
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
67
2
0
18 Aug 2022
Neural Network Verification using Residual Reasoning
Neural Network Verification using Residual Reasoning
Y. Elboher
Elazar Cohen
Guy Katz
LRM
92
18
0
05 Aug 2022
Verification of Sigmoidal Artificial Neural Networks using iSAT
Verification of Sigmoidal Artificial Neural Networks using iSAT
Dominik Grundt
Sorin Liviu Jurj
Willem Hagemann
P. Kröger
M. Fränzle
60
3
0
14 Jul 2022
CEG4N: Counter-Example Guided Neural Network Quantization Refinement
CEG4N: Counter-Example Guided Neural Network Quantization Refinement
J. Matos
I. Bessa
Edoardo Manino
Xidan Song
Lucas C. Cordeiro
MQ
61
2
0
09 Jul 2022
ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and
  score-based eXplanations
ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
Ryma Boumazouza
Fahima Cheikh
Bertrand Mazure
Karim Tabia
69
32
0
23 Jun 2022
A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration
A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration
Ryma Boumazouza
Fahima Cheikh-Alili
Bertrand Mazure
Karim Tabia
49
0
0
23 Jun 2022
Robustness Guarantees for Credal Bayesian Networks via Constraint
  Relaxation over Probabilistic Circuits
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits
H. Wijk
Benjie Wang
Marta Z. Kwiatkowska
TPM
19
1
0
11 May 2022
On the Computation of Necessary and Sufficient Explanations
On the Computation of Necessary and Sufficient Explanations
Adnan Darwiche
Chunxi Ji
FAtt
62
19
0
20 Mar 2022
Reachability In Simple Neural Networks
Reachability In Simple Neural Networks
Marco Sälzer
M. Lange
32
3
0
15 Mar 2022
Deep Binary Reinforcement Learning for Scalable Verification
Deep Binary Reinforcement Learning for Scalable Verification
Christopher Lazarus
Mykel J. Kochenderfer
OffRL
51
0
0
11 Mar 2022
Verification-Aided Deep Ensemble Selection
Verification-Aided Deep Ensemble Selection
Guy Amir
Tom Zelazny
Guy Katz
Michael Schapira
AAML
114
18
0
08 Feb 2022
Systems Challenges for Trustworthy Embodied Systems
Systems Challenges for Trustworthy Embodied Systems
Harald Ruess
37
2
0
10 Jan 2022
Geometric Path Enumeration for Equivalence Verification of Neural
  Networks
Geometric Path Enumeration for Equivalence Verification of Neural Networks
Samuel Teuber
Marko Kleine Büning
Philipp Kern
C. Sinz
73
12
0
13 Dec 2021
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model
  Checking
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
69
5
0
25 Nov 2021
Minimal Multi-Layer Modifications of Deep Neural Networks
Minimal Multi-Layer Modifications of Deep Neural Networks
Idan Refaeli
Guy Katz
KELMAAML
80
15
0
18 Oct 2021
Reachability Is NP-Complete Even for the Simplest Neural Networks
Reachability Is NP-Complete Even for the Simplest Neural Networks
Marco Sälzer
M. Lange
64
28
0
30 Aug 2021
Taxonomy of Machine Learning Safety: A Survey and Primer
Taxonomy of Machine Learning Safety: A Survey and Primer
Sina Mohseni
Haotao Wang
Zhiding Yu
Chaowei Xiao
Zhangyang Wang
J. Yadawa
91
32
0
09 Jun 2021
On the Computational Intelligibility of Boolean Classifiers
On the Computational Intelligibility of Boolean Classifiers
Gilles Audemard
S. Bellart
Louenas Bounia
F. Koriche
Jean-Marie Lagniez
Pierre Marquis
64
58
0
13 Apr 2021
A Review of Formal Methods applied to Machine Learning
A Review of Formal Methods applied to Machine Learning
Caterina Urban
Antoine Miné
93
57
0
06 Apr 2021
Scaling Up Exact Neural Network Compression by ReLU Stability
Scaling Up Exact Neural Network Compression by ReLU Stability
Thiago Serra
Xin Yu
Abhinav Kumar
Srikumar Ramalingam
66
24
0
15 Feb 2021
Neural Termination Analysis
Neural Termination Analysis
Mirco Giacobbe
Daniel Kroening
Julian Parsert
72
17
0
07 Feb 2021
Towards Practical Robustness Analysis for DNNs based on PAC-Model
  Learning
Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning
Renjue Li
Pengfei Yang
Cheng-Chao Huang
Youcheng Sun
Bai Xue
Lijun Zhang
AAML
154
18
0
25 Jan 2021
Robust Machine Learning Systems: Challenges, Current Trends,
  Perspectives, and the Road Ahead
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
139
101
0
04 Jan 2021
Scalable Verification of Quantized Neural Networks (Technical Report)
Scalable Verification of Quantized Neural Networks (Technical Report)
T. Henzinger
Mathias Lechner
Dorde Zikelic
MQ
64
34
0
15 Dec 2020
An SMT-Based Approach for Verifying Binarized Neural Networks
An SMT-Based Approach for Verifying Binarized Neural Networks
Guy Amir
Haoze Wu
Clark W. Barrett
Guy Katz
65
59
0
05 Nov 2020
Improving Neural Network Verification through Spurious Region Guided
  Refinement
Improving Neural Network Verification through Spurious Region Guided Refinement
Pengfei Yang
Renjue Li
Jianlin Li
Cheng-Chao Huang
Jingyi Wang
Jun Sun
Bai Xue
Lijun Zhang
AAML
69
39
0
15 Oct 2020
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron
  Relaxations for Neural Network Verification
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
131
89
0
24 Jun 2020
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and
  Faster Adversarial Robustness Proofs
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs
Christopher Brix
T. Noll
AAML
64
10
0
16 Jun 2020
A New Perspective on Learning Context-Specific Independence
A New Perspective on Learning Context-Specific Independence
Yujia Shen
Arthur Choi
Adnan Darwiche
52
8
0
12 Jun 2020
Efficient Exact Verification of Binarized Neural Networks
Efficient Exact Verification of Binarized Neural Networks
Kai Jia
Martin Rinard
AAMLMQ
48
59
0
07 May 2020
Three Modern Roles for Logic in AI
Three Modern Roles for Logic in AI
Adnan Darwiche
AI4CE
133
56
0
18 Apr 2020
12
Next