QEBVerif: Quantization error bound verification of neural networks

بواسطة ZHANG, Yedi, SONG, Fu, SUN, Jun
منشور في 2023

Attack as defense: Characterizing adversarial examples using robustness

بواسطة ZHAO, Zhe, CHEN, Guangke, WANG, Jingyi, YANG, Yiwei, SONG, Fu, SUN, Jun
منشور في 2021

FDI : Attack neural code generation systems through user feedback channel

بواسطة SUN, Zhensu, DU, Xiaoning, LUO, Xiapu, SONG, Fu, LO, David, LI, Li
منشور في 2024

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

بواسطة ZHANG, Yedi, ZHAO, Zhe, CHEN, Guangke, SONG, Fu, ZHANG, Min, CHEN, Taolue, SUN, Jun
منشور في 2022

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

بواسطة ZHAO, Zhe, CHEN, Guangke, LIU, Tong, LI, Taishan, SONG, Fu, WANG, Jingyi, SUN, Jun
منشور في 2024