TY  - RPRT
TI  - C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
AU  - Vikram Nitin
AU  - Rahul Krishna
AU  - Luiz Lemos do Valle
AU  - Baishakhi Ray
PY  - 2025
UR  - https://arxiv.org/abs/2501.14257
ID  - 2501.14257
ER  -