Verifiers in the Loop: Decoding Time Verification for Code Translation

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…