{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:4WG7HQB2SCLLC2SLKZ6WP2MPLL","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":"6a952e015793cd007447c6deb870cfa35d9925581597b5dbf98045d103d160fd","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-04-15T00:19:44Z","title_canon_sha256":"26e94792cbcffb3fcc663de94477b9e87b73cd79a2c9c83dab0b4c1db0c12259"},"schema_version":"1.0","source":{"id":"2304.07438","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.07438","created_at":"2026-07-05T07:13:22Z"},{"alias_kind":"arxiv_version","alias_value":"2304.07438v4","created_at":"2026-07-05T07:13:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.07438","created_at":"2026-07-05T07:13:22Z"},{"alias_kind":"pith_short_12","alias_value":"4WG7HQB2SCLL","created_at":"2026-07-05T07:13:22Z"},{"alias_kind":"pith_short_16","alias_value":"4WG7HQB2SCLLC2SL","created_at":"2026-07-05T07:13:22Z"},{"alias_kind":"pith_short_8","alias_value":"4WG7HQB2","created_at":"2026-07-05T07:13:22Z"}],"graph_snapshots":[{"event_id":"sha256:4de04ddec7f25dff32a8318d3969fe921ef2dbc774370fd64fb63e94d119aa88","target":"graph","created_at":"2026-07-05T07:13:22Z","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/2304.07438/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Despite the success of autoregressive large language models in text generation, it remains a major challenge to generate text that satisfies complex constraints: sampling from the conditional distribution ${\\Pr}(\\text{text} | \\alpha)$ is intractable for even the simplest lexical constraints $\\alpha$. To overcome this challenge, we propose to use tractable probabilistic models (TPMs) to impose lexical constraints in autoregressive text generation models, which we refer to as GeLaTo (Generating Language with Tractable Constraints). To demonstrate the effectiveness of this framework, we use disti","authors_text":"Guy Van den Broeck, Honghua Zhang, Meihua Dang, Nanyun Peng","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-04-15T00:19:44Z","title":"Tractable Control for Autoregressive Language Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.07438","kind":"arxiv","version":4},"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:fc5d1a0f6029fcf41a246e173d7bba13fec6e443f978c20c64d89f84ad0a7201","target":"record","created_at":"2026-07-05T07:13:22Z","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":"6a952e015793cd007447c6deb870cfa35d9925581597b5dbf98045d103d160fd","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-04-15T00:19:44Z","title_canon_sha256":"26e94792cbcffb3fcc663de94477b9e87b73cd79a2c9c83dab0b4c1db0c12259"},"schema_version":"1.0","source":{"id":"2304.07438","kind":"arxiv","version":4}},"canonical_sha256":"e58df3c03a9096b16a4b567d67e98f5adee00a9abce39536fd5b43fa30cedc33","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e58df3c03a9096b16a4b567d67e98f5adee00a9abce39536fd5b43fa30cedc33","first_computed_at":"2026-07-05T07:13:22.541787Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:13:22.541787Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AzYQm6UF+tHT7svMV2Do/FTx4R0ZRjpiY79xqY6mErYWVXIQ0U8VvQ7UgzkkrU9xNKLyzS72bLuFIad/4Ey3DQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:13:22.542272Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.07438","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fc5d1a0f6029fcf41a246e173d7bba13fec6e443f978c20c64d89f84ad0a7201","sha256:4de04ddec7f25dff32a8318d3969fe921ef2dbc774370fd64fb63e94d119aa88"],"state_sha256":"8ccc1a489cc7781d810c9fb88d9676b067bb3e396bdd49e4ddcb796d5b87a5ed"}