@misc{indiciaed4b1d4a90b6d,
  title = {AutoVerus: Automated Proof Generation for Rust Code},
  author = {Chenyuan Yang and Xuheng Li and Md Rakib Hossain Misu and Jianan Yao and Weidong Cui and Yeyun Gong and Chris Hawblitzel and Shuvendu Lahiri and Jacob R. Lorch and Shuai Lu and Fan Yang and Ziqiao Zhou and Shan Lu},
  year = {2025},
  doi = {10.1145/3763174},
  url = {https://arxiv.org/abs/2409.13082},
  note = {Source identifier: 2409.13082}
}