27 citations · 33 across the 9 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2021★ 3 cited
Self-Correcting Neural Networks For Safe Classification
Klas Leino, Aymeric Fromherz, Ravi Mangal +3
Classifiers learnt from data are increasingly being used as components in systems where safety is a critical concern. In this work, we present a formal notion of safety for classif…
cs.LG2020★ 2 cited
Fast Geometric Projections for Local Robustness Certification
Aymeric Fromherz, Klas Leino, Matt Fredrikson +2
Local robustness ensures that a model classifies all inputs within an -ball consistently, which precludes various forms of adversarial inputs. In this paper, we present a f…