Alert button
Picture for Weidong Cui

Weidong Cui

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

Security and Machine Learning in the Real World

Jul 13, 2020
Ivan Evtimov, Weidong Cui, Ece Kamar, Emre Kiciman, Tadayoshi Kohno, Jerry Li

Viaarxiv icon