← Search

Mark Squillante

3 accepted papers

2020

Quantifying the Empirical Wasserstein Distance to a Set of Measures: Beating the Curse of Dimensionality

NeurIPS 2020spotlight

We consider the problem of estimating the Wasserstein distance between the empirical measure and a set of probability measures whose expectations over a class of functions (hypothesis class) are constrained. If this class is sufficiently rich to characterize a particular distribution (e.g., all Lips…

Cited by 18SourcePDFScholar
2019

PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach

ICML 2019oral

We propose a novel framework PROVEN to \textbf{PRO}babilistically \textbf{VE}rify \textbf{N}eural network’s robustness with statistical guarantees. PROVEN provides probability certificates of neural network robustness when the input perturbation follow distributional characterization. Notably, PROVE…