SafeTrans: LLM-assisted Transpilation from C to Rust. - Muhammad Farrukh; Smeet Shah; Baris Coskun; Michalis Polychronakis (CoRR, 2025)