Yuan Xiao
3 papers · 2020–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(16)
Top co-authors
Research topics
Deep Learning
(3)
Machine Learning
(3)
Artificial Intelligence
(2)
Architectures
(2)
Core AI
(2)
Core Methods
(2)
Optimization & Theory · Machine Learning
(2)
Optimization & Theory · Deep Learning
(2)
Computer Vision
(1)
Healthcare & Medicine
(1)
Clinical
(1)
Domain-Specific
(1)
Learning Types · Machine Learning
(1)
Learning Types · Deep Learning
(1)
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