@article{automatedproofgenerationforrustcodevia,
  title = {Automated Proof Generation for Rust Code via Self-Evolution},
  author = {Tianyu Chen and Shuai Lu and Shan Lu and Yeyun Gong and Chenyuan Yang and Xuheng Li and Md Rakib Hossain Misu and Hao Yu and Nan Duan and Peng Cheng and Fan Yang and Shuvendu K Lahiri and Tao Xie and Lidong Zhou},
  year = {2024},
  eprint = {2410.15756},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2410.15756v2},
}