TY  - RPRT
TI  - Verifiers in the Loop: Decoding Time Verification for Code Translation
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  -