Xia Zeng

According to our database, Xia Zeng authored at least 29 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

MAPLE: Micro Analysis of Pairwise Language Evolution for Few-Shot Claim Verification.

Xia Zeng, Arkaitz Zubiaga

Proceedings of the Findings of the Association for Computational Linguistics: EACL 2024, 2024

2023

Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning.

Hanrui Zhao, Niuniu Qi, Lydia Dehbi, Xia Zeng, Zhengfeng Yang

ACM Trans. Embed. Comput. Syst., October, 2023

Active PETs: Active Data Annotation Prioritisation for Few-Shot Claim Verification with Pattern Exploiting Training.

Xia Zeng, Arkaitz Zubiaga

Proceedings of the Findings of the Association for Computational Linguistics: EACL 2023, 2023

Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning.

Hanrui Zhao, Xia Zeng, Niuniu Qi, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints.

Zhengfeng Yang, Li Zhang, Xia Zeng, Xiaochao Tang, Chao Peng, Zhenbing Zeng

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers.

Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Aggregating pairwise semantic differences for few-shot claim verification.

Xia Zeng, Arkaitz Zubiaga

PeerJ Comput. Sci., 2022

Safe Reinforcement Learning Algorithm and Its Application in Intelligent Control for CPS.

Hengjun Zhao, Quanzhong Li, Xia Zeng, Zhiming Liu

Int. J. Softw. Informatics, 2022

Utility-Privacy Trade-Off in Distributed Machine Learning Systems.

Xia Zeng, Chuanchuan Yang, Bin Dai

Entropy, 2022

Aggregating Pairwise Semantic Differences for Few-Shot Claim Veracity Classification.

Xia Zeng, Arkaitz Zubiaga

CoRR, 2022

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

Proceedings of the Computer Vision - ACCV 2022, 2022

2021

Automated fact-checking: A survey.

Xia Zeng, Amani S. Abumansour, Arkaitz Zubiaga

Lang. Linguistics Compass, 2021

Application of Decision Tree Model Based on C4.5 Algorithm in Nursing Quality Management Evaluation.

Lei Ding, Xia Zeng

J. Medical Imaging Health Informatics, 2021

Learning safe neural network controllers with barrier certificates.

Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock

Formal Aspects Comput., 2021

QMUL-SDS at SCIVER: Step-by-Step Binary Classification for Scientific Claim Verification.

Xia Zeng, Arkaitz Zubiaga

CoRR, 2021

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

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

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

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Provable secure attribute-based proxy signature.

Changxia Sun, Yi Liu, Xia Zeng, Haiping Si

J. Intell. Fuzzy Syst., 2020

Clustering test steps in natural language toward automating test automation.

Linyi Li, Zhenwen Li, Weijie Zhang, Jun Zhou, Pengcheng Wang, Jing Wu, Guanghua He, Xia Zeng, Yuetang Deng, Tao Xie

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Synthesizing barrier certificates using neural networks.

Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

2017

Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation.

Xia Zeng, Wang Lin, Zhengfeng Yang, Zhenbing Zeng

Sci. China Inf. Sci., 2017

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

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice Track, 2017

2016

Automated test input generation for Android: are we really there yet in an industrial case?

Xia Zeng, Dengfeng Li, Wujie Zheng, Fan Xia, Yuetang Deng, Wing Lam, Wei Yang, Tao Xie

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Darboux-type barrier certificates for safety verification of nonlinear hybrid systems.

Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang

Proceedings of the 2016 International Conference on Embedded Software, 2016

2015

初等函数可验证赋值及误差分析 (Validated Evaluation and Error Analysis of Elementary Functions).

Jian Liu, Min Tang, Xia Zeng, Zhenbing Zeng

计算机科学, 2015

2013

Error Analysis on Floating-Point Arithmetic in C Programming Language Library Functions.

Min Tang, Xia Zeng, Kai Song, Jian Liu

Proceedings of the 2013 Fourth International Conference on Emerging Intelligent Data and Web Technologies, 2013

1999

Evolutionary Approaches to Figure-Ground Separation.

Suchendra M. Bhandarkar, Xia Zeng

Appl. Intell., 1999

1997

Evolutionary computation for figure-ground separation.

Suchendra M. Bhandarkar, Xia Zeng

Proceedings of International Conference on Neural Networks (ICNN'97), 1997

Figure-Ground Separation: A Case Study in Energy Minimization via Evolutionary Computing.

Suchendra M. Bhandarkar, Xia Zeng

Proceedings of the Energy Minimization Methods in Computer Vision and Pattern Recognition, 1997