Taha Entesari
4 papers · 2023–2024 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(4)
🐝
Cross-Pollinator
(10)
Conferences
ECCV (1)
ICML (1)
L4DC (1)
NIPS (1)
Top co-authors
Keywords
certified robustness
(1)
adversarial robustness
(1)
lipchitz regularization
(1)
margin maximization
(1)
dynamical system
(1)
decision boundary
(1)
lipschitz constant
(1)
safety verification
(1)
lipschitz regularization
(1)
neural network controller
(1)
reachability analysis
(1)
lipshitz constant
(1)
neural network
(1)
polytope approximation
(1)
Papers
Gradient-based Out-of-Distribution Detection
ECCV 2024
Compositional Curvature Bounds for Deep Neural Networks
ICML 2024
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization
NIPS 2023
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes
L4DC 2023