Zeng, Xia

1. Learning Safe Neural Network Controllers with Barrier Certificates
   2020/09/18 by Zhao, Hengjun, Zeng, Xia, Chen, Taolue +2 · 6 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Automated Fact-Checking: A Survey
   2021/09/23 by Zeng, Xia, Abumansour, Amani S., Zubiaga, Arkaitz · 2 citations
   #Computation and Language (cs.CL) #FOS: Computer and information sciences
3. Beyond Pass or Fail: Multi-Dimensional Benchmarking of Foundation Models for Goal-based Mobile UI Navigation
   2025/01/06 by Ran, Dezhi, Wu, Mengzhou, Yu, Hao +15 · 2 citations
   #FOS: Computer and information sciences #Software Engineering (cs.SE)