Ben Batten
2 papers · 2021–2024 · 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
Venues
Research topics
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)