@misc{indiciae775d82dda93b,
  title = {C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques},
  author = {Vikram Nitin and Rahul Krishna and Luiz Lemos do Valle and Baishakhi Ray},
  year = {2025},
  url = {https://arxiv.org/abs/2501.14257},
  note = {Source identifier: 2501.14257}
}