Automated Proof Generation for Rust Code via Self-Evolution

Open Webpage

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

Published: 01 Jan 2025, Last Modified: 03 Aug 2025ICLR 2025EveryoneRevisionsBibTeXCC BY-SA 4.0