Xia Zeng

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 30

Top Topics

Nonlinear Systems

Binary Classification

Top Venues

EACL (Findings)

ACM Trans. Embed. Comput. Syst.

Publications

Xia Zeng, David La Barbera, Kevin Roitero, Arkaitz Zubiaga, Stefano Mizzaro
Combining Large Language Models and Crowdsourcing for Hybrid Human-AI Misinformation Detection. SIGIR (2024)
Xia Zeng, Arkaitz Zubiaga
MAPLE: Micro Analysis of Pairwise Language Evolution for Few-Shot Claim Verification. EACL (Findings) (2024)
Xia Zeng, Arkaitz Zubiaga
MAPLE: Micro Analysis of Pairwise Language Evolution for Few-Shot Claim Verification. CoRR (2024)
Xia Zeng, Arkaitz Zubiaga
Active PETs: Active Data Annotation Prioritisation for Few-Shot Claim Verification with Pattern Exploiting Training. EACL (Findings) (2023)
Zhengfeng Yang, Li Zhang, Xia Zeng, Xiaochao Tang, Chao Peng, Zhenbing Zeng
Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints. CAV (1) (2023)
Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers. AAAI (2023)
Hanrui Zhao, Xia Zeng, Niuniu Qi, Zhengfeng Yang, Zhenbing Zeng
Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning. DAC (2023)
Hanrui Zhao, Niuniu Qi, Lydia Dehbi, Xia Zeng, Zhengfeng Yang
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Hao Xue, Xia Zeng, Wang Lin, Zhengfeng Yang, Chao Peng, Zhenbing Zeng
An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks. ACCV (1) (2022)
Xia Zeng, Arkaitz Zubiaga
Active PETs: Active Data Annotation Prioritisation for Few-Shot Claim Verification with Pattern Exploiting Training. CoRR (2022)
Xia Zeng, Chuanchuan Yang, Bin Dai
Utility-Privacy Trade-Off in Distributed Machine Learning Systems. Entropy 24 (9) (2022)
Xia Zeng, Arkaitz Zubiaga
Aggregating pairwise semantic differences for few-shot claim verification. PeerJ Comput. Sci. 8 (2022)
Hengjun Zhao, Quanzhong Li, Xia Zeng, Zhiming Liu
Safe Reinforcement Learning Algorithm and Its Application in Intelligent Control for CPS. Int. J. Softw. Informatics 12 (4) (2022)
Xia Zeng, Arkaitz Zubiaga
Aggregating Pairwise Semantic Differences for Few-Shot Claim Veracity Classification. CoRR (2022)
Xia Zeng, Amani S. Abumansour, Arkaitz Zubiaga
Automated fact-checking: A survey. Lang. Linguistics Compass 15 (10) (2021)
Xia Zeng, Arkaitz Zubiaga
QMUL-SDS at SCIVER: Step-by-Step Binary Classification for Scientific Claim Verification. CoRR (2021)
Xia Zeng, Amani S. Abumansour, Arkaitz Zubiaga
Automated Fact-Checking: A Survey. CoRR (2021)
Lei Ding, Xia Zeng
Application of Decision Tree Model Based on C4.5 Algorithm in Nursing Quality Management Evaluation. J. Medical Imaging Health Informatics 11 (9) (2021)
Zhengfeng Yang, Yidan Zhang, Wang Lin, Xia Zeng, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu
An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation. CAV (1) (2021)
Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Tian Zhang, Yuetang Deng, Xuandong Li
GUIDER: GUI structure and vision co-guided test script repair for Android apps. ISSTA (2021)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
Learning safe neural network controllers with barrier certificates. Formal Aspects Comput. 33 (3) (2021)
Changxia Sun, Yi Liu, Xia Zeng, Haiping Si
Provable secure attribute-based proxy signature. J. Intell. Fuzzy Syst. 38 (1) (2020)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu
Synthesizing barrier certificates using neural networks. HSCC (2020)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
Learning Safe Neural Network Controllers with Barrier Certificates. SETTA (2020)
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
Learning Safe Neural Network Controllers with Barrier Certificates. CoRR (2020)
Linyi Li, Zhenwen Li, Weijie Zhang, Jun Zhou, Pengcheng Wang, Jing Wu, Guanghua He, Xia Zeng, Yuetang Deng, Tao Xie
Clustering test steps in natural language toward automating test automation. ESEC/SIGSOFT FSE (2020)
Xia Zeng, Wang Lin, Zhengfeng Yang, Zhenbing Zeng
Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation. Sci. China Inf. Sci. 60 (3) (2017)
Haibing Zheng, Dengfeng Li, Beihai Liang, Xia Zeng, Wujie Zheng, Yuetang Deng, Wing Lam, Wei Yang, Tao Xie
Automated Test Input Generation for Android: Towards Getting There in an Industrial Case. ICSE-SEIP (2017)
Xia Zeng, Dengfeng Li, Wujie Zheng, Fan Xia, Yuetang Deng, Wing Lam, Wei Yang, Tao Xie
Automated test input generation for Android: are we really there yet in an industrial case? SIGSOFT FSE (2016)
Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. EMSOFT (2016)
Jian Liu, Min Tang, Xia Zeng, Zhenbing Zeng
初等函数可验证赋值及误差分析 (Validated Evaluation and Error Analysis of Elementary Functions). 计算机科学 42 (4) (2015)
Min Tang, Xia Zeng, Kai Song, Jian Liu
Error Analysis on Floating-Point Arithmetic in C Programming Language Library Functions. EIDWT (2013)
Suchendra M. Bhandarkar, Xia Zeng
Evolutionary Approaches to Figure-Ground Separation. Appl. Intell. 11 (2) (1999)
Suchendra M. Bhandarkar, Xia Zeng
Evolutionary computation for figure-ground separation. ICNN (1997)
Suchendra M. Bhandarkar, Xia Zeng
Figure-Ground Separation: A Case Study in Energy Minimization via Evolutionary Computing. EMMCVPR (1997)