Leveraging Large Language Models for Automated Proof Synthesis in Rust

Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
January, 2023
Type
Journal article
Publication
arXiv preprint arXiv:2311.03739
Jianan Yao
Jianan Yao
Ph.D. Candidate in Computer Science

Not used.