6 citations · 11 across the 3 of their papers we have counts for
3 papers
cs.LG2023★ 6 cited
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
Zhiyi Xue, Si Liu, Zhaodi Zhang +2
The robustness of deep neural networks (DNNs) is crucial to the hosting system's reliability and security. Formal verification has been demonstrated to be effective in providing pr…
cs.LG2022★ 1 cited
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks
Zhaodi Zhang, Yiting Wu, Si Liu +2
The robustness of deep neural networks is crucial to modern AI-enabled systems and should be formally verified. Sigmoid-like neural networks have been adopted in a wide range of ap…
math.AP2016★ 4 cited
On-diagonal lower estimate of heat kernel on graphs
Yong Lin, Yiting Wu
The purpose of this paper is to establish a new continuous-time on-diagonal lower estimate of heat kernel for large time on graphs. To achieve the goal, we first give an upper boun…