| 2026 | AAAI | Fragile by Design: On the Limits of Adversarial Defenses in Personalized DreamBooth Generation. | Zhen Chen, Yi Zhang, Xiangyu Yin, Chengxuan Qin, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan |
| 2026 | AAAI | Tapas Are Free! Training-Free Adaptation of Programmatic Agents via LLM-Guided Program Synthesis in Dynamic Environments. | Jinwei Hu, Yi Dong, Youcheng Sun, Xiaowei Huang |
| 2026 | ACL | Lying with Truths: Open-Channel Multi-Agent Collusion for Belief Manipulation via Generative Montage. | Jinwei Hu, Xinmiao Huang, Youcheng Sun, Yi Dong, Xiaowei Huang |
| 2026 | ACL | Chain-of-Thought as a Lens: Evaluating Structured Reasoning Alignment between Human Preferences and Large Language Models. | Boxuan Wang, Zhuoyun Li, Xinmiao Huang, Xiaowei Huang, Yi Dong |
| 2026 | ICAART | Formal Analysis of Hopfield Networks through 0-1 Integer Linear Programming and SMT Solving. | Sahar M. Alzahrani, Sven Schewe, Xiaowei Huang |
| 2026 | ICAART | Efficient Repair of Binarized Neural Networks Using Binary Activation Lookup Tables. | Sahar M. Alzahrani, Sven Schewe, Xiaowei Huang |
| 2026 | ISIT | A Unified Framework for PAC-Bayesian Norm-based Generalization Bounds. | Xinping Yi, Gaojie Jin, Xiaowei Huang, Shi Jin |
| 2025 | AAAI | Risk Controlled Image Retrieval. | Kaiwen Cai, Chris Xiaoxuan Lu, Xingyu Zhao, Wei Huang, Xiaowei Huang |
| 2025 | AAAI | Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. | Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang |
| 2025 | AAAI | GNS: Solving Plane Geometry Problems by Neural-Symbolic Reasoning with Multi-Modal LLMs. | Maizhen Ning, Zihao Zhou, Qiufeng Wang, Xiaowei Huang, Kaizhu Huang |
| 2025 | AAAI | Towards Better Robustness Against Natural Corruptions in Document Tampering Localization. | Huiru Shao, Kaizhu Huang, Wei Wang, Xiaowei Huang, Qiufeng Wang |
| 2025 | AAAI | A Black-Box Evaluation Framework for Semantic Robustness in Bird's Eye View Detection. | Fu Wang, Yanghao Zhang, Xiangyu Yin, Guangliang Cheng, Zeyu Fu, Xiaowei Huang, Wenjie Ruan |
| 2025 | CogSci | Cognitive-Inspired Hierarchical Attention Fusion With Visual and Textual for Cross-Domain Sequential Recommendation. | Wangyu Wu, Zhenhong Chen, Siqi Song, Xianglin Qiu, Xiaowei Huang, Fei Ma, Jimin Xiao |
| 2025 | CVPR | SIDA: Social Media Image Deepfake Detection, Localization and Explanation with Large Multimodal Model. | Zhenglin Huang, Jinwei Hu, Xiangtai Li, Yiwei He, Xingyu Zhao, Bei Peng, Baoyuan Wu, Xiaowei Huang, Guangliang Cheng |
| 2025 | CVPR | Prompt Categories Cluster for Weakly Supervised Semantic Segmentation. | Wangyu Wu, Xianglin Qiu, Siqi Song, Zhenhong Chen, Xiaowei Huang, Fei Ma, Jimin Xiao |
| 2025 | EMNLP | Can GRPO Boost Complex Multimodal Table Understanding? | Xiaoqiang Kang, Shengen Wu, Zimu Wang, Yilin Liu, Xiaobo Jin, Kaizhu Huang, Wei Wang, Yutao Yue, Xiaowei Huang, Qiufeng Wang |
| 2025 | ICASSP | Projection Modules for Few-Shot Object Detection. | Benjamin Rise, Murat Uney, Xiaowei Huang |
| 2025 | ICASSP | Out-of-Distribution Detectors: Not Yet Primed for Practical Deployment. | Changshun Wu, Wendi Ding, Xiaowei Huang, Saddek Bensalem |
| 2025 | ICCV | Adversarial Training for Probabilistic Robustness. | Yi Zhang, Yuhang Chen, Zhen Chen, Wenjie Ruan, Xiaowei Huang, Siddartha Khastgir, Xingyu Zhao |
| 2025 | ICLR | ZeroDiff: Solidified Visual-semantic Correlation in Zero-Shot Learning. | Zihan Ye, Shreyank N. Gowda, Shiming Chen, Xiaowei Huang, Haotian Xu, Fahad Shahbaz Khan, Yaochu Jin, Kaizhu Huang, Xiaobo Jin |
| 2025 | ICLR | Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist. | Zihao Zhou, Shudong Liu, Maizhen Ning, Wei Liu, Jindong Wang, Derek F. Wong, Xiaowei Huang, Qiufeng Wang, Kaizhu Huang |
| 2025 | IROS | Mitigating Hallucinations in YOLO-based Object Detection Models: A Revisit to Out-of-Distribution Detection. | Weicheng He, Changshun Wu, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem |
| 2025 | ICSE | Patch Synthesis for Property Repair of Deep Neural Networks. | Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Jingyi Wang, Xiaowei Huang, Lijun Zhang |
| 2025 | PRICAI | Interpreting Safety: A LLM and STPA Approach. | Yi Qi, Shufeng Chen, Xiangyu Yin, Wenjie Ruan, Siddartha Khastgir, Ji Ruan, Xingyu Zhao, Xiaowei Huang |
| 2025 | WWW | Intelligent Welding System for Aluminum Coils by Adaptive Path Planning with Real-world Dataset. | Xiaowei Huang, Huanghuang Liang, Zhili He, Sihan Feng, Jiawei Jiang, Kanye Ye Wang, Chuang Hu, Dazhao Cheng |
| 2025 | WWW | Image Fusion for Cross-Domain Sequential Recommendation. | Wangyu Wu, Siqi Song, Xianglin Qiu, Xiaowei Huang, Fei Ma, Jimin Xiao |
| 2025 | WACV | Covariance-Based Space Regularization for Few-Shot Class Incremental Learning. | Yijie Hu, Guanyu Yang, Zhaorui Tan, Xiaowei Huang, Kaizhu Huang, Qiufeng Wang |
| 2025 | SiggraphA | DvD: Unleashing a Generative Paradigm for Document Dewarping via Coordinates-based Diffusion Model. | Weiguang Zhang, Huangcheng Lu, Maizhen Ning, Xiaowei Huang, Wei Wang, Kaizhu Huang, Qiufeng Wang |
| 2024 | AAAI | Reward Certification for Policy Smoothed Reinforcement Learning. | Ronghui Mu, Leandro Soriano Marcolino, Yanghao Zhang, Tianle Zhang, Xiaowei Huang, Wenjie Ruan |
| 2024 | AAAI | Representation-Based Robustness in Goal-Conditioned Reinforcement Learning. | Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan |
| 2024 | AAAI | MathAttack: Attacking Large Language Models towards Math Solving Ability. | Zihao Zhou, Qiufeng Wang, Mingyu Jin, Jie Yao, Jianan Ye, Wei Liu, Wei Wang, Xiaowei Huang, Kaizhu Huang |
| 2024 | ADMA | Detecting Fetal Growth Restriction in Early Pregnancy. | Yiheng Zhang, Ke Yu, Xiaowei Huang, Yunni Xia, Weiling Li |
| 2024 | CVPR | Towards Fairness-Aware Adversarial Learning. | Yanghao Zhang, Tianle Zhang, Ronghui Mu, Xiaowei Huang, Wenjie Ruan |
| 2024 | ECCV | Delving into Adversarial Robustness on Document Tampering Localization. | Huiru Shao, Zhuang Qian, Kaizhu Huang, Wei Wang, Xiaowei Huang, Qiufeng Wang |
| 2024 | ECCV | ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models Against Stochastic Perturbation. | Yi Zhang, Yun Tang, Wenjie Ruan, Xiaowei Huang, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao |
| 2024 | ICASSP | Exploiting Spatial-Temporal Data for Sleep Stage Classification via Hypergraph Learning. | Yuze Liu, Ziming Zhao, Tiehua Zhang, Kang Wang, Xin Chen, Xiaowei Huang, Jun Yin, Zhishu Shen |
| 2024 | ICASSP | Two-Stage Transfer Learning for Fusion and Classification of Airborne Hyperspectral Imagery. | Benjamin Rise, Murat Uney, Xiaowei Huang |
| 2024 | ICASSP | Image Augmentation with Controlled Diffusion for Weakly-Supervised Semantic Segmentation. | Wangyu Wu, Tianhong Dai, Xiaowei Huang, Fei Ma, Jimin Xiao |
| 2024 | ICML | Position: Building Guardrails for Large Language Models Requires Systematic Design. | Yi Dong, Ronghui Mu, Gaojie Jin, Yi Qi, Jinwei Hu, Xingyu Zhao, Jie Meng, Wenjie Ruan, Xiaowei Huang |
| 2024 | ICMLA | Analytically Determining the Robustness of Binarized Neural Networks. | Sahar M. Alzahrani, Sven Schewe, Chao Huang, Xiaowei Huang |
| 2024 | ICONIP | Data Augmentation for Continual RL via Adversarial Gradient Episodic Memory. | Sihao Wu, Xingyu Zhao, Xiaowei Huang |
| 2024 | IROS | BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection. | Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem |
| 2024 | SMC | Top-K Pooling with Patch Contrastive Learning for Weakly-Supervised Semantic Segmentation. | Wangyu Wu, Tianhong Dai, Xiaowei Huang, Fei Ma, Jimin Xiao |
| 2024 | SETTA | Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. | Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang |
| 2024 | TASE | DeepCDCL: A CDCL-based Neural Network Verification Framework. | Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang |
| 2023 | AAAI | Towards Verifying the Geometric Robustness of Large-Scale Neural Networks. | Fu Wang, Peipei Xu, Wenjie Ruan, Xiaowei Huang |
| 2023 | ACL | Learning by Analogy: Diverse Questions Generation in Math Word Problem. | Zihao Zhou, Maizhen Ning, Qiufeng Wang, Jie Yao, Wei Wang, Xiaowei Huang, Kaizhu Huang |
| 2023 | CVPR | Randomized Adversarial Training via Taylor Expansion. | Gaojie Jin, Xinping Yi, Dengyu Wu, Ronghui Mu, Xiaowei Huang |
| 2023 | ICASSP | Sora: Scalable Black-Box Reachability Analyser on Neural Networks. | Peipei Xu, Fu Wang, Wenjie Ruan, Chi Zhang, Xiaowei Huang |
| 2023 | ICCV | SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability. | Wei Huang, Xingyu Zhao, Gaojie Jin, Xiaowei Huang |
| 2023 | ICMLC | Robust Bayesian Abstraction of Neural Networks. | Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang |
| 2023 | ICONIP | Progressive Supervision for Tampering Localization in Document Images. | Huiru Shao, Kaizhu Huang, Wei Wang, Xiaowei Huang, Qiufeng Wang |
| 2023 | PAKDD | Model-Agnostic Reachability Analysis on Deep Neural Networks. | Chi Zhang, Wenjie Ruan, Fu Wang, Peipei Xu, Geyong Min, Xiaowei Huang |
| 2023 | VECoS | What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. | Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao |
| 2023 | VECoS | Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. | Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Knighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu |
| 2022 | AAAI | Quantifying the Importance of Latent Features in Neural Networks. | Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang |
| 2022 | AAAI | EnnCore: End-to-End Conceptual Guarding of Neural Architectures. | Edoardo Manino, Danilo S. Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, Andr Freitas, Gavin Brown, Mikel Lujn, Xiaowei Huang, Lucas C. Cordeiro |
| 2022 | CAV | Formal Specification for Learning-Enabled Autonomous Systems. | Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled |
| 2022 | CVPR | Enhancing Adversarial Training with Second-Order Statistics of Weights. | Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang |
| 2022 | ECCV | Adversarial Label Poisoning Attack on Graph Neural Networks via Label Propagation. | Ganlin Liu, Xiaowei Huang, Xinping Yi |
| 2022 | ICFEM | Bridging Formal Methods and Machine Learning with Global Optimisation. | Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao |
| 2022 | IJCAI | A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. | Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang |
| 2022 | IROS | STUN: Self-Teaching Uncertainty Estimation for Place Recognition. | Kaiwen Cai, Chris Xiaoxuan Lu, Xiaowei Huang |
| 2022 | IROS | Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking. | Yi Dong, Xingyu Zhao, Xiaowei Huang |
| 2022 | KR | A Graph Neural Network Reasoner for Game Description Language. | Alvaro Gunawan, Ji Ruan, Xiaowei Huang |
| 2021 | BMVC | BI-GCN: Boundary-Aware Input-Dependent Graph Convolution Network for Biomedical Image Segmentation. | Yanda Meng, Hongrun Zhang, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Xuesheng Qian, Xiaowei Huang, Yalin Zheng |
| 2021 | CIKM | Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications. | Wenjie Ruan, Xinping Yi, Xiaowei Huang |
| 2021 | DSN | Detecting Operational Adversarial Examples for Reliable Deep Learning. | Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang |
| 2021 | ICANN | Statistical Certification of Acceptable Robustness for Neural Networks. | Chengqiang Huang, Hu Zheng, Xiaowei Huang, Ke Pei |
| 2021 | ICCV | Spatial Uncertainty-Aware Semi-Supervised Crowd Counting. | Yanda Meng, Hongrun Zhang, Yitian Zhao, Xiaoyun Yang, Xuesheng Qian, Xiaowei Huang, Yalin Zheng |
| 2021 | ICONIP | A Segment-Based Layout Aware Model for Information Extraction on Document Images. | Maizhen Ning, Qiu-Feng Wang, Kaizhu Huang, Xiaowei Huang |
| 2021 | IJCAI | Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. | Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang |
| 2021 | UAI | BayLIME: Bayesian local interpretable model-agnostic explanations. | Xingyu Zhao, Wei Huang, Xiaowei Huang, Valentin Robu, David Flynn |
| 2020 | CCS | Forensic Analysis in Access Control: Foundations and a Case-Study from Practice. | Nahid Juma, Xiaowei Huang, Mahesh Tripunitara |
| 2020 | ECCV | Regression of Instance Boundary by Aggregated CNN and GCN. | Yanda Meng, Wei Meng, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Xiaowei Huang, Yalin Zheng |
| 2020 | ECCV | Explaining Image Classifiers Using Statistical Fault Localization. | Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening |
| 2020 | ICDM | Generalizing Universal Adversarial Attacks Beyond Additive Perturbations. | Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang |
| 2020 | INDIN | Maximum Power Point Tracking of Photovoltaic Systems Using Deep Q-networks. | Kangshi Wang, Dou Hong, Jieming Ma, Ka Lok Man, Kaizhu Huang, Xiaowei Huang |
| 2020 | IROS | Practical Verification of Neural Network Enabled State Estimation System for Robotics. | Wei Huang, Yifan Zhou, Youcheng Sun, James Sharp, Simon Maskell, Xiaowei Huang |
| 2020 | ICRA | Reliability Validation of Learning Enabled Vehicle Tracking. | Youcheng Sun, Yifan Zhou, Simon Maskell, James Sharp, Xiaowei Huang |
| 2020 | MICCAI | CNN-GCN Aggregation Enabled Boundary Regression for Biomedical Image Segmentation. | Yanda Meng, Meng Wei, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Xiaowei Huang, Yalin Zheng |
| 2020 | SAFECOMP | A Safety Framework for Critical Systems Utilising Deep Neural Networks. | Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang |
| 2019 | IJCAI | Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. | Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska |
| 2019 | IROS | Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. | Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska |
| 2019 | ICSE | DeepConcolic: testing and debugging deep neural networks. | Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore |
| 2019 | ICSE | Structural test coverage criteria for deep neural networks. | Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore |
| 2019 | SAS | Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. | Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang |
| 2019 | SEFM | Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. | Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando |
| 2018 | IJCAI | Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. | Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang |
| 2018 | IJCAI | Reachability Analysis of Deep Neural Networks with Provable Guarantees. | Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska |
| 2018 | TACAS | Feature-Guided Black-Box Safety Testing of Deep Neural Networks. | Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska |
| 2017 | AAAI | Reasoning about Cognitive Trust in Stochastic Multiagent Systems. | Xiaowei Huang, Marta Zofia Kwiatkowska |
| 2017 | AI | Quantified Coalition Logic of Knowledge, Belief and Certainty. | Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar |
| 2017 | CAV | Safety Verification of Deep Neural Networks. | Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu |
| 2017 | IJCAI | ATL Strategic Reasoning Meets Correlated Equilibrium. | Xiaowei Huang, Ji Ruan |
| 2016 | AAAI | Strengthening Agents Strategic Ability with Communication. | Xiaowei Huang, Qingliang Chen, Kaile Su |
| 2016 | AAAI | Model Checking Probabilistic Knowledge: A PSPACE Case. | Xiaowei Huang, Marta Kwiatkowska |
| 2016 | IJCAI | Reconfigurability in Reactive Multiagent Systems. | Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su |
| 2016 | IJCAI | Normative Multiagent Systems: The Dynamic Generalization. | Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su |
| 2015 | IJCAI | The Complexity of Model Checking Succinct Multiagent Systems. | Xiaowei Huang, Qingliang Chen, Kaile Su |
| 2014 | AAAI | Symbolic Model Checking Epistemic Strategy Logic. | Xiaowei Huang, Ron van der Meyden |
| 2014 | KR | A Temporal Logic of Strategic Knowledge. | Xiaowei Huang, Ron van der Meyden |
| 2014 | TACAS | Symbolic Synthesis for Epistemic Specifications with Observational Semantics. | Xiaowei Huang, Ron van der Meyden |
| 2013 | TARK | Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics. | Xiaowei Huang, Ron van der Meyden |
| 2012 | AAAI | Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games. | Xiaowei Huang, Ron van der Meyden |
| 2012 | AAAI | Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. | Xiaowei Huang, Kaile Su, Chenyi Zhang |
| 2011 | IJCAI | Model Checking Knowledge in Pursuit Evasion Games. | Xiaowei Huang, Patrick Maupin, Ron van der Meyden |
| 2011 | TARK | Symbolic model checking of probabilistic knowledge. | Xiaowei Huang, Cheng Luo, Ron van der Meyden |
| 2010 | ECAI | The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. | Xiaowei Huang, Ron van der Meyden |
| 2007 | ICICS | What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security. | Xiaowei Huang, Li Jiao, Weiming Lu |
| 2007 | TASE | A Semantic Preorder on Refinement and Fairness. | Xiaowei Huang, Li Jiao, Weiming Lu |