224 citations · 549 across the 13 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2022★ 4 cited
Certifying Out-of-Domain Generalization for Blackbox Functions
Maurice Weber, Linyi Li, Boxin Wang +3
Certifying the robustness of model performance under bounded data distribution drifts has recently attracted intensive interest under the umbrella of distributional robustness. How…
cs.LG2020★ 6 cited
Improving Certified Robustness via Statistical Learning with Logical Reasoning
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…