| 2026 | ACL | Teaching LLM to be Persuasive: Reward-Enhanced Policy Optimization for Alignment from Heterogeneous Rewards. | Xia Zeng, Yihan Chen, Luhui Liu, Chao Luo, Ye Chen, Zhuoran Zhuang |
| 2026 | FM | Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification. | Niuniu Qi, Hanrui Zhao, Zhengfeng Yang, Xia Zeng, Mengxin Ren, Chao Peng, Zhiming Liu |
| 2025 | CVPR | Automated Proof of Polynomial Inequalities via Reinforcement Learning. | Banglong Liu, Niuniu Qi, Xia Zeng, Lydia Dehbi, Zhengfeng Yang |
| 2025 | DAC | Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates. | Xia Zeng, Mengxin Ren, Zhiming Liu, Zhengfeng Yang |
| 2025 | QRS | AEM: A Comprehensive Platform Integrating Software Engineering Development and Process Management. | Na Li, Xia Zeng, Dongdong Gao, Boyuan Xie, Shuqi Li |
| 2024 | DAC | Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation. | Xia Zeng, Banglong Liu, Zhenbing Zeng, Zhiming Liu, Zhengfeng Yang |
| 2024 | DAC | Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning. | Hanrui Zhao, Niuniu Qi, Mengxin Ren, Xia Zeng, Zhenbing Zeng, Zhengfeng Yang |
| 2024 | EACL | MAPLE: Micro Analysis of Pairwise Language Evolution for Few-Shot Claim Verification. | Xia Zeng, Arkaitz Zubiaga |
| 2024 | SIGIR | Combining Large Language Models and Crowdsourcing for Hybrid Human-AI Misinformation Detection. | Xia Zeng, David La Barbera, Kevin Roitero, Arkaitz Zubiaga, Stefano Mizzaro |
| 2023 | AAAI | Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers. | Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu |
| 2023 | CAV | Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. | Zhengfeng Yang, Li Zhang, Xia Zeng, Xiaochao Tang, Chao Peng, Zhenbing Zeng |
| 2023 | DAC | Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning. | Hanrui Zhao, Xia Zeng, Niuniu Qi, Zhengfeng Yang, Zhenbing Zeng |
| 2023 | EACL | Active PETs: Active Data Annotation Prioritisation for Few-Shot Claim Verification with Pattern Exploiting Training. | Xia Zeng, Arkaitz Zubiaga |
| 2022 | ACCV | An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks. | Hao Xue, Xia Zeng, Wang Lin, Zhengfeng Yang, Chao Peng, Zhenbing Zeng |
| 2021 | CAV | An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation. | Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu |
| 2021 | ISSTA | GUIDER: GUI structure and vision co-guided test script repair for Android apps. | Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, Xuandong Li |
| 2020 | SETTA | Learning Safe Neural Network Controllers with Barrier Certificates. | Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock |
| 2017 | ICSE | Automated Test Input Generation for Android: Towards Getting There in an Industrial Case. | Haibing Zheng, Dengfeng Li, Beihai Liang, Xia Zeng, Wujie Zheng, Yuetang Deng, Wing Lam, Wei Yang, Tao Xie |
| 2016 | EMSOFT | Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. | Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang |