2 citations · 3 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023
Is Certifying Robustness Still Worthwhile?
Ravi Mangal, Klas Leino, Zifan Wang +5
Over the years, researchers have developed myriad attacks that exploit the ubiquity of adversarial examples, as well as defenses that aim to guard against the security vulnerabilit…
cs.LG2023★ 1 cited
A Recipe for Improved Certifiable Robustness
Kai Hu, Klas Leino, Zifan Wang +1
Recent studies have highlighted the potential of Lipschitz-based methods for training certifiably robust neural networks against adversarial attacks. A key challenge, supported bot…