Skip to yearly menu bar Skip to main content


Invited Talk
in
Workshop: 2nd Workshop on Formal Verification of Machine Learning

Prof. Aws Albarghouthi and Yuhao Zhang (UW-Madison): Certifying Robustness: From Training to Inference

Aws Albarghouthi · Yuhao Zhang


Abstract:

Researchers have demonstrated that the machine-learning pipeline is susceptible to attacks both at training and inference time -- poisoning, backdoor, and evasion attacks. In this talk, we will describe new results on holistic approaches for certifying robustness. Our techniques draw upon ideas from test-time certification and ensembling to simultaneously establish formal robustness guarantees for both training and inference.

Chat is not available.