CW
Cheng Wen
cs.SEcs.AIcs.LGActive learningAutomata learningcs.CRcs.PLNeural network
On Valency
published · living versionsW_nrmmjfab·v1 · currentpublished
VerusEval: Evaluating LLM-Generated Verus Specifications Beyond Verifier Acceptance
with Ding Wang, Chao Jiang, Dugang Liu, Zhiwu Xu +4
1 version
Preprints & journals
11 papers in the corpus · 2021–2026VerusEval: Evaluating LLM-Generated Verus Specifications Beyond Verifier Acceptance2610.26464v1 · Ding Wang, Chao Jiang, Dugang Liu et al.2026 · 0 citationsarXivon Valency
ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing2605.09573v1 · Yuandao Cai, Shuhao Fu, Wensheng Tang et al.2026 · 0 citationsarXiv
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation2605.01394v1 · Dong Xu, Jialun Cao, Guozhao Mo et al.2026 · 0 citationsarXiv
Large Language Models for Multilingual Code Intelligence: A Survey2604.25960v1 · Chao Jiang, Dugang Liu, Cheng Wen et al.2026 · 1 citationarXiv
From Heuristics to Transformers: A Comprehensive Survey of Type Inference from Stripped Binaries2606.23692v1 · Hua Zheng, Yuhang Guo, Kuanishbay Sadatdiynov et al.2026 · 0 citationsarXiv
Ghost in the Agent: Redefining Information Flow Tracking for LLM Agents2604.23374v1 · Yuandao Cai, Wensheng Tang, Cheng Wen et al.2026 · 0 citationsarXiv
Automated LTL Specification Generation from Industrial Aerospace Requirements2604.21715v1 · Zhi Ma, Xiao Liang, Cheng Wen et al.2026 · 5 citationsarXiv
Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs2512.17334v1 · Zhi Ma, Cheng Wen, Zhexin Su et al.2025 · 14 citations2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 1208-1220, 2025
MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification2503.22228v2 · Jie Su, Liansai Deng, Cheng Wen et al.2025 · 0 citationsarXiv
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
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
Career total: 59 works. 11 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.