Get started
Author

Xinyi Wan

Observed names: Wan, Xinyi, X. Wan
ORCID: 0009-0004-3543-499X
Observed ORCID: 0009-0004-3543-499X
OpenAlex ID: A5111525830
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
2026 · Yuwei Liu, Xinyi Wan, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 6
PDF
Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework
2023 · Xinyi Wan, Qinxiang Cao · Lecture notes in computer science · 3
Coq Formalization of ZFC Set Theory for Teaching Scenarios
2023 · Xinyi Wan, Ke Xu, et al. · International Journal of Software and Informatics · 3
PDF
A note on characterizing solution set of nonsmooth pseudoinvex optimization problem
2011 · K. Q. Zhao, X. Wan, et al. · Optimization Letters · 3
AuroraRL: Fast, Fault-Tolerant, and Cost-Efficient Reinforcement Learning over Decentralized Network
2026 · Ruan, Chaoyi, Luo, Geng, et al. · arXiv (Cornell University) · 2
PDF
VerusEval: Evaluating LLM-Generated Verus Specifications Beyond Verifier Acceptance
2026 · Wang, Ding, Jiang, Chao, et al. · arXiv (Cornell University) · 1
PDF
VeruSteer: Learning What to Repair Next in Verus
2026 · Jiang, Chao, Wang, Ding, et al. · arXiv (Cornell University)
PDF
Works count: 7
Citation count: 18
H-index: 3
I10-index:
Year
Topic
Type