Xiaowei Huang
- Safety Verification of Deep Neural Networks
2016/10/21 by Xiaowei Huang, Marta Kwiatkowska, Huang, Xiaowei +5 · 14 citations
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Building Guardrails for Large Language Models
2024/02/02 by Yi Dong, Dong, Yi, Ronghui Mu +15 · 17 citations
Computer Science · #Natural Language Processing Techniques #Topic Modeling
- A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation
2023/05/19 by Xiaowei Huang, Wenjie Ruan, Huang, Xiaowei +31 · 14 citations
Computer Science · Medicine · #Adversarial Robustness in Machine Learning #Software Engineering Research #Artificial Intelligence in Healthcare and Education
- SIDA: Social Media Image Deepfake Detection, Localization and Explanation with Large Multimodal Model
2024/12/05 by Zhenglin Huang, Huang, Zhenglin, Jinwei Hu +15 · 28 citations
Computer Science · #Anomaly Detection Techniques and Applications #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #Digital Media Forensic Detection #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis
- Safeguarding Large Language Models: A Survey
2024/06/03 by Yi Dong, Dong, Yi, Ronghui Mu +21 · 19 citations
Computer Science · #Privacy-Preserving Technologies in Data
- Concolic Testing for Deep Neural Networks
2018/04/30 by Youcheng Sun, Sun, Youcheng, Min Wu +9 · 8 citations
Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations
2020/12/05 by Xingyu Zhao, Zhao, Xingyu, Wei Huang +7 · 6 citations
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning and Data Classification
- Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist
2024/07/11 by Zihao Zhou, Shudong Liu, Zhou, Zihao +15 · 10 citations
Mathematics · #Statistics Education and Methodologies
- SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability
2022/08/19 by Wei Huang, Huang, Wei, Xingyu Zhao +5 · 4 citations
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Healthcare
- Image Fusion for Cross-Domain Sequential Recommendation
2024/12/31 by Wangyu Wu, Wu, Wangyu, Song, Siqi +8 · 9 citations
Computer Science · #Recommender Systems and Techniques #Domain Adaptation and Few-Shot Learning #Advanced Graph Neural Networks
- Image Augmentation Agent for Weakly Supervised Semantic Segmentation
2024/12/29 by Wangyu Wu, Wu, Wangyu, Qiu, Xianglin +10 · 8 citations
Computer Science · #Image Retrieval and Classification Techniques #Medical Image Segmentation Techniques #Advanced Image and Video Retrieval Techniques
- STUN: Self-Teaching Uncertainty Estimation for Place Recognition
2022/03/03 by Kaiwen Cai, Cai, Kaiwen, Chris Xiaoxuan Lu +3 · 2 citations
Engineering · Computer Science · #Indoor and Outdoor Localization Technologies #Robotics and Sensor-Based Localization #Video Surveillance and Tracking Methods
- Towards Fairness-Aware Adversarial Learning
2024/02/27 by Yanghao Zhang, Zhang, Yanghao, Tianle Zhang +7 · 3 citations
Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
- Assessing the Reliability of Deep Learning Classifiers Through\n Robustness Evaluation and Operational Profiles
2021/06/02 by Xingyu Zhao, Wei Huang, Zhao, Xingyu +11 · 2 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Software Reliability and Analysis Research #Radiation Effects in Electronics
- An Epistemic Strategy Logic
2014/09/08 by Xiaowei Huang, Ron van der Meyden, Huang, Xiaowei +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Towards Verifying the Geometric Robustness of Large-scale Neural Networks
2023/01/29 by Fu Wang, Peipei Xu, Wang, Fu +5 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Hierarchical Distribution-Aware Testing of Deep Learning
2022/05/17 by Wei Huang, Huang, Wei, Xingyu Zhao +7 · 1 citation
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Integrated Circuits and Semiconductor Failure Analysis #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- DeepCDCL: An CDCL-based Neural Network Verification Framework
2024/03/12 by Zongxin Liu, Liu, Zongxin, Pengfei Yang +5 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning
- What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems
2023/07/20 by Saddek Bensalem, Bensalem, Saddek, Chih‐Hong Cheng +9 · 1 citation
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
- 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
- BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection
2024/03/27 by Changshun Wu, Wu, Changshun, Weicheng He +7 · 1 citation
Computer Science · Engineering · #Advanced Image and Video Retrieval Techniques #Advanced Neural Network Applications #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Infrared Target Detection Methodologies
- Cognitive-Inspired Hierarchical Attention Fusion With Visual and Textual for Cross-Domain Sequential Recommendation
2025/04/21 by Wangyu Wu, Zhenhong Chen, Wu, Wangyu +10 · 3 citations
Computer Science · #Advanced Graph Neural Networks #Computer Vision and Pattern Recognition (cs.CV) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Recommender Systems and Techniques
- Robust RL with LLM-Driven Data Synthesis and Policy Adaptation for Autonomous Driving
2024/10/16 by Saisai Wu, Jiaxu Liu, Wu, Sihao +12 · 1 citation
Decision Sciences · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Robotics (cs.RO) #Simulation Techniques and Applications
- Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
2024/12/17 by Zongxin Liu, Zhe Zhao, Liu, Zongxin +11 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural Networks and Applications
- ZeroDiff: Solidified Visual-Semantic Correlation in Zero-Shot Learning
2024/06/05 by Zihan Ye, Shreyank N Gowda, Ye, Zihan +11 · 1 citation
Computer Science · #Domain Adaptation and Few-Shot Learning
- Integrating Object Detection Modality into Visual Language Model for Enhanced Autonomous Driving Agent
2024/11/08 by Linfeng He, Yiming Sun, He, Linfeng +7 · 1 citation
Computer Science · Engineering · #Advanced Neural Network Applications #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Robotics (cs.RO) #Vehicle License Plate Recognition
- AI Safety Compass: A Compact Framework for AI Safety Research and System Design
2026/07/18 by Ran Liu, Xiaowei Huang · 1 voice
- Skill Use or Skill Theater? Evaluating the Reasoning Backroom in Skill-Augmented Language Agents
2026/07/29 by Jinwei Hu, Yi Qi, Xinmiao Huang +3
Computer Science · #cs.AI #cs.MA
- Beyond Semantic Equivalence: Logical Graphs for LLM Uncertainty Quantification
2026/07/18 by Yanni Dong, Minghua Liu, Meiling Zhu +2
#cs.AI