Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2302.05745
Cited By
Verifying Generalization in Deep Learning
11 February 2023
Guy Amir
Osher Maayan
Tom Zelazny
Guy Katz
Michael Schapira
AAML
AI4CE
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Verifying Generalization in Deep Learning"
19 / 19 papers shown
Title
Towards Robust LLMs: an Adversarial Robustness Measurement Framework
Natan Levy
Adiel Ashrov
Guy Katz
AAML
20
0
0
24 Apr 2025
Proof-Driven Clause Learning in Neural Network Verification
Omri Isac
Idan Refaeli
Haoze Wu
Clark W. Barrett
Guy Katz
61
0
0
15 Mar 2025
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
Guy Amir
Shahaf Bassan
Guy Katz
42
2
0
07 Aug 2024
Safe and Reliable Training of Learning-Based Aerospace Controllers
Udayan Mandal
Guy Amir
Haoze Wu
Ieva Daukantas
Fletcher Lee Newell
...
Kerianne Hobbs
Milan Ganai
Tobey Shim
Guy Katz
Clark Barrett
32
2
0
09 Jul 2024
Verification-Guided Shielding for Deep Reinforcement Learning
Davide Corsi
Guy Amir
Andoni Rodríguez
César Sánchez
Guy Katz
Roy Fox
AAML
OffRL
32
9
0
10 Jun 2024
Local vs. Global Interpretability: A Computational Complexity Perspective
Shahaf Bassan
Guy Amir
Guy Katz
35
6
0
05 Jun 2024
Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning
Davide Corsi
Davide Camponogara
Alessandro Farinelli
OffRL
36
1
0
30 May 2024
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
Udayan Mandal
Guy Amir
Haoze Wu
Ieva Daukantas
Fletcher Lee Newell
...
Michael Durling
Milan Ganai
Tobey Shim
Guy Katz
Clark W. Barrett
39
7
0
22 May 2024
Analyzing Adversarial Inputs in Deep Reinforcement Learning
Davide Corsi
Guy Amir
Guy Katz
Alessandro Farinelli
AAML
26
7
0
07 Feb 2024
Formally Explaining Neural Networks within Reactive Systems
Shahaf Bassan
Guy Amir
Davide Corsi
Idan Refaeli
Guy Katz
AAML
17
15
0
31 Jul 2023
Towards Reliable Neural Specifications
Chuqin Geng
Nham Le
Xiaojie Xu
Zhaoyue Wang
A. Gurfinkel
X. Si
AAML
26
10
0
28 Oct 2022
Tighter Abstract Queries in Neural Network Verification
Elazar Cohen
Y. Elboher
Clark W. Barrett
Guy Katz
22
5
0
23 Oct 2022
Verifying Learning-Based Robotic Navigation Systems
Guy Amir
Davide Corsi
Raz Yerushalmi
Luca Marzari
D. Harel
Alessandro Farinelli
Guy Katz
82
37
0
26 May 2022
Bisimulations for Neural Network Reduction
P. Prabhakar
26
6
0
07 Oct 2021
Introduction to Neural Network Verification
Aws Albarghouthi
AAML
53
85
0
21 Sep 2021
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Weiming Xiang
Hoang-Dung Tran
Taylor T. Johnson
72
292
0
09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
222
1,835
0
03 Feb 2017
Safety Verification of Deep Neural Networks
Xiaowei Huang
M. Kwiatkowska
Sen Wang
Min Wu
AAML
178
931
0
21 Oct 2016
Adversarial examples in the physical world
Alexey Kurakin
Ian Goodfellow
Samy Bengio
SILM
AAML
250
5,830
0
08 Jul 2016
1