Authors: Samuel Drews, Aws Albarghouthi, Loris D'Antoni
Published: 2023-01-20
DOI: 10.1145/3576894
Source: Full article
Machine learning models are brittle, and small changes in the training data can result in different predictions. We study the problem of proving that a prediction is robust to