CJ
Chao Jiang
cs.CVcs.SE
On Valency
published · living versionsW_nrmmjfab·v1 · currentpublished
VerusEval: Evaluating LLM-Generated Verus Specifications Beyond Verifier Acceptance
with Ding Wang, Dugang Liu, Zhiwu Xu, Cheng Wen +4
1 version
Preprints & journals
2 papers in the corpus · 2026VerusEval: Evaluating LLM-Generated Verus Specifications Beyond Verifier Acceptance2610.26464v1 · Ding Wang, Chao Jiang, Dugang Liu et al.2026 · 0 citationsarXivon Valency
Xiaomi-Lens-0 Technical Report2610.23279v2 · Pei Fu, Yike Liu, Yue Sun et al.2026 · 0 citationsarXiv
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.