Automated Proof Generation for Rust Code via Self-Evolution - Chen, Tianyu; Lu, Shuai; Lu, Shan; Gong, Yeyun; Yang, Chenyuan; Li, Xuheng; Misu, Md Rakib Hossain; Yu, Hao; Duan, Nan; CHENG, Peng; Yang, Fan; Lahiri, Shuvendu; et al. (International Conference on Learning Representations, 2025)