ResearchTrend.AI
Verification of Neural Networks' Global Robustness

Verification of Neural Networks' Global Robustness

Anan Kabaha
Dana Drachsler-Cohen
ArXivPDFHTML

Papers citing "Verification of Neural Networks' Global Robustness"

7 / 7 papers shown
Title
A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
James Tobler
Hira Taqdees Syeda
Toby Murray
AAML
24
0
0
11 May 2025
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification
Anan Kabaha
Dana Drachsler-Cohen
AAML
43
0
0
23 Feb 2025
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
30
3
0
12 Apr 2024
Boosting Robustness Verification of Semantic Feature Neighborhoods
Boosting Robustness Verification of Semantic Feature Neighborhoods
Anan Kabaha
Dana Drachsler-Cohen
AAML
29
6
0
12 Sep 2022
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding
Zhilu Wang
Chao Huang
Qi Zhu
AAML
34
18
0
26 Mar 2022
Globally-Robust Neural Networks
Globally-Robust Neural Networks
Klas Leino
Zifan Wang
Matt Fredrikson
AAML
OOD
80
125
0
16 Feb 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
228
1,835
0
03 Feb 2017