no code implementations • 31 May 2024 • You Li, Guannan Zhao, Shuyu Kong, Yunqi He, Hai Zhou
This paper presents a systematic and efficient method to evaluate and verify global robustness for deep neural networks, leveraging the PAC verification framework for solid guarantees on verification results.
no code implementations • 22 May 2022 • Shuyu Kong, You Li, Hai Zhou
We theoretically prove that clients will use as much data as they can possibly possess to participate in federated learning under certain conditions with our incentive mechanism
no code implementations • 8 Dec 2020 • Shuyu Kong, You Li, Jia Wang, Amin Rezaei, Hai Zhou
Inspired by the robustness of K-Nearest Neighbors (KNN) against data noise, in this work, we propose to apply deep KNN for label cleanup.