Li, Renjue
- 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
- Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning
2021/01/25 by Renjue Li, Li, Renjue, Pengfei Yang +9 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Patch Synthesis for Property Repair of Deep Neural Networks
2024/04/02 by Zhiming Chi, Chi, Zhiming, Jianan Ma +11 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning
- 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)
- Out-of-Bounding-Box Triggers: A Stealthy Approach to Cheat Object Detectors
2024/10/14 by Lin, Tao, Yu, Lijia, Jin, Gaojie +3 · 1 citation
#Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
- BadThink: Triggered Overthinking Attacks on Chain-of-Thought Reasoning in Large Language Models
2025/11/13 by Liu, Shuaitong, Li, Renjue, Yu, Lijia +3 · 1 citation
#Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences