ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds. - Taha Entesari; Sina Sharifi; Mahyar Fazlyab (ICRA, 2023)

Gradient-Regularized Out-of-Distribution Detection. - Sina Sharifi; Taha Entesari; Bardia Safaei 002; Vishal M. Patel; Mahyar Fazlyab (ECCV (13), 2024)

Compositional Curvature Bounds for Deep Neural Networks. - Taha Entesari; Sina Sharifi; Mahyar Fazlyab (ICML, 2024)

Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis. - Sina Sharifi; Mahyar Fazlyab (CoRR, 2024)

Safe Gradient Flow for Bilevel Optimization. - Sina Sharifi; Nazanin Abolfazli; Erfan Yazdandoost Hamedani; Mahyar Fazlyab (ACC, 2025)

Sequential QCQP for Bilevel Optimization With Line Search. - Sina Sharifi; Erfan Yazdandoost Hamedani; Mahyar Fazlyab (IEEE Control. Syst. Lett., 2025)