Cheng-Chao Huang

1. Improving Neural Network Verification through Spurious Region Guided Refinement
   2020/10/15 by Pengfei Yang, Yang, Pengfei, Renjue Li +13 · 5 citations
   Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences
2. TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models
   2023/08/11 by Liang Zhang, Nathaniel Xu, Zhang, Liang +9 · 2 citations
   Computer Science · Engineering · #Anomaly Detection Techniques and Applications #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Traffic and Road Safety
3. Patch Synthesis for Property Repair of Deep Neural Networks
   2024/04/02 by Zhiming Chi, Jianan Ma, Chi, Zhiming +11 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning