Saber Jafarpour
6 papers · 2021–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (4) π Cross-Pollinator (7) π Keyword Champion
π₯
Unstoppable
(5)
Conferences
L4DC (3)
ICLR (1)
JMLR (1)
NIPS (1)
Top co-authors
Keywords
lipschitz constant
(2)
contraction theory
(2)
implicit neural network
(2)
forward-backward splitting
(1)
recurrent neural network
(1)
nonlinear dynamical system
(1)
neural network verification
(1)
robustness verification
(1)
interval analysis
(1)
reachability analysis
(1)
mixed monotone theory
(1)
hyper-rectangular over-approximation
(1)
non-euclidean space
(1)
fixed point equation
(1)
splitting method
(1)
monotone operator theory
(1)
image classification
(1)
mixed monotone system
(1)
certified robustness
(1)
adversarial robustness
(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
Robust Implicit Networks via Non-Euclidean Contractions
NIPS 2021
Combining Physics and Machine Learning for Network Flow Estimation
ICLR 2021