Jingbo Wang

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 5

Publications

Yannan Li, Jingbo Wang, Chao Wang
Certifying the Fairness of KNN in the Presence of Dataset Bias. CoRR (2023)
Yannan Li, Jingbo Wang, Chao Wang
Systematic Testing of the Data-Poisoning Robustness of KNN. CoRR (2023)
Yannan Li, Jingbo Wang, Chao Wang
Certifying the Fairness of KNN in the Presence of Dataset Bias. CAV (2) (2023)
Jingbo Wang, Aarti Gupta, Chao Wang
Synthesizing MILP Constraints for Efficient and Robust Optimization. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Yannan Li, Jingbo Wang, Chao Wang
Systematic Testing of the Data-Poisoning Robustness of KNN. ISSTA (2023)