TY  - RPRT
TI  - KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
AU  - Yuwei Liu
AU  - Xinyi Wan
AU  - Yanhao Wang
AU  - Minghua Wang
AU  - Lin Huang
AU  - Tao Wei
PY  - 2026
UR  - https://arxiv.org/abs/2605.03822
ID  - 2605.03822
ER  -