Yueling Zhang
3 papers
· 2019–2024
· 3 conferences
· across top CS/AI conferences
Achievements
🌈
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)