ZX
Zhiwu Xu
cs.SEcs.PLcs.LGActive learningAutomata learningConstructive neural networkscs.AIcs.CRNeural networkNeural networks with random weights
On Valency
published · living versionsW_f3ctabf9·v1 · currentpublished
VeruSteer: Learning What to Repair Next in Verus
with Chao Jiang, Ding Wang, Chaohua Yang, Dugang Liu +5
1 version
Preprints & journals
8 papers in the corpus · 2017–2026Large Language Models for Multilingual Code Intelligence: A Survey2604.25960v1 · Chao Jiang, Dugang Liu, Cheng Wen et al.2026 · 1 citationarXiv
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification2404.00762v2 · Cheng Wen, Jialun Cao, Jie Su et al.2024 · 70 citationsarXiv
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks2207.00759v1 · Jiaxiang Liu, Yunhan Xing, Xiaomu Shi et al.2022 · 17 citationsarXiv
Extracting automata from neural networks using active learning.33977128 · Xu, Zhiwu, Wen, Cheng, Qin, Shengchao et al.2024 · 9 citationsPeerJ. Computer science. 2021;7:e436
Bidirectional stochastic configuration network for regression problems.33794415 · Cao, Weipeng, Xie, Zhongwu, Li, Jianqiang et al.2021 · 58 citationsNeural networks : the official journal of the International Neural Network Society. 2021;140:237-246
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair2012.15489v2 · Yeting Li, Shuaimin Li, Zhiwu Xu et al.2020 · 18 citationsarXiv
Toward `verifying' a Water Treatment System1712.04155v2 · Jingyi Wang, Jun Sun, Yifan Jia et al.2017 · 11 citationsarXiv
A Permission-Dependent Type System for Secure Information Flow Analysis1709.09623v1 · Hongxu Chen, Alwen Tiu, Zhiwu Xu et al.2017 · 16 citationsarXiv
Career total: 84 works. 8 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.