profile photo
I am a PhD student in Computer Science at Rochester Institute of Technology (RIT), advised by Dr. Yidan Hu.
My primary research area is Data Privacy. Specifically, I currently focus on Differential Privacy.
Resume -  G. Scholar -  GitHub -  ZhiHu
profile photo
Boosting Multi-neuron Convex Relaxation for Neural Network Verification  

Xuezhou Tang, Ye Zheng, Jiaxiang Liu
International Static Analysis Symposium (SAS), 2023

MpBP: Verifying Robustness of Neural Networks with Multi-path Bound Propagation   Code   Slides

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

基于多路径回溯的神经网络验证方法 and the English version Multi-path Back-propagation Method for Neural Network Verification   Code   Slides

软件学报 (JOS), 2022; International Journal of Software and Informatics (IJSI), 2022

Paper Comments and Notes

Comments and notes of papers related to my research topics, organized by publication year.

硕士学位论文《多路径方法在神经网络验证中的研究与应用》  PDF   Slides

本文关注神经网络验证方法中界限传播方法的精度问题。关于此问题,本文提出界限传播路径的概念,将各种界限传播方法扩展到其对应的多路径界限传播方法;此外,本文将多路径界限传播在 PyTorch 框架上并行化,开发了高效而易用的鲁棒性验证工具。

Notes of Research Tools

Personal experiences and notes of Latex, Git, Docker, Python, PyCharm, etc.

More Bio
Shenzhen University (2020 - 2023)
  • Master's degree in Software Engineering
  • Research areas: Neural Network Verification and Formal Verification, advised by Dr. Jiaxiang Liu
Henan University (2016 - 2020)
  • Bachelor's degree in Mathematics
  • Majored in Pure Mathematics, advised by Dr. Zhonghua Wang