50 citations · 52 across the 2 of their papers we have counts for
2 papers
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.SI2016★ 50 cited
Social Computing for Mobile Big Data in Wireless Networks
Xing Zhang, Zhenglei Yi, Zhi Yan +4
Mobile big data contains vast statistical features in various dimensions, including spatial, temporal, and the underlying social domain. Understanding and exploiting the features o…