53 citations · 53 across the 3 of their papers we have counts for
3 papers
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
Limitations of Piecewise Linearity for Efficient Robustness Certification
Klas Leino
Certified defenses against small-norm adversarial examples have received growing attention in recent years; though certified accuracies of state-of-the-art methods remain far below…
cs.PL2014★ 53 cited
The Dafny Integrated Development Environment
K. Rustan M. Leino, Valentin Wüstholz
In recent years, program verifiers and interactive theorem provers have become more powerful and more suitable for verifying large programs or proofs. This has demonstrated the nee…