Yueling Zhang
3 papers · 2019–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌈 Renaissance Researcher (5) 🌍 Conference Polyglot (3) 🏃 Academic Marathon (5) 🐝 Cross-Pollinator (10) 🌉 Interdisciplinary Bridge
🧭
Keyword Pioneer
🚀
Conference Pioneer
Conferences
AAAI (1)
CVPR (1)
ICML (1)
Top co-authors
Keywords
adversarial robustness
(1)
neural network verification
(1)
sat solving
(1)
transition system
(1)
propositional satisfiability
(1)
linear temporal logic
(1)
satisfiability checking
(1)
interval analysis
(1)
robust image classification
(1)
conflict-driven learning
(1)
path-search problem
(1)
verified training
(1)