Xiaowei Huang

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 158

Top Venues

Publications

Zihao Zhou, Qiufeng Wang, Mingyu Jin, Jie Yao, Jianan Ye, Wei Liu, Wei Wang, Xiaowei Huang, Kaizhu Huang
MathAttack: Attacking Large Language Models towards Math Solving Ability. AAAI (2024)
Jiaxu Liu, Xiangyu Yin, Sihao Wu, Jianhong Wang, Meng Fang, Xinping Yi, Xiaowei Huang
Tiny Refinements Elicit Resilience: Toward Efficient Prefix-Model Against LLM Red-Teaming. CoRR (2024)
Yi Dong, Ronghui Mu, Yanghao Zhang, Siqi Sun, Tianle Zhang, Changshun Wu, Gaojie Jin, Yi Qi, Jinwei Hu, Jie Meng, Saddek Bensalem, Xiaowei Huang
Safeguarding Large Language Models: A Survey. CoRR (2024)
Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang
Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. CoRR (2024)
Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu, André Freitas, Mustafa A. Mustafa
A survey of safety and trustworthiness of large language models through the lens of verification and validation. Artif. Intell. Rev. 57 (7) (2024)
Wangyu Wu, Tianhong Dai, Zhenhong Chen, Xiaowei Huang, Fei Ma, Jimin Xiao
APC: Adaptive Patch Contrast for Weakly Supervised Semantic Segmentation. CoRR (2024)
Gaojie Jin, Ronghui Mu, Xinping Yi, Xiaowei Huang, Lijun Zhang
Invariant Correlation of Representation with Label. CoRR (2024)
Yi Dong, Xingyu Zhao, Sen Wang, Xiaowei Huang
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems. IEEE Robotics Autom. Lett. 9 (4) (2024)
Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang
DeepCDCL: A CDCL-based Neural Network Verification Framework. TASE (2024)
Ronghui Mu, Leandro Soriano Marcolino, Yanghao Zhang, Tianle Zhang, Xiaowei Huang, Wenjie Ruan
Reward Certification for Policy Smoothed Reinforcement Learning. AAAI (2024)
Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang
DeepCDCL: An CDCL-based Neural Network Verification Framework. CoRR (2024)
Zihao Zhou, Shudong Liu, Maizhen Ning, Wei Liu, Jindong Wang, Derek F. Wong, Xiaowei Huang, Qiufeng Wang, Kaizhu Huang
Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist. CoRR (2024)
Zhen Chen, Fu Wang, Ronghui Mu, Peipei Xu, Xiaowei Huang, Wenjie Ruan
Nrat: towards adversarial training with inherent label noise. Mach. Learn. 113 (6) (2024)
Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang
Hierarchical Distribution-aware Testing of Deep Learning. ACM Trans. Softw. Eng. Methodol. 33 (2) (2024)
Dengyu Wu, Yi Qi, Kaiwen Cai, Gaojie Jin, Xinping Yi, Xiaowei Huang
Direct Training Needs Regularisation: Anytime Optimal Inference Spiking Neural Network. CoRR (2024)
Wangyu Wu, Tianhong Dai, Xiaowei Huang, Fei Ma, Jimin Xiao
Image Augmentation with Controlled Diffusion for Weakly-Supervised Semantic Segmentation. ICASSP (2024)
Yijie Hu, Bin Dong, Kaizhu Huang, Lei Ding, Wei Wang, Xiaowei Huang, Qiu-Feng Wang
Scene Text Recognition via Dual-path Network with Shape-driven Attention Alignment. ACM Trans. Multim. Comput. Commun. Appl. 20 (4) (2024)
Yi Dong, Yingjie Wang, Mariana Gama, Mustafa A. Mustafa, Geert Deconinck, Xiaowei Huang
Privacy-Preserving Distributed Learning for Residential Short-Term Load Forecasting. CoRR (2024)
Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan
Representation-Based Robustness in Goal-Conditioned Reinforcement Learning. AAAI (2024)
Yi Dong, Yingjie Wang, Mariana Gama, Mustafa A. Mustafa, Geert Deconinck, Xiaowei Huang
Privacy-Preserving Distributed Learning for Residential Short-Term Load Forecasting. IEEE Internet Things J. 11 (9) (2024)
Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao
Bridging formal methods and machine learning with model checking and global optimisation. J. Log. Algebraic Methods Program. 137 (2024)
Wei Huang, Yifan Zhou, Gaojie Jin, Youcheng Sun, Jie Meng, Fan Zhang, Xiaowei Huang
Formal verification of robustness and resilience of learning-enabled state estimation systems. Neurocomputing 585 (2024)
Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem
BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection. CoRR (2024)
Youpeng Yang, Sanghyuk Lee, Haolan Zhang, Xiaowei Huang, Witold Pedrycz
Negative Hesitation Fuzzy Sets and Their Application to Pattern Recognition. IEEE Trans. Fuzzy Syst. 32 (4) (2024)
Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Xiaowei Huang, Lijun Zhang
ADVREPAIR: Provable Repair of Adversarial Attack. CoRR (2024)
Yanghao Zhang, Tianle Zhang, Ronghui Mu, Xiaowei Huang, Wenjie Ruan
Towards Fairness-Aware Adversarial Learning. CoRR (2024)
Jiaxu Liu, Xinping Yi, Sihao Wu, Xiangyu Yin, Tianle Zhang, Xiaowei Huang, Shi Jin
Continuous Geometry-Aware Graph Diffusion via Hyperbolic Neural PDE. CoRR (2024)
Yi Zhang, Yun Tang, Wenjie Ruan, Xiaowei Huang, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao
ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation. CoRR (2024)
Yi Qi, Xingyu Zhao, Xiaowei Huang
Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT. CoRR (2023)
Yi Dong, Yang Chen, Xingyu Zhao, Xiaowei Huang
Short-term Load Forecasting with Distributed Long Short-Term Memory. ISGT (2023)
Kaiwen Cai, Chris Xiaoxuan Lu, Xingyu Zhao, Xiaowei Huang
Risk Controlled Image Retrieval. CoRR (2023)
Huiru Shao, Kaizhu Huang, Wei Wang, Xiaowei Huang, Qiufeng Wang
Progressive Supervision for Tampering Localization in Document Images. ICONIP (15) (2023)
Jiaxu Liu, Xinping Yi, Xiaowei Huang
DeepHGCN: Toward Deeper Hyperbolic Graph Convolutional Networks. CoRR (2023)
Jiaxu Liu, Xinping Yi, Tianle Zhang, Xiaowei Huang
Symplectic Structure-Aware Hamiltonian (Graph) Embeddings. CoRR (2023)
Maizhen Ning, Qiu-Feng Wang, Kaizhu Huang, Xiaowei Huang
A Symbolic Character-Aware Model for Solving Geometry Problems. CoRR (2023)
Chi Zhang, Wenjie Ruan, Fu Wang, Peipei Xu, Geyong Min, Xiaowei Huang
Model-Agnostic Reachability Analysis on Deep Neural Networks. PAKDD (1) (2023)
Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
Robust Bayesian Abstraction of Neural Networks. ICMLC (2023)
Fu Wang, Peipei Xu, Wenjie Ruan, Xiaowei Huang
Towards Verifying the Geometric Robustness of Large-scale Neural Networks. CoRR (2023)
Zihao Zhou, Qiufeng Wang, Mingyu Jin, Jie Yao, Jianan Ye, Wei Liu, Wei Wang, Xiaowei Huang, Kaizhu Huang
MathAttack: Attacking Large Language Models Towards Math Solving Ability. CoRR (2023)
Yi Qi, Yi Dong, Xingyu Zhao, Xiaowei Huang
STPA for Learning-Enabled Systems: A Survey and A New Method. CoRR (2023)
Yanda Meng, Joshua Bridge, Yitian Zhao, Martha Joddrell, Yihong Qiao, Xiaoyun Yang, Xiaowei Huang, Yalin Zheng
Transportation Object Counting With Graph-Based Adaptive Auxiliary Learning. IEEE Trans. Intell. Transp. Syst. 24 (3) (2023)
Peipei Xu, Fu Wang, Wenjie Ruan, Chi Zhang, Xiaowei Huang
Sora: Scalable Black-Box Reachability Analyser on Neural Networks. ICASSP (2023)
Maizhen Ning, Qiu-Feng Wang, Kaizhu Huang, Xiaowei Huang
A Symbolic Characters Aware Model for Solving Geometry Problems. ACM Multimedia (2023)
Zihao Zhou, Maizhen Ning, Qiufeng Wang, Jie Yao, Wei Wang, Xiaowei Huang, Kaizhu Huang
Learning by Analogy: Diverse Questions Generation in Math Word Problem. CoRR (2023)
Yi Dong, Wei Huang, Vibhav Bharti, Victoria Cox, Alec Banks, Sen Wang, Xingyu Zhao, Sven Schewe, Xiaowei Huang
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. ACM Trans. Embed. Comput. Syst. 22 (3) (2023)
Yi Qi, Yi Dong, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao, Xiaowei Huang
STPA for Learning-Enabled Systems: A Survey and A New Practice. ITSC (2023)
Kaiwen Cai, Chris Xiaoxuan Lu, Xiaowei Huang
Uncertainty Estimation for 3D Dense Prediction via Cross-Point Embeddings. IEEE Robotics Autom. Lett. 8 (5) (2023)
Yi Dong, Zhongguo Li, Xingyu Zhao, Zhengtao Ding, Xiaowei Huang
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation. AAMAS (2023)
Yi Dong, Zhongguo Li, Xingyu Zhao, Zhengtao Ding, Xiaowei Huang
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation. CoRR (2023)
Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang
Model Checking for Probabilistic Multiagent Systems. J. Comput. Sci. Technol. 38 (5) (2023)
Chi Zhang, Wenjie Ruan, Fu Wang, Peipei Xu, Geyong Min, Xiaowei Huang
Model-Agnostic Reachability Analysis on Deep Neural Networks. CoRR (2023)
Zihao Zhou, Maizhen Ning, Qiufeng Wang, Jie Yao, Wei Wang, Xiaowei Huang, Kaizhu Huang
Learning by Analogy: Diverse Questions Generation in Math Word Problem. ACL (Findings) (2023)
Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
Weight-based Semantic Testing Approach for Deep Neural Networks. AISafety/SafeRL@IJCAI (2023)
Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang
Generalizing universal adversarial perturbations for deep neural networks. Mach. Learn. 112 (5) (2023)
Gaojie Jin, Xinping Yi, Xiaowei Huang
Neuronal Correlation: a Central Concept in Neural Network. CoRR (2022)
Yi Dong, Xingyu Zhao, Sen Wang, Xiaowei Huang
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems. CoRR (2022)
Wei Huang, Xingyu Zhao, Alec Banks, Victoria Cox, Xiaowei Huang
Hierarchical Distribution-Aware Testing of Deep Learning. CoRR (2022)
Tao Yue, Paolo Arcaini, Ji Wu, Xiaowei Huang
Editorial to theme section on open environmental software systems modeling. Softw. Syst. Model. 21 (4) (2022)
Yanda Meng, Hongrun Zhang, Yitian Zhao, Xiaoyun Yang, Yihong Qiao, Ian J. C. MacCormick, Xiaowei Huang, Yalin Zheng
Graph-Based Region and Boundary Aggregation for Biomedical Image Segmentation. IEEE Trans. Medical Imaging 41 (3) (2022)
Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
Quantifying the Importance of Latent Features in Neural Networks. SafeAI@AAAI (2022)
Yanda Meng, Xu Chen, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Yihong Qiao, Xiaowei Huang, Yalin Zheng
3D Dense Face Alignment with Fused Features by Aggregating CNNs and GCNs. CoRR (2022)
Wei Huang, Xingyu Zhao, Xiaowei Huang
Embedding and extraction of knowledge in tree ensemble classifiers. Mach. Learn. 111 (5) (2022)
Yi Dong, Xingyu Zhao, Xiaowei Huang
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking. IROS (2022)
Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang
Enhancing Adversarial Training with Second-Order Statistics of Weights. CVPR (2022)
Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang
Coverage-Guided Testing for Recurrent Neural Networks. IEEE Trans. Reliab. 71 (3) (2022)
Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang
Weight Expansion: A New Perspective on Dropout and Generalization. Trans. Mach. Learn. Res. 2022 (2022)
Alvaro Gunawan, Ji Ruan, Xiaowei Huang
A Graph Neural Network Reasoner for Game Description Language. AAMAS (2022)
Edoardo Manino, Danilo Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, André Freitas, Gavin Brown, Mikel Lujan, Xiaowei Huang, Lucas C. Cordeiro
EnnCore: End-to-End Conceptual Guarding of Neural Architectures. SafeAI@AAAI (2022)
Wei Huang, Xingyu Zhao, Gaojie Jin, Xiaowei Huang
SAFARI: Versatile and Efficient Evaluations for Robustness of Interpretability. CoRR (2022)
Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang
Enhancing Adversarial Training with Second-Order Statistics of Weights. CoRR (2022)
Xiaowei Huang, Bei Peng, Xingyu Zhao
Dependable learning-enabled multiagent systems. AI Commun. 35 (4) (2022)
Dingyuan Zheng, Jimin Xiao, Ke Chen, Xiaowei Huang, Lin Chen, Yao Zhao
Soft pseudo-Label shrinkage for unsupervised domain adaptive person re-identification. Pattern Recognit. 127 (2022)
Yi Dong, Yang Chen, Xingyu Zhao, Xiaowei Huang
Short-term Load Forecasting with Distributed Long Short-Term Memory. CoRR (2022)
Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. CoRR (2022)
Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao
Bridging Formal Methods and Machine Learning with Global Optimisation. ICFEM (2022)
Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. AISafety@IJCAI (2022)
Alvaro Gunawan, Ji Ruan, Xiaowei Huang
A Graph Neural Network Reasoner for Game Description Language. KR (2022)
Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. Formal Aspects Comput. 33 (3) (2021)
Xingyu Zhao, Wei Huang, Xiaowei Huang, Valentin Robu, David Flynn
BayLIME: Bayesian local interpretable model-agnostic explanations. UAI (2021)
Xingyu Zhao, Wei Huang, Vibhav Bharti, Yi Dong, Victoria Cox, Alec Banks, Sen Wang, Sven Schewe, Xiaowei Huang
Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems. CoRR (2021)
Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10 (2) (2021)
Yanda Meng, Hongrun Zhang, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Xuesheng Qian, Xiaowei Huang, Yalin Zheng
BI-GCN: Boundary-Aware Input-Dependent Graph Convolution Network for Biomedical Image Segmentation. CoRR (2021)
Nicolas Berthier, Amany Alshareef, James Sharp, Sven Schewe, Xiaowei Huang
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features. CoRR (2021)
Yanda Meng, Hongrun Zhang, Yitian Zhao, Xiaoyun Yang, Xuesheng Qian, Xiaowei Huang, Yalin Zheng
Spatial Uncertainty-Aware Semi-Supervised Crowd Counting. ICCV (2021)
Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. AISafety@IJCAI (2021)
Wenjie Ruan, Xinping Yi, Xiaowei Huang
Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications. CoRR (2021)
Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang
Detecting Operational Adversarial Examples for Reliable Deep Learning. DSN (Supplements) (2021)
Nicolas Berthier, Youcheng Sun, Wei Huang, Yanghao Zhang, Wenjie Ruan, Xiaowei Huang
Tutorials on Testing Neural Networks. CoRR (2021)
Dengyu Wu, Xinping Yi, Xiaowei Huang
A Little Energy Goes a Long Way: Energy-Efficient, Accurate Conversion from Convolutional Neural Networks to Spiking Neural Networks. CoRR (2021)
Yanda Meng, Hongrun Zhang, Yitian Zhao, Xiaoyun Yang, Xuesheng Qian, Xiaowei Huang, Yalin Zheng
Spatial Uncertainty-Aware Semi-Supervised Crowd Counting. CoRR (2021)
Yanda Meng, Hongrun Zhang, Dongxu Gao, Yitian Zhao, Xiaoyun Yang, Xuesheng Qian, Xiaowei Huang, Yalin Zheng
BI-GCN: Boundary-Aware Input-Dependent Graph Convolution Network for Biomedical Image Segmentation. BMVC (2021)
Maizhen Ning, Qiu-Feng Wang, Kaizhu Huang, Xiaowei Huang
A Segment-Based Layout Aware Model for Information Extraction on Document Images. ICONIP (5) (2021)
Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang
Detecting Operational Adversarial Examples for Reliable Deep Learning. CoRR (2021)
Yi Dong, Xingyu Zhao, Xiaowei Huang
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems. CoRR (2021)
Wenjie Ruan, Xinping Yi, Xiaowei Huang
Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications. CIKM (2021)
Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. CoRR (2021)
Xingyu Zhao, Alec Banks, James Sharp, Valentin Robu, David Flynn, Michael Fisher, Xiaowei Huang
A Safety Framework for Critical Systems Utilising Deep Neural Networks. CoRR (2020)
Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska
A game-based approximate verification of deep neural networks with provable guarantees. Theor. Comput. Sci. 807 (2020)
Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang
Generalizing Universal Adversarial Attacks Beyond Additive Perturbations. ICDM (2020)
Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang
Generalizing Universal Adversarial Attacks Beyond Additive Perturbations. CoRR (2020)

Xiaowei Huang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xiaowei Huang