TY  - RPRT
TI  - Leveraging Large Language Models for Automated Proof Synthesis in Rust
AU  - Jianan Yao
AU  - Ziqiao Zhou
AU  - Weiteng Chen
AU  - Weidong Cui
PY  - 2023
UR  - https://arxiv.org/abs/2311.03739
ID  - 2311.03739
ER  -