Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors. - Renshuang Jiang; Pan Dong; Zhenling Duan; Yu Shi; Xiaoxiang Fang; Yan Ding; Jun Ma 015; Shuai Zhao 004; Zhe Jiang 004 (CoRR, 2025)