72 citations · 74 across the 3 of their papers we have counts for
3 papers
cs.LG2023★ 1 cited
When to Trust AI: Advances and Challenges for Certification of Neural Networks
Marta Kwiatkowska, Xiyue Zhang
Artificial intelligence (AI) has been advancing at a fast pace and it is now poised for deployment in a wide range of applications, such as autonomous systems, medical diagnosis an…
cs.LG2023★ 1 cited
Using Z3 for Formal Modeling and Verification of FNN Global Robustness
Yihao Zhang, Zeming Wei, Xiyue Zhang +1
While Feedforward Neural Networks (FNNs) have achieved remarkable success in various tasks, they are vulnerable to adversarial examples. Several techniques have been developed to v…
cs.LG2022★ 72 cited
Spatial-Temporal Sequential Hypergraph Network for Crime Prediction with Dynamic Multiplex Relation Learning
Lianghao Xia, Chao Huang, Yong Xu +4
Crime prediction is crucial for public safety and resource optimization, yet is very challenging due to two aspects: i) the dynamics of criminal patterns across time and space, cri…