Yuan Xiao

2
papers
3
total citations

papers (2)

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

CVPR 2025
3
citations

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

CVPR 2024arXiv
0
citations