Yuan Xiao

PhD student, Software Institute, nanjing university

Joined

May 2023

Names

Yuan Xiao (Preferred)

Emails

****@smail.nju.edu.cn (Confirmed)

Personal Links

Google Scholar

DBLP

ORCID

Career & Education History

PhD student

Software Institute, nanjing university (nju.edu.cn)

2021 – 2026

Undergrad student

School of Mathematics, SUN YAT-SEN UNIVERSITY (sysu.edu.cn)

2017 – 2021

Advisors, Relations & Conflicts

Coauthor

Chunrong Fang

2021 – 2026

PhD Advisor

Zhenyu Chen

2021 – 2026

Coauthor

Shiqing Ma

2021 – 2026

Expertise

Code Model Watermark

2024 – 2026

Robustness Verification

2021 – 2026

Publications

DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
Yuan Xiao, Yuchen Chen, Shiqing Ma, Haocheng Huang, Chunrong Fang, Yanwei Chen, Weisong Sun, Yunfeng Zhu, Xiaofang Zhang, Zhenyu Chen
- CoRR 2025
- Readers: Everyone
Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
Yuan Xiao, Yuchen Chen, Shiqing Ma, Chunrong Fang, Tongtong Bai, Mingzheng Gu, Yuxin Cheng, Yanwei Chen, Zhenyu Chen
- CVPR 2025
- Readers: Everyone
CooTest: An Automated Testing Approach for V2X Communication Systems
An Guo, Xinyu Gao, Zhenyu Chen, Yuan Xiao, Jiakai Liu, Xiuting Ge, Weisong Sun, Chunrong Fang
- CoRR 2024
- Readers: Everyone
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation
Yuan Xiao, Shiqing Ma, Juan Zhai, Chunrong Fang, Jinyuan Jia, Zhenyu Chen
- CoRR 2024
- Readers: Everyone
Eliminating Backdoors in Neural Code Models via Trigger Inversion
Weisong Sun, Yuchen Chen, Chunrong Fang, Yebo Feng, Yuan Xiao, An Guo, Quanjun Zhang, Yang Liu, Baowen Xu, Zhenyu Chen
- CoRR 2024
- Readers: Everyone
Towards General Robustness Verification of MaxPool-Based Convolutional Neural Networks via Tightening Linear Approximation
Yuan Xiao, Shiqing Ma, Juan Zhai, Chunrong Fang, Jinyuan Jia, Zhenyu Chen
- CVPR 2024
- Readers: Everyone
Certifying Robustness of Convolutional Neural Networks with Tight Linear Approximation
Yuan Xiao, Tongtong Bai, Mingzheng Gu, Chunrong Fang, Zhenyu Chen
- Published: 01 Jan 2022, Last Modified: 05 Nov 2023
- CoRR 2022
- Readers: Everyone

Yuan Xiao

Names

Emails

Personal Links

Career & Education History

Advisors, Relations & Conflicts

Expertise

Publications

DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone

CooTest: An Automated Testing Approach for V2X Communication Systems

Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation

Eliminating Backdoors in Neural Code Models via Trigger Inversion

Towards General Robustness Verification of MaxPool-Based Convolutional Neural Networks via Tightening Linear Approximation

Certifying Robustness of Convolutional Neural Networks with Tight Linear Approximation

Co-Authors