Saber Jafarpour
6 papers · 2021–2025 · 4 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 ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(12)
🏆
Keyword Champion
(2)
🔥
Unstoppable · Bronze
Venues
Top co-authors
Research topics
Keywords
mixed monotone theory
(2)
lipschitz constant
(2)
neural network verification
(2)
implicit neural network
(2)
contraction theory
(2)
network flow
(1)
bilevel optimization
(1)
recurrent neural network
(1)
nonlinear dynamical system
(1)
physics-informed learning
(1)
robustness verification
(1)
control barrier function
(1)
edge feature
(1)
fixed-point equation
(1)
interval analysis
(1)
reachability analysis
(1)
hyper-rectangular over-approximation
(1)
reachable set
(1)
non-euclidean space
(1)
forward invariance
(1)
Papers
Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
L4DC 2025
Non-Euclidean Monotone Operator Theory and Applications
JMLR 2024
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers
L4DC 2023
Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach
L4DC 2022
Combining Physics and Machine Learning for Network Flow Estimation
ICLR 2021
Robust Implicit Networks via Non-Euclidean Contractions
NeurIPS 2021