FullCert: deterministic end-to-end certification for training and inference of neural networks

Modern machine learning models are sensitive to the manipulation of both the training data (poisoning attacks) and inference data (adversarial examples). Recognizing this issue, the community has developed many empirical defenses against both attacks and, more recently, certification methods with pr...

Full description

Bibliographic Details
Main Authors: Lorenz, T, Kwiatkowska, M, Fritz, M
Format: Conference item
Language:English
Published: Springer 2024