Mahyar Fazlyab
11 papers · 2019–2024 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π£ Hot Topic Early Bird π Interdisciplinary Bridge π§ Keyword Pioneer π Academic Marathon (5) π Cross-Pollinator (10)
πΊοΈ
Taxonomy Completionist
(16)
π
Conference Polyglot
(6)
π
Century Club
(11)
π₯
Unstoppable
(6)
π
Conference Pioneer
Conferences
L4DC (4)
ECCV (2)
NIPS (2)
CORL (1)
ICLR (1)
ICML (1)
Top co-authors
Keywords
certified robustness
(2)
lipshitz constant
(2)
adversarial training
(2)
lipschitz constant
(2)
semidefinite programming
(2)
convex optimization
(2)
margin maximization
(1)
lipschitz continuity
(1)
adversarial attack
(1)
dynamical system
(1)
deep neural network
(1)
decision boundary
(1)
neural network verification
(1)
safety verification
(1)
neural network robustness
(1)
min-max optimization
(1)
lipschitz regularization
(1)
relu network
(1)
mixed-integer programming
(1)
robustness analysis
(1)
Papers
Compositional Curvature Bounds for Deep Neural Networks
ICML 2024
Learning Performance-oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation
CORL 2024
Gradient-based Out-of-Distribution Detection
ECCV 2024
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization
NIPS 2023
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes
L4DC 2023
Certified Invertibility in Neural Networks via Mixed-Integer Programming
L4DC 2023
Semidefinite Relaxations of Truncated Least-Squares in Robust Rotation Search: Tight or Not
ECCV 2022
Enforcing robust control guarantees within neural network policies
ICLR 2021
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
L4DC 2021
Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees
L4DC 2020
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks
NIPS 2019