Integrating Rules and Semantics for LLM-Based C-to-Rust Translation. - Feng Luo; Kexing Ji; Cuiyun Gao 001; Shuzheng Gao; Jia Feng; Kui Liu 001; Xin Xia 001; Michael R. Lyu (CoRR, 2025)