TY  - RPRT
TI  - AutoVerus: Automated Proof Generation for Rust Code
AU  - Chenyuan Yang
AU  - Xuheng Li
AU  - Md Rakib Hossain Misu
AU  - Jianan Yao
AU  - Weidong Cui
AU  - Yeyun Gong
AU  - Chris Hawblitzel
AU  - Shuvendu Lahiri
AU  - Jacob R. Lorch
AU  - Shuai Lu
AU  - Fan Yang
AU  - Ziqiao Zhou
AU  - Shan Lu
PY  - 2025
DO  - 10.1145/3763174
UR  - https://arxiv.org/abs/2409.13082
ID  - 2409.13082
ER  -