18 citations · 19 across the 2 of their papers we have counts for
2 papers
cs.LG2022★ 1 cited
A Quantitative Geometric Approach to Neural-Network Smoothness
Zi Wang, Gautam Prakriya, Somesh Jha
Fast and precise Lipschitz constant estimation of neural networks is an important task for deep learning. Researchers have recently found an intrinsic trade-off between the accurac…
cs.LG2020★ 18 cited
Interval Universal Approximation for Neural Networks
Zi Wang, Aws Albarghouthi, Gautam Prakriya +1
To verify safety and robustness of neural networks, researchers have successfully applied abstract interpretation, primarily using the interval abstract domain. In this paper, we s…