{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:O67PA22GKLW72THSYOZS4XVMLV","short_pith_number":"pith:O67PA22G","canonical_record":{"source":{"id":"2504.05410","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-04-07T18:30:18Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"8c4ef6b708efb65f27f70d9ced87b9f3952eeec513248acc0a00a7164dc656bc","abstract_canon_sha256":"ffbef51dbae83f3c4f1c8f3313ff77535bd8d06bd5897b53aabd923ae7e27580"},"schema_version":"1.0"},"canonical_sha256":"77bef06b4652edfd4cf2c3b32e5eac5d76860f8ca912ab3114b3f72c25d19447","source":{"kind":"arxiv","id":"2504.05410","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.05410","created_at":"2026-07-05T11:55:18Z"},{"alias_kind":"arxiv_version","alias_value":"2504.05410v2","created_at":"2026-07-05T11:55:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.05410","created_at":"2026-07-05T11:55:18Z"},{"alias_kind":"pith_short_12","alias_value":"O67PA22GKLW7","created_at":"2026-07-05T11:55:18Z"},{"alias_kind":"pith_short_16","alias_value":"O67PA22GKLW72THS","created_at":"2026-07-05T11:55:18Z"},{"alias_kind":"pith_short_8","alias_value":"O67PA22G","created_at":"2026-07-05T11:55:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:O67PA22GKLW72THSYOZS4XVMLV","target":"record","payload":{"canonical_record":{"source":{"id":"2504.05410","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-04-07T18:30:18Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"8c4ef6b708efb65f27f70d9ced87b9f3952eeec513248acc0a00a7164dc656bc","abstract_canon_sha256":"ffbef51dbae83f3c4f1c8f3313ff77535bd8d06bd5897b53aabd923ae7e27580"},"schema_version":"1.0"},"canonical_sha256":"77bef06b4652edfd4cf2c3b32e5eac5d76860f8ca912ab3114b3f72c25d19447","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:55:18.316734Z","signature_b64":"0PHCOvAepWcxSmQSPOmBT9xlPRDN8lI0M598yX1mA7DaifGx/bspb1cZM6fJHuJIb6U3JcXKzuWt2S0hBnKZAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77bef06b4652edfd4cf2c3b32e5eac5d76860f8ca912ab3114b3f72c25d19447","last_reissued_at":"2026-07-05T11:55:18.316162Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:55:18.316162Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.05410","source_version":2,"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-05T11:55:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a+ex8plK7E7L3TkPsdwpkYSXWDnqIU/y82HAuIU2Qke6cc+kgTzZ8mYSzTNRZ7OWeS/vQceQbeWA9QIAPgWrCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T15:23:28.335666Z"},"content_sha256":"1e520a7338ab530c0d9353bd599b26f7fe47b920b97143b86699459c766b0143","schema_version":"1.0","event_id":"sha256:1e520a7338ab530c0d9353bd599b26f7fe47b920b97143b86699459c766b0143"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:O67PA22GKLW72THSYOZS4XVMLV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.CL","authors_text":"Alexander K. Lew, Benjamin Lebrun, Benjamin Lipkin, David R. MacIver, Jacob Hoover Vigly, Jason Eisner, Jo\\~ao Loula, Li Du, Ryan Cotterell, Timothy J. O'Donnell, Tim Vieira, Vikash Mansinghka","submitted_at":"2025-04-07T18:30:18Z","abstract_excerpt":"The dominant approach to generating from language models subject to some constraint is locally constrained decoding (LCD), incrementally sampling tokens at each time step such that the constraint is never violated. Typically, this is achieved through token masking: looping over the vocabulary and excluding non-conforming tokens. There are two important problems with this approach. (i) Evaluating the constraint on every token can be prohibitively expensive -- LM vocabularies often exceed $100,000$ tokens. (ii) LCD can distort the global distribution over strings, sampling tokens based only on l"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.05410","kind":"arxiv","version":2},"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.05410/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-05T11:55:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e35hDRQNYYZApyCj5PDkgRruKL6lcDLnEaO9OlPqtUczZzrjjcvXpmZglpItbwWutdlzGd1BTh2uzWOoPA77DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T15:23:28.336324Z"},"content_sha256":"68a011bf7af7191527afc63854cb29a6a0f0cb7f6e7831631cefac9931791563","schema_version":"1.0","event_id":"sha256:68a011bf7af7191527afc63854cb29a6a0f0cb7f6e7831631cefac9931791563"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O67PA22GKLW72THSYOZS4XVMLV/bundle.json","state_url":"https://pith.science/pith/O67PA22GKLW72THSYOZS4XVMLV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O67PA22GKLW72THSYOZS4XVMLV/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-20T15:23:28Z","links":{"resolver":"https://pith.science/pith/O67PA22GKLW72THSYOZS4XVMLV","bundle":"https://pith.science/pith/O67PA22GKLW72THSYOZS4XVMLV/bundle.json","state":"https://pith.science/pith/O67PA22GKLW72THSYOZS4XVMLV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O67PA22GKLW72THSYOZS4XVMLV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:O67PA22GKLW72THSYOZS4XVMLV","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":"ffbef51dbae83f3c4f1c8f3313ff77535bd8d06bd5897b53aabd923ae7e27580","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-04-07T18:30:18Z","title_canon_sha256":"8c4ef6b708efb65f27f70d9ced87b9f3952eeec513248acc0a00a7164dc656bc"},"schema_version":"1.0","source":{"id":"2504.05410","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.05410","created_at":"2026-07-05T11:55:18Z"},{"alias_kind":"arxiv_version","alias_value":"2504.05410v2","created_at":"2026-07-05T11:55:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.05410","created_at":"2026-07-05T11:55:18Z"},{"alias_kind":"pith_short_12","alias_value":"O67PA22GKLW7","created_at":"2026-07-05T11:55:18Z"},{"alias_kind":"pith_short_16","alias_value":"O67PA22GKLW72THS","created_at":"2026-07-05T11:55:18Z"},{"alias_kind":"pith_short_8","alias_value":"O67PA22G","created_at":"2026-07-05T11:55:18Z"}],"graph_snapshots":[{"event_id":"sha256:68a011bf7af7191527afc63854cb29a6a0f0cb7f6e7831631cefac9931791563","target":"graph","created_at":"2026-07-05T11:55:18Z","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.05410/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The dominant approach to generating from language models subject to some constraint is locally constrained decoding (LCD), incrementally sampling tokens at each time step such that the constraint is never violated. Typically, this is achieved through token masking: looping over the vocabulary and excluding non-conforming tokens. There are two important problems with this approach. (i) Evaluating the constraint on every token can be prohibitively expensive -- LM vocabularies often exceed $100,000$ tokens. (ii) LCD can distort the global distribution over strings, sampling tokens based only on l","authors_text":"Alexander K. Lew, Benjamin Lebrun, Benjamin Lipkin, David R. MacIver, Jacob Hoover Vigly, Jason Eisner, Jo\\~ao Loula, Li Du, Ryan Cotterell, Timothy J. O'Donnell, Tim Vieira, Vikash Mansinghka","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-04-07T18:30:18Z","title":"Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.05410","kind":"arxiv","version":2},"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:1e520a7338ab530c0d9353bd599b26f7fe47b920b97143b86699459c766b0143","target":"record","created_at":"2026-07-05T11:55:18Z","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":"ffbef51dbae83f3c4f1c8f3313ff77535bd8d06bd5897b53aabd923ae7e27580","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2025-04-07T18:30:18Z","title_canon_sha256":"8c4ef6b708efb65f27f70d9ced87b9f3952eeec513248acc0a00a7164dc656bc"},"schema_version":"1.0","source":{"id":"2504.05410","kind":"arxiv","version":2}},"canonical_sha256":"77bef06b4652edfd4cf2c3b32e5eac5d76860f8ca912ab3114b3f72c25d19447","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"77bef06b4652edfd4cf2c3b32e5eac5d76860f8ca912ab3114b3f72c25d19447","first_computed_at":"2026-07-05T11:55:18.316162Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:55:18.316162Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0PHCOvAepWcxSmQSPOmBT9xlPRDN8lI0M598yX1mA7DaifGx/bspb1cZM6fJHuJIb6U3JcXKzuWt2S0hBnKZAw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:55:18.316734Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.05410","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1e520a7338ab530c0d9353bd599b26f7fe47b920b97143b86699459c766b0143","sha256:68a011bf7af7191527afc63854cb29a6a0f0cb7f6e7831631cefac9931791563"],"state_sha256":"5f51305376c0de1deab364c96e66bf215a23ad7ec16db7b265c1e5521b5e7f84"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dC4q3cmUOfa3hYT9JnA24IBefNCfsyZiSZgPJn7O9TDhVmZgDTpWoRX1PZVnMYp5ODrejgY+A8ywFy/HbT4ZAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T15:23:28.343133Z","bundle_sha256":"a9a42f4cc8a80ad7949eabe99f43a2390a21d3e87e91e30a82f722c70a8ccba8"}}