Alert button
Picture for Weiteng Chen

Weiteng Chen

Alert button

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Nov 07, 2023
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui

Viaarxiv icon