Interval Certifications for Multilayered Perceptrons via Lattice Traversal

Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1

In this work we present a rigorous theoretical framework to a foundational problem of AI safety, namely adversarial robustness. In particular, we show that the adversarial robustne…