Picture for Sina Sharifi

Sina Sharifi

Compositional Curvature Bounds for Deep Neural Networks

Add code
Jun 07, 2024
Viaarxiv icon

Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis

Add code
Jun 06, 2024
Viaarxiv icon

Gradient-Regularized Out-of-Distribution Detection

Add code
Apr 18, 2024
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