cs.SE cs.AI
Automated Proof Generation for Rust Code via Self-Evolution
Tianyu Chen Shuai Lu Shan Lu Yeyun Gong Chenyuan Yang Xuheng Li Md Rakib Hossain Misu Hao Yu Nan Duan Peng Cheng Fan Yang Shuvendu K Lahiri Tao Xie Lidong Zhou