Verifiers in the Loop: Decoding Time Verification for Code Translation
The Decoding Time Verification (DTV) framework introduces an interleaving decoding strategy for code translation that treats structural boundaries as meta steps for verifier-guided generation. It uses a deterministic state machine to alternate between generating code, verifying it against oracles, committing checkpoints on success, and rolling back or escalating on failure. This method improves translation performance by preventing errors from propagating through the autoregressive context.