28 citations · 44 across the 9 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.CL2023★ 1 cited
Recurrent Attention Networks for Long-text Modeling
Xianming Li, Zongxi Li, Xiaotian Luo +5
Self-attention-based models have achieved remarkable progress in short-text mining. However, the quadratic computational complexities restrict their application in long text proces…
cs.LG2023★ 2 cited
Model-Agnostic Reachability Analysis on Deep Neural Networks
Chi Zhang, Wenjie Ruan, Fu Wang +3
Verification plays an essential role in the formal analysis of safety-critical systems. Most current verification methods have specific requirements when working on Deep Neural Net…
cs.LG2023★ 4 cited
Towards Verifying the Geometric Robustness of Large-scale Neural Networks
Fu Wang, Peipei Xu, Wenjie Ruan +1
Deep neural networks (DNNs) are known to be vulnerable to adversarial geometric transformation. This paper aims to verify the robustness of large-scale DNNs against the combination…