Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2004.05511
Cited By
v1
v2 (latest)
Verification of Deep Convolutional Neural Networks Using ImageStars
International Conference on Computer Aided Verification (CAV), 2020
12 April 2020
Hoang-Dung Tran
Stanley Bak
Weiming Xiang
Taylor T. Johnson
AAML
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Verification of Deep Convolutional Neural Networks Using ImageStars"
50 / 74 papers shown
Proof Minimization in Neural Network Verification
Omri Isac
Idan Refaeli
Haoze Wu
Clark W. Barrett
Guy Katz
AAML
211
4
0
11 Nov 2025
Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network
Navid Hashemi
Samuel Sasaki
Diego Manzanas Lopez
Lars Lindemann
Ipek Oguz
Meiyi Ma
Taylor T. Johnson
UQCV
AAML
219
1
0
15 Sep 2025
Mini-Batch Robustness Verification of Deep Neural Networks
Saar Tzour-Shaday
Dana Drachsler Cohen
AAML
217
0
0
21 Aug 2025
Exact Verification of Graph Neural Networks with Incremental Constraint Solving
Minghao Liu
Chia-Hsuan Lu
Marta Kwiatkowska
AAML
212
2
0
12 Aug 2025
PICID: Proof-Driven Clause Learning in Neural Network Verification
Omri Isac
Idan Refaeli
Haoze Wu
Clark W. Barrett
Guy Katz
508
2
0
15 Mar 2025
Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
American Control Conference (ACC), 2025
Yuhao Zhang
Xiangru Xu
AAML
277
1
0
13 Mar 2025
Abstract Rendering: Computing All that is Seen in Gaussian Splat Scenes
Yangge Li
Chenxi Ji
Xiangru Zhong
Huan Zhang
Sayan Mitra
3DGS
316
0
0
01 Mar 2025
Verification of Bit-Flip Attacks against Quantized Neural Networks
Yedi Zhang
Lei Huang
Pengfei Gao
Fu Song
Jun Sun
Jin Song Dong
AAML
277
3
0
22 Feb 2025
Shield Synthesis for LTL Modulo Theories
AAAI Conference on Artificial Intelligence (AAAI), 2024
Andoni Rodríguez
Guy Amir
Davide Corsi
César Sánchez
Guy Katz
340
14
0
17 Feb 2025
Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis
Long Kiu Chung
Shreyas Kousik
1.1K
1
0
22 Jan 2025
Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
Syed Ali Asadullah Bukhari
Thomas Flinkow
M. Inkarbekov
Barak A. Pearlmutter
Rosemary Monahan
343
0
0
21 Nov 2024
ROSAR: An Adversarial Re-Training Framework for Robust Side-Scan Sonar Object Detection
Martin Aubard
László Antal
Ana Madureira
Luis F. Teixeira
Erika Ábrahám
AAML
240
2
0
14 Oct 2024
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
European Conference on Artificial Intelligence (ECAI), 2024
Ben Batten
Yang Zheng
Alessandro De Palma
Panagiotis Kouvaros
A. Lomuscio
AAML
384
3
0
23 Aug 2024
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
European Conference on Artificial Intelligence (ECAI), 2024
Guy Amir
Shahaf Bassan
Guy Katz
312
11
0
07 Aug 2024
Certified Continual Learning for Neural Network Regression
Long H. Pham
Jun Sun
368
5
0
09 Jul 2024
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
Tianhao Wei
Luca Marzari
Kai S. Yun
Hanjiang Hu
Peizhi Niu
Xusheng Luo
Changliu Liu
321
5
0
30 Jun 2024
Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
David Boetius
Stefan Leue
Tobias Sutter
502
2
0
27 May 2024
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
Jianting Yang
Srecko Ðurasinovic
Jean B. Lasserre
Victor Magron
Jun Zhao
AAML
359
2
0
27 May 2024
Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation
Zihao Mo
Yejiang Yang
Shuaizheng Lu
Weiming Xiang
247
2
0
18 Feb 2024
Provably Safe Neural Network Controllers via Differential Dynamic Logic
Samuel Teuber
Stefan Mitsch
André Platzer
AAML
286
15
0
16 Feb 2024
Data-Driven Modeling and Verification of Perception-Based Autonomous Systems
Thomas Waite
Avi Schwarzschild
Hassani Hamed
George J. Pappas
Radoslav Ivanov
214
3
0
11 Dec 2023
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
Xi Zheng
Al Mok
R. Piskac
Yong Jae Lee
Bhaskar Krishnamachari
Dakai Zhu
O. Sokolsky
Insup Lee
ELM
291
7
0
13 Nov 2023
Verification of Neural Networks Local Differential Classification Privacy
International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 2023
Roie Reshef
Anan Kabaha
Olga Seleznova
Dana Drachsler-Cohen
AAML
221
3
0
31 Oct 2023
Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable-Length Time Series Input
International Workshop on Formal Methods for Industrial Critical Systems (FMICS), 2023
Neelanjana Pal
Diego Manzanas Lopez
Taylor T. Johnson
AI4TS
232
3
0
26 Jul 2023
Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)
Mahum Naseer
Osman Hasan
Mohamed Bennai
208
2
0
29 Jun 2023
Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes
Carlos Trapiello
C. Combastel
A. Zolghadri
186
2
0
26 Jun 2023
Towards quantum enhanced adversarial robustness in machine learning
Nature Machine Intelligence (Nat. Mach. Intell.), 2023
Maxwell T. West
S. Tsang
J. S. Low
C. Hill
C. Leckie
Lloyd C. L. Hollenberg
S. Erfani
Muhammad Usman
AAML
OOD
259
78
0
22 Jun 2023
DelBugV: Delta-Debugging Neural Network Verifiers
Formal Methods in Computer-Aided Design (FMCAD), 2023
R. Elsaleh
Guy Katz
268
3
0
29 May 2023
Convex Bounds on the Softmax Function with Applications to Robustness Verification
International Conference on Artificial Intelligence and Statistics (AISTATS), 2023
Dennis L. Wei
Haoze Wu
Min Wu
Pin-Yu Chen
Clark W. Barrett
E. Farchi
UQCV
AAML
165
13
0
03 Mar 2023
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
Pengfei Yang
Zhiming Chi
Zongxin Liu
Mengyu Zhao
Cheng-Chao Huang
Shaowei Cai
Lijun Zhang
AAML
208
3
0
10 Feb 2023
Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq
NASA Formal Methods (NFM), 2023
A. Aleksandrov
Kim Völlinger
129
7
0
30 Jan 2023
PCV: A Point Cloud-Based Network Verifier
A. Sarker
Farzana Yasmin Ahmad
Matthew B. Dwyer
AAML
3DPC
196
1
0
27 Jan 2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
International Journal on Software Tools for Technology Transfer (STTT) (STTT), 2023
Christopher Brix
Mark Niklas Muller
Stanley Bak
Taylor T. Johnson
Changliu Liu
NAI
281
85
0
14 Jan 2023
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results
Mark Niklas Muller
Christopher Brix
Stanley Bak
Changliu Liu
Taylor T. Johnson
NAI
388
56
0
20 Dec 2022
Provable Fairness for Neural Network Models using Formal Verification
Giorgian Borca-Tasciuc
Xingzhi Guo
Stanley Bak
Steven Skiena
226
7
0
16 Dec 2022
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
185
24
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
329
17
0
06 Dec 2022
VeriX: Towards Verified Explainability of Deep Neural Networks
Neural Information Processing Systems (NeurIPS), 2022
Min Wu
Haoze Wu
Clark W. Barrett
AAML
473
28
0
02 Dec 2022
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 2022
Jiaxu Tian
Dapeng Zhi
Si Liu
Peixin Wang
Guy Katz
Hao Fei
190
2
0
21 Nov 2022
Boosting Robustness Verification of Semantic Feature Neighborhoods
Sensors Applications Symposium (SAS), 2022
Anan Kabaha
Dana Drachsler-Cohen
AAML
283
7
0
12 Sep 2022
Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults
Software testing, verification & reliability (STVR), 2022
Ayoosh Bansal
Hunmin Kim
Simon Yu
Yue Liu
N. Hovakimyan
Marco Caccamo
L. Sha
AAML
320
4
0
04 Sep 2022
Verifiable Obstacle Detection
IEEE International Symposium on Software Reliability Engineering (ISSRE), 2022
Ayoosh Bansal
Hunmin Kim
Simon Yu
Bo-Yi Li
N. Hovakimyan
Marco Caccamo
L. Sha
314
6
0
30 Aug 2022
On Optimizing Back-Substitution Methods for Neural Network Verification
Formal Methods in Computer-Aided Design (FMCAD), 2022
Tom Zelazny
Haoze Wu
Clark W. Barrett
Guy Katz
AAML
286
6
0
16 Aug 2022
Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool
International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT (MRACI), 2022
Neelanjana Pal
Taylor T. Johnson
118
1
0
14 Jul 2022
Reachability Analysis of a General Class of Neural Ordinary Differential Equations
International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2022
Diego Manzanas Lopez
Patrick Musau
Nathaniel P. Hamilton
Taylor T. Johnson
247
18
0
13 Jul 2022
Toward Certified Robustness Against Real-World Distribution Shifts
Haoze Wu
Teruhiro Tagomori
Avi Schwarzschild
Fengjun Yang
Nikolai Matni
George Pappas
Hamed Hassani
C. Păsăreanu
Clark W. Barrett
AAML
OOD
263
23
0
08 Jun 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
328
26
0
01 Jun 2022
Verifying Neural Networks Against Backdoor Attacks
National Foundation for Science and Technology Development Conference on Information and Computer Science (TDICS), 2022
Long H. Pham
Jun Sun
AAML
245
7
0
14 May 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities
International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2022
Haoze Wu
Aleksandar Zeljić
Guy Katz
Clark W. Barrett
AAML
295
35
0
19 Mar 2022
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions
International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2022
Brandon Paulsen
Chao Wang
AAML
243
19
0
31 Jan 2022
1
2
Next
Page 1 of 2
