Mahyar Fazlyab
12 papers · 2019–2026 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π Interdisciplinary Bridge Β· Bronze πΊοΈ Taxonomy Completionist (19) π Conference Polyglot Β· Silver π£ Hot Topic Early Bird π Academic Marathon Β· Sprint
π
Conference Pioneer
π₯
Unstoppable Β· Bronze
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(53)
Top co-authors
Research topics
Deep Learning
(10)
Artificial Intelligence
(9)
Core AI
(9)
Machine Learning
(8)
Optimization & Theory Β· Machine Learning
(7)
Optimization & Theory Β· Deep Learning
(5)
Architectures
(4)
Learning Types Β· Deep Learning
(3)
Mathematics & Optimization
(2)
Learning Types Β· Machine Learning
(2)
Optimization
(2)
Techniques
(2)
Knowledge & Reasoning
(1)
Application Areas
(1)
Reasoning
(1)
Keywords
convex optimization
(3)
lipschitz constant
(3)
semidefinite programming
(2)
reachability analysis
(2)
lipshitz constant
(2)
certified robustness
(2)
neural network verification
(2)
adversarial training
(2)
mixed integer programming
(1)
optimal control
(1)
robustness
(1)
margin maximization
(1)
adversarial robustness
(1)
lipschitz continuity
(1)
decision boundary
(1)
stability analysis
(1)
adversarial perturbation
(1)
deep neural network
(1)
convergence analysis
(1)
dynamical system
(1)
Papers
Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification
L4DC 2026
Compositional Curvature Bounds for Deep Neural Networks
ICML 2024
Gradient-based Out-of-Distribution Detection
ECCV 2024
Learning Performance-oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation
CoRL 2024
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes
L4DC 2023
Certified Invertibility in Neural Networks via Mixed-Integer Programming
L4DC 2023
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization
NeurIPS 2023
Semidefinite Relaxations of Truncated Least-Squares in Robust Rotation Search: Tight or Not
ECCV 2022
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
L4DC 2021
Enforcing robust control guarantees within neural network policies
ICLR 2021
Robust Deep Learning as Optimal Control: Insights and Convergence Guarantees
L4DC 2020
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks
NeurIPS 2019