Peipei Xu
2 papers
· 2023–2023
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (2)
Top co-authors
Keywords
vision transformer
(1)
adversarial robustness
(1)
formal verification
(1)
neural network verification
(1)
geometric transformation
(1)
autonomous system
(1)
neural network controller
(1)
reachability analysis
(1)
control system
(1)
geometric robustness
(1)
lipschitzian theory
(1)
lipschitz optimization
(1)