A Recipe for Improved Certifiable Robustness.

Kai Hu Klas Leino Zifan Wang Matt Fredrikson

Published in: ICLR (2024)

Keyphrases

data sets
real time
social networks
case study
high level
high quality
improved algorithm