[Preprint] AutoVerus: Automated Proof Generation for Rust Code

Published in Object-Oriented Programming, Systems, Languages, and Applications 2025 (in PACM PL), 2025