4 citations · 10 across the 7 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.LG2023★ 1 cited
Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework
Simiao Zhang, Jitao Bai, Menghong Guan +4
Machine learning is widely used to make decisions with societal impact such as bank loan approving, criminal sentencing, and resume filtering. How to ensure its fairness while main…
cs.CV2023★ 2 cited
Boosting Verified Training for Robust Image Classifications via Abstraction
Zhaodi Zhang, Zhiyi Xue, Yang Chen +4
This paper proposes a novel, abstraction-based, certified training method for robust image classifiers. Via abstraction, all perturbed images are mapped into intervals before feedi…
cs.LG2023
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks
Xingwu Guo, Ziwei Zhou, Yueling Zhang +2
Occlusion is a prevalent and easily realizable semantic perturbation to deep neural networks (DNNs). It can fool a DNN into misclassifying an input image by occluding some segments…