TY  - RPRT
TI  - Verifier-Guided Code Translation via Meta-Step Decoding
AU  - Tianyang Zhou
AU  - Somesh Jha
AU  - Mihai Christodorescu
AU  - Kirill Levchenko
AU  - Varun Chandrasekaran
PY  - 2026
UR  - https://arxiv.org/abs/2605.17626
ID  - 2605.17626
ER  -