Verifier-Guided Code Translation via Meta-Step Decoding

Tianyang Zhou, Somesh Jha, Mihai Christodorescu +2

Test-time scaling is an important mechanism for improving large language models, especially on tasks with deterministic verifiers. Code translation is a canonical example: the sour…