Sun, Youcheng

4 publications

ICCV 2021 Explanations for Occluded Images Hana Chockler, Daniel Kroening, Youcheng Sun

NeurIPS 2021 Ranking Policy Decisions Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening

ECCV 2020 Explaining Image Classifiers Using Statistical Fault Localization Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening

IJCAI 2019 Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska