TY  - RPRT
TI  - Automated Proof Generation for Rust Code via Self-Evolution
AU  - Tianyu Chen
AU  - Shuai Lu
AU  - Shan Lu
AU  - Yeyun Gong
AU  - Chenyuan Yang
AU  - Xuheng Li
AU  - Md Rakib Hossain Misu
AU  - Hao Yu
AU  - Nan Duan
AU  - Peng Cheng
AU  - Fan Yang
AU  - Shuvendu K Lahiri
AU  - Tao Xie
AU  - Lidong Zhou
PY  - 2026
UR  - https://arxiv.org/abs/2410.15756
ID  - 2410.15756
ER  -