Renjue Li

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. 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
3. ISS-Scenario: Scenario-based Testing in CARLA
   2024/06/22 by Renjue Li, Li, Renjue, Tianhang Qin +3 · 1 citation
   Computer Science · #Distributed and Parallel Computing Systems #Embedded Systems Design Techniques #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Software Engineering (cs.SE)