{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:65R2ABKMSBUTHMKYCC5V2JREVP","short_pith_number":"pith:65R2ABKM","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"},"canonical_sha256":"f763a0054c906933b15810bb5d2624abf69b52795b92156f40f3dd5b98655d12","source":{"kind":"arxiv","id":"2605.17626","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.17626","created_at":"2026-05-20T00:04:49Z"},{"alias_kind":"arxiv_version","alias_value":"2605.17626v1","created_at":"2026-05-20T00:04:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17626","created_at":"2026-05-20T00:04:49Z"},{"alias_kind":"pith_short_12","alias_value":"65R2ABKMSBUT","created_at":"2026-05-20T00:04:49Z"},{"alias_kind":"pith_short_16","alias_value":"65R2ABKMSBUTHMKY","created_at":"2026-05-20T00:04:49Z"},{"alias_kind":"pith_short_8","alias_value":"65R2ABKM","created_at":"2026-05-20T00:04:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:65R2ABKMSBUTHMKYCC5V2JREVP","target":"record","payload":{"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"},"canonical_sha256":"f763a0054c906933b15810bb5d2624abf69b52795b92156f40f3dd5b98655d12","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"},"source_kind":"arxiv","source_id":"2605.17626","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-20T00:04:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KyGJ0JxxBT2yEZR/kM2eoSt8lyJpOvugoiPomWP/S+b6vdLkoQTi/M1XM0kgKKu+t1ddWseI6hcU3cFizV43CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T01:34:21.255787Z"},"content_sha256":"890172ee3ccbdd0d1670901619442ab7986625203690c0600d31afa1e5006105","schema_version":"1.0","event_id":"sha256:890172ee3ccbdd0d1670901619442ab7986625203690c0600d31afa1e5006105"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:65R2ABKMSBUTHMKYCC5V2JREVP","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-20T00:04:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GovuiZ/U+77kQxuddX68Axp8vzH1dC97FC/QNitCFGQP26DZVSeq2gZ9pAJpnTlN1Ls3svus0vT2B4Q2WxlJCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T01:34:21.256473Z"},"content_sha256":"000ae48c355ac56f4925197dca352fb316a5a8eb9dcc2f0e50b335927ef661cc","schema_version":"1.0","event_id":"sha256:000ae48c355ac56f4925197dca352fb316a5a8eb9dcc2f0e50b335927ef661cc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/65R2ABKMSBUTHMKYCC5V2JREVP/bundle.json","state_url":"https://pith.science/pith/65R2ABKMSBUTHMKYCC5V2JREVP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/65R2ABKMSBUTHMKYCC5V2JREVP/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-27T01:34:21Z","links":{"resolver":"https://pith.science/pith/65R2ABKMSBUTHMKYCC5V2JREVP","bundle":"https://pith.science/pith/65R2ABKMSBUTHMKYCC5V2JREVP/bundle.json","state":"https://pith.science/pith/65R2ABKMSBUTHMKYCC5V2JREVP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/65R2ABKMSBUTHMKYCC5V2JREVP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:65R2ABKMSBUTHMKYCC5V2JREVP","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"25259277740a5be451d5b7c9a7ee55e5de2d793e761944bd9eb921460ddbf1f3","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-17T19:47:07Z","title_canon_sha256":"9abb4fc0763534b94e565215c70ab0827b9fe8220ba1daa73dcf4fb5871ba8d4"},"schema_version":"1.0","source":{"id":"2605.17626","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.17626","created_at":"2026-05-20T00:04:49Z"},{"alias_kind":"arxiv_version","alias_value":"2605.17626v1","created_at":"2026-05-20T00:04:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17626","created_at":"2026-05-20T00:04:49Z"},{"alias_kind":"pith_short_12","alias_value":"65R2ABKMSBUT","created_at":"2026-05-20T00:04:49Z"},{"alias_kind":"pith_short_16","alias_value":"65R2ABKMSBUTHMKY","created_at":"2026-05-20T00:04:49Z"},{"alias_kind":"pith_short_8","alias_value":"65R2ABKM","created_at":"2026-05-20T00:04:49Z"}],"graph_snapshots":[{"event_id":"sha256:000ae48c355ac56f4925197dca352fb316a5a8eb9dcc2f0e50b335927ef661cc","target":"graph","created_at":"2026-05-20T00:04:49Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"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"}],"endpoint":"/pith/2605.17626/integrity.json","findings":[],"snapshot_sha256":"582cc97775f1374060919b5d313ed46c538b62d35c988714dae6b9bbda29cccd","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Kirill Levchenko, Mihai Christodorescu, Somesh Jha, Tianyang Zhou, Varun Chandrasekaran","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-17T19:47:07Z","title":"Verifier-Guided Code Translation via Meta-Step Decoding"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.17626","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:890172ee3ccbdd0d1670901619442ab7986625203690c0600d31afa1e5006105","target":"record","created_at":"2026-05-20T00:04:49Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"25259277740a5be451d5b7c9a7ee55e5de2d793e761944bd9eb921460ddbf1f3","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-17T19:47:07Z","title_canon_sha256":"9abb4fc0763534b94e565215c70ab0827b9fe8220ba1daa73dcf4fb5871ba8d4"},"schema_version":"1.0","source":{"id":"2605.17626","kind":"arxiv","version":1}},"canonical_sha256":"f763a0054c906933b15810bb5d2624abf69b52795b92156f40f3dd5b98655d12","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f763a0054c906933b15810bb5d2624abf69b52795b92156f40f3dd5b98655d12","first_computed_at":"2026-05-20T00:04:49.374605Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:04:49.374605Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y8RmDUaa57Z57ZMirjvjLUhVuKOiMASm+E3qGnyKyzS42D30oKaYGvfBHWbzrYInHuPE6XBCA0O2JqKOw9eRCg==","signature_status":"signed_v1","signed_at":"2026-05-20T00:04:49.375598Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.17626","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:890172ee3ccbdd0d1670901619442ab7986625203690c0600d31afa1e5006105","sha256:000ae48c355ac56f4925197dca352fb316a5a8eb9dcc2f0e50b335927ef661cc"],"state_sha256":"6d905e2896a94576965d965e864368b0aa72128c53836c37a76fe1ec53a64e85"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qtdFN8PQ8rNkiQpFaC6yzPqiZHiWJUW6UfuQ3A1ZNfql9w8NDC5tsJpVu6cgaE+v2q/06Q4px9tu7gsgLF7nCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T01:34:21.260126Z","bundle_sha256":"ac931118f54e538874a6573f57cc706486a88dbbeac40535d8bb6d08469ba22f"}}