Yuan Xiao
3 papers · 2020–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Conference Polyglot (2) π Academic Marathon (5) π Renaissance Researcher (5) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (16)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
CVPR (2)
AAAI (1)
Top co-authors
Keywords
formal verification
(2)
maxpool function
(2)
robustness verification
(2)
linear approximation
(2)
self-supervised learning
(1)
medical imaging
(1)
convolutional neural network
(1)
robustness certification
(1)
neural network verification
(1)
neural network robustness
(1)
neural network classifier
(1)
neural network
(1)
certified accuracy
(1)
multi-context learning
(1)
image classification
(1)
certified lower bound
(1)
image segmentation
(1)
semi-supervised learning
(1)
adversarial robustness
(1)
Papers
Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
CVPR 2025
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation
CVPR 2024
Self-Supervised, Semi-Supervised, Multi-Context Learning for the Combined Classification and Segmentation of Medical Images (Student Abstract)
AAAI 2020