Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2005.03597
Cited By
v1
v2 (latest)
Efficient Exact Verification of Binarized Neural Networks
7 May 2020
Kai Jia
Martin Rinard
AAML
MQ
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Efficient Exact Verification of Binarized Neural Networks"
32 / 32 papers shown
SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism
Reda Marzouk
Shahaf Bassan
Guy Katz
FAtt
310
6
0
24 Oct 2025
On Integer Programming for the Binarized Neural Network Verification Problem
Woojin Kim
James R. Luedtke
AAML
199
0
0
01 Oct 2025
Logic Gate Neural Networks are Good for Verification
Fabian Kresse
Emily Yu
Christoph H. Lampert
T. Henzinger
313
3
0
26 May 2025
Golden Ratio Search: A Low-Power Adversarial Attack for Deep Learning based Modulation Classification
Deepsayan Sadhukhan
N. Shankar
Sheetal Kalyani
AAML
308
0
0
17 Sep 2024
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
Jianting Yang
Srecko Ðurasinovic
Jean B. Lasserre
Victor Magron
Jun Zhao
AAML
378
2
0
27 May 2024
Verifiable Boosted Tree Ensembles
Stefano Calzavara
Lorenzo Cazzaro
Claudio Lucchese
Giulio Ermanno Pibiri
AAML
305
2
0
22 Feb 2024
Towards Efficient Verification of Quantized Neural Networks
Pei Huang
Haoze Wu
Yuting Yang
Ieva Daukantas
Min Wu
Yedi Zhang
Clark W. Barrett
MQ
303
22
0
20 Dec 2023
Locally-Minimal Probabilistic Explanations
Yacine Izza
Kuldeep S. Meel
Sasha Rubin
368
8
0
19 Dec 2023
Decomposing Hard SAT Instances with Metaheuristic Optimization
D. Chivilikhin
Artem Pavlenko
Alexander A. Semenov
179
2
0
16 Dec 2023
Physics-Informed Machine Learning for Modeling and Control of Dynamical Systems
American Control Conference (ACC), 2023
Truong X. Nghiem
Ján Drgoňa
Colin N. Jones
Zoltán Nagy
Roland Schwan
...
J. Paulson
Andrea Carron
Melanie Zeilinger
Wenceslao Shaw-Cortez
D. Vrabie
PINN
AI4CE
302
69
0
24 Jun 2023
Evaluating robustness of support vector machines with the Lagrangian dual approach
Yuting Liu
Hong Gu
Pan Qin
AAML
248
6
0
05 Jun 2023
Logic for Explainable AI
Logic in Computer Science (LICS), 2023
Adnan Darwiche
311
26
0
09 May 2023
Verifiable Learning for Robust Tree Ensembles
Conference on Computer and Communications Security (CCS), 2023
Stefano Calzavara
Lorenzo Cazzaro
Giulio Ermanno Pibiri
N. Prezza
AAML
389
4
0
05 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey
Joey Huchette
Gonzalo Muñoz
Thiago Serra
Calvin Tsay
AI4CE
787
47
0
29 Apr 2023
Effective Neural Network
L
0
L_0
L
0
Regularization With BinMask
Kai Jia
Martin Rinard
353
3
0
21 Apr 2023
Verifying Properties of Tsetlin Machines
Emilia Przybysz
Bimal Bhattarai
Cosimo Persia
Ana Ozaki
Ole-Christoffer Granmo
Jivitesh Sharma
165
3
0
25 Mar 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
210
24
0
10 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
259
4
0
29 Nov 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
327
4
0
18 Aug 2022
Self-Healing Robust Neural Networks via Closed-Loop Control
Journal of machine learning research (JMLR), 2022
Zhuotong Chen
Qianxiao Li
Zheng Zhang
AAML
OOD
150
13
0
26 Jun 2022
Getting a-Round Guarantees: Floating-Point Attacks on Certified Robustness
Jiankai Jin
O. Ohrimenko
Benjamin I. P. Rubinstein
AAML
330
5
0
20 May 2022
Deep Binary Reinforcement Learning for Scalable Verification
Christopher Lazarus
Mykel J. Kochenderfer
OffRL
217
2
0
11 Mar 2022
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks
Christopher Lazarus
Mykel J. Kochenderfer
AAML
219
9
0
11 Mar 2022
Efficient and Robust Mixed-Integer Optimization Methods for Training Binarized Deep Neural Networks
Jannis Kurtz
B. Bah
MQ
300
5
0
21 Oct 2021
Verifying Low-dimensional Input Neural Networks via Input Quantization
Kai Jia
Martin Rinard
AAML
214
16
0
18 Aug 2021
Drop Clause: Enhancing Performance, Interpretability and Robustness of the Tsetlin Machine
Jivitesh Sharma
Rohan Kumar Yadav
Ole-Christoffer Granmo
Lei Jiao
VLM
259
14
0
30 May 2021
Anchor-based Plain Net for Mobile Image Super-Resolution
Zongcai Du
Jie Liu
Jie Tang
Gangshan Wu
SupR
MQ
288
60
0
20 May 2021
On the Computational Intelligibility of Boolean Classifiers
International Conference on Principles of Knowledge Representation and Reasoning (KR), 2021
Gilles Audemard
S. Bellart
Louenas Bounia
F. Koriche
Jean-Marie Lagniez
Pierre Marquis
335
72
0
13 Apr 2021
Rule Extraction from Binary Neural Networks with Convolutional Rules for Model Validation
Frontiers in Artificial Intelligence (FAI), 2020
Sophie Burkhardt
Jannis Brugger
Nicolas Wagner
Zahra Ahmadi
Kristian Kersting
Stefan Kramer
NAI
FAtt
272
9
0
15 Dec 2020
An SMT-Based Approach for Verifying Binarized Neural Networks
Guy Amir
Haoze Wu
Clark W. Barrett
Guy Katz
324
65
0
05 Nov 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error
Sensors Applications Symposium (SA), 2020
Kai Jia
Martin Rinard
AAML
403
50
0
06 Mar 2020
Correctness Verification of Neural Networks
Yichen Yang
Martin Rinard
AAML
242
13
0
03 Jun 2019
1
Page 1 of 1
