XW

Xinyi Wan

0009-0004-3543-499X

cs.SEcs.CRcs.DC

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, Zhiwu Xu +4

1 version

Preprints & journals

4 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

KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code2605.03822v2 · Yuwei Liu, Xinyi Wan, Yanhao Wang et al.2026 · 0 citationsarXiv

AuroraRL: Fast, Fault-Tolerant, and Cost-Efficient Reinforcement Learning over Decentralized Network2602.11456v2 · Chaoyi Ruan, Geng Luo, Xinyi Wan et al.2026 · 0 citationsarXiv

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