QEBVerif: Quantization error bound verification of neural networks

by ZHANG, Yedi, SONG, Fu, SUN, Jun
Published 2023

Attack as defense: Characterizing adversarial examples using robustness

by ZHAO, Zhe, CHEN, Guangke, WANG, Jingyi, YANG, Yiwei, SONG, Fu, SUN, Jun
Published 2021

QVIP: An ILP-based formal verification approach for quantized neural networks

by ZHANG, Yedi, ZHAO, Zhe, CHEN, Guangke, SONG, Fu, ZHANG, Min, CHEN, Taolue, SUN, Jun
Published 2022

Attack as detection: Using adversarial attack methods to detect abnormal examples

by ZHAO, Zhe, CHEN, Guangke, LIU, Tong, LI, Taishan, SONG, Fu, WANG, Jingyi, SUN, Jun
Published 2024