activity
20172025
most citedAnalyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

55 citations · 69 across the 15 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

stat.ML2018★ 3 cited

Universal Hypothesis Testing with Kernels: Asymptotically Optimal Tests for Goodness of Fit

Shengyu Zhu, Biao Chen, Pengfei Yang +1

We characterize the asymptotic performance of nonparametric goodness of fit testing. The exponential decay rate of the type-II error probability is used as the asymptotic performan…