Certified Robustness

A provable guarantee that a model's predictions will not change within a specified perturbation radius around any input, providing formal security assurances.

A mathematical proof that an AI will give the same answer even if the input is slightly changed. Unlike just testing with examples, this provides a guarantee within defined boundaries.