Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening. VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models. In 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025, Seoul, Korea, Republic of, November 16-20, 2025. pages 1453-1463, IEEE, 2025. [doi]
Abstract is missing.