Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2106.06624
Cited By
Relaxing Local Robustness
11 June 2021
Klas Leino
Matt Fredrikson
AAML
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Relaxing Local Robustness"
5 / 5 papers shown
Title
Improved techniques for deterministic l2 robustness
Sahil Singla
S. Feizi
AAML
28
10
0
15 Nov 2022
Self-Correcting Neural Networks For Safe Classification
Klas Leino
Aymeric Fromherz
Ravi Mangal
Matt Fredrikson
Bryan Parno
C. Păsăreanu
32
4
0
23 Jul 2021
Globally-Robust Neural Networks
Klas Leino
Zifan Wang
Matt Fredrikson
AAML
OOD
80
126
0
16 Feb 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
251
1,842
0
03 Feb 2017
Adversarial examples in the physical world
Alexey Kurakin
Ian Goodfellow
Samy Bengio
SILM
AAML
326
5,849
0
08 Jul 2016
1