Xinyi Wan
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Software Eng.×1Crypto×1
Frequent co-authors
Research Timeline
2026
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
KVerus is a retrieval-augmented system that significantly improves the scalability and resilience of formal verification for Rust code by managing complex cross-module dependencies and adapting to code evolution.
Highlighted terms show continued research focus across papers
Papers
cs.SEcs.CRRecentMay 5, 2026
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
Yuwei Liu, Xinyi Wan, Yanhao Wang, Minghua Wang +2 more
KVerus is a retrieval-augmented system that significantly improves the scalability and resilience of formal verification for Rust code by managing complex cross-module dependencies and adapting to cod…
View →