3 papers
math.OC2025
Perturbed Gradient Descent via Convex Quadratic Approximation for Nonconvex Bilevel Optimization
Nazanin Abolfazli, Sina Sharifi, Mahyar Fazlyab +1
Bilevel optimization is a fundamental tool in hierarchical decision-making and has been widely applied to machine learning tasks such as hyperparameter tuning, meta-learning, and c…
cs.LG2024
Compositional Curvature Bounds for Deep Neural Networks
Taha Entesari, Sina Sharifi, Mahyar Fazlyab
A key challenge that threatens the widespread use of neural networks in safety-critical applications is their vulnerability to adversarial attacks. In this paper, we study the seco…
cs.LG2024
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis
Sina Sharifi, Mahyar Fazlyab
We propose a novel reachability analysis method tailored for neural networks with differentiable activations. Our idea hinges on a sound abstraction of the neural network map based…