13 citations · 32 across the 7 of their papers we have counts for
1 paper · 1 filter
Zhuolin Yang, Zhikuan Zhao, Boxin Wang +8
Intensive algorithmic efforts have been made to enable the rapid improvements of certificated robustness for complex ML models recently. However, current robustness certification m…