Yuan Xiao
3 papers
· 2020–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
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)