TY  - RPRT
TI  - Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
AU  - HoHyun Sim
AU  - Hyeonjoong Cho
AU  - Yeonghyeon Go
AU  - Sadegh AlMahdi Kazemi Zarkouei
AU  - Zhoulai Fu
AU  - Ali Shokri
AU  - Binoy Ravindran
PY  - 2026
UR  - https://arxiv.org/abs/2505.15858
ID  - 2505.15858
ER  -