{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:65R2ABKMSBUTHMKYCC5V2JREVP","short_pith_number":"pith:65R2ABKM","schema_version":"1.0","canonical_sha256":"f763a0054c906933b15810bb5d2624abf69b52795b92156f40f3dd5b98655d12","source":{"kind":"arxiv","id":"2605.17626","version":1},"attestation_state":"computed","paper":{"title":"Verifier-Guided Code Translation via Meta-Step Decoding","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LG","authors_text":"Kirill Levchenko, Mihai Christodorescu, Somesh Jha, Tianyang Zhou, Varun Chandrasekaran","submitted_at":"2026-05-17T19:47:07Z","abstract_excerpt":"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 source program constrains valid outputs, while compilers, type check- ers, and behavioral checks provide exact pass/fail feedback. Existing approaches typically apply these verifiers only after generation, which is inefficient because early errors corrupt the autoregressive context and are rarely corrected later. We introduce Decoding Time Verification (DTV), a framework that treats structural boundaries as meta steps fo"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.17626","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-17T19:47:07Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"9abb4fc0763534b94e565215c70ab0827b9fe8220ba1daa73dcf4fb5871ba8d4","abstract_canon_sha256":"25259277740a5be451d5b7c9a7ee55e5de2d793e761944bd9eb921460ddbf1f3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:04:49.375598Z","signature_b64":"Y8RmDUaa57Z57ZMirjvjLUhVuKOiMASm+E3qGnyKyzS42D30oKaYGvfBHWbzrYInHuPE6XBCA0O2JqKOw9eRCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f763a0054c906933b15810bb5d2624abf69b52795b92156f40f3dd5b98655d12","last_reissued_at":"2026-05-20T00:04:49.374605Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:04:49.374605Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Verifier-Guided Code Translation via Meta-Step Decoding","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LG","authors_text":"Kirill Levchenko, Mihai Christodorescu, Somesh Jha, Tianyang Zhou, Varun Chandrasekaran","submitted_at":"2026-05-17T19:47:07Z","abstract_excerpt":"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 source program constrains valid outputs, while compilers, type check- ers, and behavioral checks provide exact pass/fail feedback. Existing approaches typically apply these verifiers only after generation, which is inefficient because early errors corrupt the autoregressive context and are rarely corrected later. We introduce Decoding Time Verification (DTV), a framework that treats structural boundaries as meta steps fo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.17626","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.17626/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"cited_work_retraction","ran_at":"2026-05-19T22:52:44.400014Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-19T21:33:23.562144Z","status":"skipped","version":"1.0.0","findings_count":0},{"name":"claim_evidence","ran_at":"2026-05-19T21:21:57.487176Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"582cc97775f1374060919b5d313ed46c538b62d35c988714dae6b9bbda29cccd"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.17626","created_at":"2026-05-20T00:04:49.374746+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.17626v1","created_at":"2026-05-20T00:04:49.374746+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17626","created_at":"2026-05-20T00:04:49.374746+00:00"},{"alias_kind":"pith_short_12","alias_value":"65R2ABKMSBUT","created_at":"2026-05-20T00:04:49.374746+00:00"},{"alias_kind":"pith_short_16","alias_value":"65R2ABKMSBUTHMKY","created_at":"2026-05-20T00:04:49.374746+00:00"},{"alias_kind":"pith_short_8","alias_value":"65R2ABKM","created_at":"2026-05-20T00:04:49.374746+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/65R2ABKMSBUTHMKYCC5V2JREVP","json":"https://pith.science/pith/65R2ABKMSBUTHMKYCC5V2JREVP.json","graph_json":"https://pith.science/api/pith-number/65R2ABKMSBUTHMKYCC5V2JREVP/graph.json","events_json":"https://pith.science/api/pith-number/65R2ABKMSBUTHMKYCC5V2JREVP/events.json","paper":"https://pith.science/paper/65R2ABKM"},"agent_actions":{"view_html":"https://pith.science/pith/65R2ABKMSBUTHMKYCC5V2JREVP","download_json":"https://pith.science/pith/65R2ABKMSBUTHMKYCC5V2JREVP.json","view_paper":"https://pith.science/paper/65R2ABKM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.17626&json=true","fetch_graph":"https://pith.science/api/pith-number/65R2ABKMSBUTHMKYCC5V2JREVP/graph.json","fetch_events":"https://pith.science/api/pith-number/65R2ABKMSBUTHMKYCC5V2JREVP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/65R2ABKMSBUTHMKYCC5V2JREVP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/65R2ABKMSBUTHMKYCC5V2JREVP/action/storage_attestation","attest_author":"https://pith.science/pith/65R2ABKMSBUTHMKYCC5V2JREVP/action/author_attestation","sign_citation":"https://pith.science/pith/65R2ABKMSBUTHMKYCC5V2JREVP/action/citation_signature","submit_replication":"https://pith.science/pith/65R2ABKMSBUTHMKYCC5V2JREVP/action/replication_record"}},"created_at":"2026-05-20T00:04:49.374746+00:00","updated_at":"2026-05-20T00:04:49.374746+00:00"}