ZX

Zhiwu Xu

cs.SE

On Valency

published · living versions

W_nrmmjfab·v1 · currentpublished

VerusEval: Evaluating LLM-Generated Verus Specifications Beyond Verifier Acceptance

with Ding Wang, Chao Jiang, Dugang Liu, Cheng Wen +4

1 version

Preprints & journals

2 papers in the corpus · 2026

VeruSteer: Learning What to Repair Next in Verus2610.29755v1 · Chao Jiang, Ding Wang, Chaohua Yang et al.2026 · 0 citationsarXivon Valency

VerusEval: Evaluating LLM-Generated Verus Specifications Beyond Verifier Acceptance2610.26464v1 · Ding Wang, Chao Jiang, Dugang Liu et al.2026 · 0 citationsarXivon Valency

Career total: 2 works. 2 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.