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

Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes. - Taha Entesari; Mahyar Fazlyab (L4DC, 2023)

Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization. - Mahyar Fazlyab; Taha Entesari; Aniket Roy; Rama Chellappa (NeurIPS, 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)

Constrained Entropic Unlearning: A Primal-Dual Framework for Large Language Models. - Taha Entesari; Arman Hatami; Rinat Khaziev; Anil Ramakrishna; Mahyar Fazlyab (CoRR, 2025)