C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques. - Vikram Nitin; Rahul Krishna; Luiz Lemos do Valle; Baishakhi Ray (CoRR, 2025)