Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2003.03021
Cited By
v1
v2
v3
v4 (latest)
Exploiting Verified Neural Networks via Floating Point Numerical Error
Sensors Applications Symposium (SA), 2020
6 March 2020
Kai Jia
Martin Rinard
AAML
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Exploiting Verified Neural Networks via Floating Point Numerical Error"
50 / 60 papers shown
Proof Minimization in Neural Network Verification
Omri Isac
Idan Refaeli
Haoze Wu
Clark W. Barrett
Guy Katz
AAML
214
4
0
11 Nov 2025
Floating-Point Neural Network Verification at the Software Level
Edoardo Manino
B. Farias
R. Menezes
F. Shmarov
Lucas C. Cordeiro
141
1
0
27 Oct 2025
TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks
Jianzhu Yao
Hongxu Su
Taobo Liao
Zerui Cheng
Huan Zhang
Xuechao Wang
Pramod Viswanath
199
1
0
15 Oct 2025
Abstraction-Based Proof Production in Formal Verification of Neural Networks
Y. Elboher
Omri Isac
Guy Katz
Tobias Ladner
Haoze Wu
261
5
0
11 Jun 2025
No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks
Attila Szász
Balázs Bánhelyi
Márk Jelasity
188
5
0
01 Jun 2025
Proof-Carrying Neuro-Symbolic Code
Conference on Computability in Europe (CiE), 2025
Ekaterina Komendantskaya
NAI
261
3
0
16 Apr 2025
PICID: Proof-Driven Clause Learning in Neural Network Verification
Omri Isac
Idan Refaeli
Haoze Wu
Clark W. Barrett
Guy Katz
510
2
0
15 Mar 2025
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
Jianting Yang
Srecko Ðurasinovic
Jean B. Lasserre
Victor Magron
Jun Zhao
AAML
374
2
0
27 May 2024
A Certified Proof Checker for Deep Neural Network Verification in Imandra
International Conference on Interactive Theorem Proving (ITP), 2024
Remi Desmartin
Omri Isac
Ekaterina Komendantskaya
Kathrin Stark
Grant Passmore
Guy Katz
407
4
0
17 May 2024
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
M. Daggitt
Wen Kokke
R. Atkey
Natalia Slusarz
Luca Arnaboldi
Ekaterina Komendantskaya
NAI
348
16
0
12 Jan 2024
Towards a Certified Proof Checker for Deep Neural Network Verification
International Workshop/Symposium on Logic-based Program Synthesis and Transformation (LOPSTR), 2023
Remi Desmartin
Omri Isac
Grant Passmore
Kathrin Stark
Guy Katz
Ekaterina Komendantskaya
244
11
0
12 Jul 2023
SysNoise: Exploring and Benchmarking Training-Deployment System Inconsistency
Conference on Machine Learning and Systems (MLSys), 2023
Yan Wang
Yuhang Li
Yazhe Niu
Aishan Liu
Yanfei Wang
...
Yongqiang Yao
Yunchen Zhang
Tianzi Xiao
F. Yu
Xianglong Liu
AAML
315
0
0
01 Jul 2023
DelBugV: Delta-Debugging Neural Network Verifiers
Formal Methods in Computer-Aided Design (FMCAD), 2023
R. Elsaleh
Guy Katz
279
3
0
29 May 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
323
4
0
18 Aug 2022
CheckINN: Wide Range Neural Network Verification in Imandra (Extended)
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP), 2022
Remi Desmartin
Grant Passmore
Ekaterina Komendantskaya
M. Daggitt
268
5
0
21 Jul 2022
Sound Randomized Smoothing in Floating-Point Arithmetics
International Conference on Learning Representations (ICLR), 2022
Václav Voráček
Matthias Hein
369
5
0
14 Jul 2022
Neural Network Verification with Proof Production
Formal Methods in Computer-Aided Design (FMCAD), 2022
Omri Isac
Clark W. Barrett
Hao Fei
Guy Katz
AAML
351
26
0
01 Jun 2022
Getting a-Round Guarantees: Floating-Point Attacks on Certified Robustness
Jiankai Jin
O. Ohrimenko
Benjamin I. P. Rubinstein
AAML
329
5
0
20 May 2022
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks
Christopher Lazarus
Mykel J. Kochenderfer
AAML
197
9
0
11 Mar 2022
A Domain-Theoretic Framework for Robustness Analysis of Neural Networks
Mathematical Structures in Computer Science (MSCS), 2022
Can Zhou
R. A. Shaikh
Yiran Li
Amin Farjudian
OOD
367
5
0
01 Mar 2022
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
M. Daggitt
Wen Kokke
R. Atkey
Luca Arnaboldi
Ekaterina Komendantskaya
224
7
0
10 Feb 2022
Verifying Low-dimensional Input Neural Networks via Input Quantization
Kai Jia
Martin Rinard
AAML
207
16
0
18 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
314
13
0
10 Jun 2021
Scalable Verification of Quantized Neural Networks (Technical Report)
AAAI Conference on Artificial Intelligence (AAAI), 2020
T. Henzinger
Mathias Lechner
Dorde Zikelic
MQ
288
42
0
15 Dec 2020
Characterizing and Taming Model Instability Across Edge Devices
Conference on Machine Learning and Systems (MLSys), 2020
Eyal Cidon
Evgenya Pergament
Zain Asgar
Asaf Cidon
Sachin Katti
222
8
0
18 Oct 2020
SoK: Certified Robustness for Deep Neural Networks
IEEE Symposium on Security and Privacy (IEEE S&P), 2020
Linyi Li
Tao Xie
Yue Liu
AAML
856
150
0
09 Sep 2020
Scaling Polyhedral Neural Network Verification on GPUs
Christoph Müller
F. Serre
Gagandeep Singh
Markus Püschel
Martin Vechev
AAML
336
65
0
20 Jul 2020
Interval Universal Approximation for Neural Networks
Zi Wang
Aws Albarghouthi
Gautam Prakriya
S. Jha
334
28
0
12 Jul 2020
Efficient Exact Verification of Binarized Neural Networks
Kai Jia
Martin Rinard
AAML
MQ
234
68
0
07 May 2020
A Survey of Deep Learning for Scientific Discovery
M. Raghu
Erica Schmidt
OOD
AI4CE
447
149
0
26 Mar 2020
Verification of Neural Networks: Enhancing Scalability through Pruning
European Conference on Artificial Intelligence (ECAI), 2020
Dario Guidotti
Francesco Leofante
Luca Pulina
A. Tacchella
176
26
0
17 Mar 2020
On Adaptive Attacks to Adversarial Example Defenses
Neural Information Processing Systems (NeurIPS), 2020
Florian Tramèr
Nicholas Carlini
Wieland Brendel
Aleksander Madry
AAML
690
927
0
19 Feb 2020
Fast is better than free: Revisiting adversarial training
International Conference on Learning Representations (ICLR), 2020
Eric Wong
Leslie Rice
J. Zico Kolter
AAML
OOD
1.2K
1,333
0
12 Jan 2020
PyTorch: An Imperative Style, High-Performance Deep Learning Library
Neural Information Processing Systems (NeurIPS), 2019
Adam Paszke
Sam Gross
Francisco Massa
Adam Lerer
James Bradbury
...
Sasank Chilamkurthy
Benoit Steiner
Lu Fang
Junjie Bai
Soumith Chintala
ODL
1.1K
50,685
0
03 Dec 2019
Correctness Verification of Neural Networks
Yichen Yang
Martin Rinard
AAML
235
13
0
03 Jun 2019
Adversarial Training and Robustness for Multiple Perturbations
Neural Information Processing Systems (NeurIPS), 2019
Florian Tramèr
Dan Boneh
AAML
SILM
596
418
0
30 Apr 2019
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks
Hadi Salman
Greg Yang
Huan Zhang
Cho-Jui Hsieh
Pengchuan Zhang
AAML
593
285
0
23 Feb 2019
AdVersarial: Perceptual Ad Blocking meets Adversarial Machine Learning
Conference on Computer and Communications Security (CCS), 2018
K. Makarychev
Pascal Dupré
Yury Makarychev
Giancarlo Pellegrino
Dan Boneh
AAML
323
65
0
08 Nov 2018
Semidefinite relaxations for certifying robustness to adversarial examples
Aditi Raghunathan
Jacob Steinhardt
Abigail Z. Jacobs
AAML
438
458
0
02 Nov 2018
Efficient Neural Network Robustness Certification with General Activation Functions
Huan Zhang
Tsui-Wei Weng
Pin-Yu Chen
Cho-Jui Hsieh
Luca Daniel
AAML
554
878
0
02 Nov 2018
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability
Kai Y. Xiao
Vincent Tjeng
Nur Muhammad (Mahi) Shafiullah
Aleksander Madry
AAML
OOD
361
210
0
09 Sep 2018
Training verified learners with learned verifiers
Krishnamurthy Dvijotham
Sven Gowal
Robert Stanforth
Relja Arandjelović
Brendan O'Donoghue
J. Uesato
Pushmeet Kohli
OOD
356
174
0
25 May 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals
Shiqi Wang
Kexin Pei
Justin Whitehouse
Junfeng Yang
Suman Jana
AAML
468
519
0
28 Apr 2018
Towards Fast Computation of Certified Robustness for ReLU Networks
Tsui-Wei Weng
Huan Zhang
Hongge Chen
Zhao Song
Cho-Jui Hsieh
Duane S. Boning
Inderjit S. Dhillon
Luca Daniel
AAML
444
742
0
25 Apr 2018
Adversarial Logit Pairing
Harini Kannan
Alexey Kurakin
Ian Goodfellow
AAML
490
662
0
16 Mar 2018
Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples
Anish Athalye
Nicholas Carlini
D. Wagner
AAML
3.1K
3,457
0
01 Feb 2018
Provable defenses against adversarial examples via the convex outer adversarial polytope
Eric Wong
J. Zico Kolter
AAML
897
1,593
0
02 Nov 2017
Verifying Properties of Binarized Deep Neural Networks
Nina Narodytska
S. Kasiviswanathan
L. Ryzhyk
Shmuel Sagiv
T. Walsh
AAML
323
233
0
19 Sep 2017
An approach to reachability analysis for feed-forward ReLU neural networks
A. Lomuscio
Lalit Maganti
312
376
0
22 Jun 2017
Towards Deep Learning Models Resistant to Adversarial Attacks
Aleksander Madry
Aleksandar Makelov
Ludwig Schmidt
Dimitris Tsipras
Adrian Vladu
SILM
OOD
2.2K
14,323
0
19 Jun 2017
1
2
Next
Page 1 of 2
