Kui Liu

Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning

A Translation fRAmework Via rule-guided reasoning and rEinforcement Learning, namely TRAVEL, consisting of two modules that employs Monte Carlo Tree Search-based reasoning path construction guided by Rust-specific rules, and introduces reinforcement learning that couples execution feedback with reasoning-quality signal...