{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:AXQNGKEPWNHND3DI4J4IH4EIGM","short_pith_number":"pith:AXQNGKEP","canonical_record":{"source":{"id":"2504.09135","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-12T08:49:21Z","cross_cats_sorted":[],"title_canon_sha256":"ff53cbd9ea48a57240db3321e93aeaf394ca23b8417764e20856c6f8ffe9035d","abstract_canon_sha256":"6387b6e88a6e92033bbdae2d25175e231b1b4cee7e5d5dfa730c47d7c26021b1"},"schema_version":"1.0"},"canonical_sha256":"05e0d3288fb34ed1ec68e27883f088333ed66273f5c2b098e5f3885b8f2d5224","source":{"kind":"arxiv","id":"2504.09135","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.09135","created_at":"2026-07-05T10:48:04Z"},{"alias_kind":"arxiv_version","alias_value":"2504.09135v1","created_at":"2026-07-05T10:48:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.09135","created_at":"2026-07-05T10:48:04Z"},{"alias_kind":"pith_short_12","alias_value":"AXQNGKEPWNHN","created_at":"2026-07-05T10:48:04Z"},{"alias_kind":"pith_short_16","alias_value":"AXQNGKEPWNHND3DI","created_at":"2026-07-05T10:48:04Z"},{"alias_kind":"pith_short_8","alias_value":"AXQNGKEP","created_at":"2026-07-05T10:48:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:AXQNGKEPWNHND3DI4J4IH4EIGM","target":"record","payload":{"canonical_record":{"source":{"id":"2504.09135","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-12T08:49:21Z","cross_cats_sorted":[],"title_canon_sha256":"ff53cbd9ea48a57240db3321e93aeaf394ca23b8417764e20856c6f8ffe9035d","abstract_canon_sha256":"6387b6e88a6e92033bbdae2d25175e231b1b4cee7e5d5dfa730c47d7c26021b1"},"schema_version":"1.0"},"canonical_sha256":"05e0d3288fb34ed1ec68e27883f088333ed66273f5c2b098e5f3885b8f2d5224","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:48:04.719601Z","signature_b64":"KPP9Mh3Vhldxw/MGPcAkfx+2Cy5xI4o2O7xDVvvLOUAb1luFk0lttpuxllcvaEe75UpSlnepOXXMXde7BfITBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"05e0d3288fb34ed1ec68e27883f088333ed66273f5c2b098e5f3885b8f2d5224","last_reissued_at":"2026-07-05T10:48:04.719129Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:48:04.719129Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.09135","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-07-05T10:48:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LmLOfytOXmiUVIKEYbEbUOG2Kp4mnQtRpWanGiXGS4vg8B1RSzdOXtU0vzwDFmgNkUs49e7yGfECfDWO3bYHCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T04:29:31.882969Z"},"content_sha256":"a600164851bdc7e0e9842a364bc3e9578cdf0a247d1c3c912b210e7bcb0f09a1","schema_version":"1.0","event_id":"sha256:a600164851bdc7e0e9842a364bc3e9578cdf0a247d1c3c912b210e7bcb0f09a1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:AXQNGKEPWNHND3DI4J4IH4EIGM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient and Asymptotically Unbiased Constrained Decoding for Large Language Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Ananda Theertha Suresh, Chong You, Felix Yu, Haotian Ye, Haowei Lin, Himanshu Jain, James Zou","submitted_at":"2025-04-12T08:49:21Z","abstract_excerpt":"In real-world applications of large language models, outputs are often required to be confined: selecting items from predefined product or document sets, generating phrases that comply with safety standards, or conforming to specialized formatting styles. To control the generation, constrained decoding has been widely adopted. However, existing prefix-tree-based constrained decoding is inefficient under GPU-based model inference paradigms, and it introduces unintended biases into the output distribution. This paper introduces Dynamic Importance Sampling for Constrained Decoding (DISC) with GPU"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.09135","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/2504.09135/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T10:48:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hX+GT1zClc5fk4J4AazIxyIYSqjNUXOdTuLDxcrtxUVSRR4o7cA2MbS6SAfWzF3vZQUXvFzz6AaYFCviiXQJCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T04:29:31.883265Z"},"content_sha256":"b0669a66bf6972cc22b84b519de05804ef5c709285f0ab5da00794cdbdeff945","schema_version":"1.0","event_id":"sha256:b0669a66bf6972cc22b84b519de05804ef5c709285f0ab5da00794cdbdeff945"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AXQNGKEPWNHND3DI4J4IH4EIGM/bundle.json","state_url":"https://pith.science/pith/AXQNGKEPWNHND3DI4J4IH4EIGM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AXQNGKEPWNHND3DI4J4IH4EIGM/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-08-06T04:29:31Z","links":{"resolver":"https://pith.science/pith/AXQNGKEPWNHND3DI4J4IH4EIGM","bundle":"https://pith.science/pith/AXQNGKEPWNHND3DI4J4IH4EIGM/bundle.json","state":"https://pith.science/pith/AXQNGKEPWNHND3DI4J4IH4EIGM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AXQNGKEPWNHND3DI4J4IH4EIGM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:AXQNGKEPWNHND3DI4J4IH4EIGM","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":"6387b6e88a6e92033bbdae2d25175e231b1b4cee7e5d5dfa730c47d7c26021b1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-12T08:49:21Z","title_canon_sha256":"ff53cbd9ea48a57240db3321e93aeaf394ca23b8417764e20856c6f8ffe9035d"},"schema_version":"1.0","source":{"id":"2504.09135","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.09135","created_at":"2026-07-05T10:48:04Z"},{"alias_kind":"arxiv_version","alias_value":"2504.09135v1","created_at":"2026-07-05T10:48:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.09135","created_at":"2026-07-05T10:48:04Z"},{"alias_kind":"pith_short_12","alias_value":"AXQNGKEPWNHN","created_at":"2026-07-05T10:48:04Z"},{"alias_kind":"pith_short_16","alias_value":"AXQNGKEPWNHND3DI","created_at":"2026-07-05T10:48:04Z"},{"alias_kind":"pith_short_8","alias_value":"AXQNGKEP","created_at":"2026-07-05T10:48:04Z"}],"graph_snapshots":[{"event_id":"sha256:b0669a66bf6972cc22b84b519de05804ef5c709285f0ab5da00794cdbdeff945","target":"graph","created_at":"2026-07-05T10:48:04Z","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":[],"endpoint":"/pith/2504.09135/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In real-world applications of large language models, outputs are often required to be confined: selecting items from predefined product or document sets, generating phrases that comply with safety standards, or conforming to specialized formatting styles. To control the generation, constrained decoding has been widely adopted. However, existing prefix-tree-based constrained decoding is inefficient under GPU-based model inference paradigms, and it introduces unintended biases into the output distribution. This paper introduces Dynamic Importance Sampling for Constrained Decoding (DISC) with GPU","authors_text":"Ananda Theertha Suresh, Chong You, Felix Yu, Haotian Ye, Haowei Lin, Himanshu Jain, James Zou","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-12T08:49:21Z","title":"Efficient and Asymptotically Unbiased Constrained Decoding for Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.09135","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:a600164851bdc7e0e9842a364bc3e9578cdf0a247d1c3c912b210e7bcb0f09a1","target":"record","created_at":"2026-07-05T10:48:04Z","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":"6387b6e88a6e92033bbdae2d25175e231b1b4cee7e5d5dfa730c47d7c26021b1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-12T08:49:21Z","title_canon_sha256":"ff53cbd9ea48a57240db3321e93aeaf394ca23b8417764e20856c6f8ffe9035d"},"schema_version":"1.0","source":{"id":"2504.09135","kind":"arxiv","version":1}},"canonical_sha256":"05e0d3288fb34ed1ec68e27883f088333ed66273f5c2b098e5f3885b8f2d5224","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"05e0d3288fb34ed1ec68e27883f088333ed66273f5c2b098e5f3885b8f2d5224","first_computed_at":"2026-07-05T10:48:04.719129Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:48:04.719129Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KPP9Mh3Vhldxw/MGPcAkfx+2Cy5xI4o2O7xDVvvLOUAb1luFk0lttpuxllcvaEe75UpSlnepOXXMXde7BfITBg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:48:04.719601Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.09135","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a600164851bdc7e0e9842a364bc3e9578cdf0a247d1c3c912b210e7bcb0f09a1","sha256:b0669a66bf6972cc22b84b519de05804ef5c709285f0ab5da00794cdbdeff945"],"state_sha256":"d074540bece7c58a8c043919677afb800e0c076c09799a7bd4ae78f9e673740b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H0oiOfdhdii4pTPlQjA8fbFYh9ZhARRHKYvvfecBepDoLTYVdToSO6+9VKj1tYSS7jfeqcb+1Nl0bAX+trpZAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T04:29:31.886259Z","bundle_sha256":"1434040bd36e3d70cfb0a68a26b4c3e37c5f4e0fe728a415e17cd32340a80ef7"}}