article-journal

Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui