Yuan Xiao
Orcid: 0009-0009-3166-8007Affiliations:
- Nanjing University, China
According to our database1,
Yuan Xiao
authored at least 4 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Towards General Robustness Verification of MaxPool-Based Convolutional Neural Networks via Tightening Linear Approximation.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024
2022
Certifying Robustness of Convolutional Neural Networks with Tight Linear Approximation.
CoRR, 2022