Xuezhou Tang, Ye Zheng, Jiaxiang Liu
International Static Analysis Symposium (SAS), 2023
Ye Zheng, Jiaxiang Liu, Xiaomu Shi
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the
Foundations of Software Engineering (ESEC/FSE Demonstration), 2022
郑烨,施晓牧,刘嘉祥
软件学报 (JOS), 2022; International Journal of Software and Informatics
(IJSI), 2022
Comments and notes of papers related to my research topics, organized by publication year.
本文关注神经网络验证方法中界限传播方法的精度问题。关于此问题,本文提出界限传播路径的概念,将各种界限传播方法扩展到其对应的多路径界限传播方法;此外,本文将多路径界限传播在 PyTorch 框架上并行化,开发了高效而易用的鲁棒性验证工具。
Personal experiences and notes of Latex, Git, Docker, Python, PyCharm, etc.