3 citations · 3 across the 7 of their papers we have counts for
4 papers · 1 filter
Demystifying Lipschitz verification: positive matrices, negative results
Simon Kuang, Yuezhu Xu, S. Sivaranjani +1
The global Lipschitz constant of a neural network is related to robustness and generalization, yet unlike in many classical models, it is not plainly legible from the parameters. T…
ECLipsE-Gen-Local: Efficient Compositional Local Lipschitz Estimates for Deep Neural Networks
Yuezhu Xu, S. Sivaranjani
The Lipschitz constant is a key measure for certifying the robustness of neural networks to input perturbations. However, computing the exact constant is NP-hard, and standard appr…
ECLipsE: Efficient Compositional Lipschitz Constant Estimation for Deep Neural Networks
Yuezhu Xu, S. Sivaranjani
The Lipschitz constant plays a crucial role in certifying the robustness of neural networks to input perturbations. Since calculating the exact Lipschitz constant is NP-hard, effor…
Learning Dissipative Neural Dynamical Systems
Yuezhu Xu, S. Sivaranjani
Consider an unknown nonlinear dynamical system that is known to be dissipative. The objective of this paper is to learn a neural dynamical model that approximates this system, whil…