Picture for Taha Entesari

Taha Entesari

Compositional Curvature Bounds for Deep Neural Networks

Add code
Jun 07, 2024
Viaarxiv icon

Gradient-Regularized Out-of-Distribution Detection

Add code
Apr 18, 2024
Viaarxiv icon

Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization

Add code
Sep 29, 2023
Viaarxiv icon

Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes

Add code
Dec 14, 2022
Viaarxiv icon

ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds

Add code
Nov 01, 2022
Viaarxiv icon