Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
'Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach'
ACM Transactions on Software Engineering and Methodology (TOSEM, CCF-A)
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taulue Chen, Jun Sun
'QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks'
ASE 2022, CCF-A
Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen and Jiaxiang Liu
'ACROBAT: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks'
SAS 2022, CCF-B
Zhe Zhao, Guangke Chen, Tong Liu, Taishan Li, Fu Song, Jingyi Wang, Jun Sun
'Turn Lemons into Lemonade: Using Adversarial Attack Methods to Detect Abnormal Examples'
Under major revision of TDSC
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen.
'BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks'.
CAV 2021, CCF-A
Acceptance Rate: 79/290=27%