Ben Batten
2 papers
· 2021–2024
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🐝
Cross-Pollinator
(6)
Conferences
AISTATS (1)
IJCAI (1)
Keywords
neural network verification
(2)
bayesian neural network
(1)
mixed-integer linear programming
(1)
probabilistic robustness
(1)
gradient-based verification
(1)
robustness guarantee
(1)
semidefinite relaxation
(1)
local robustness
(1)
layer-based constraint
(1)
adversarial robustness
(1)
linear cut
(1)