{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:5WWEN2ZLRTJ6CHNBZLPSNEGZ46","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":"94eda5412a404adb871b7b76243367cc149676e62d254acc07d61b281956dd27","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-17T17:49:40Z","title_canon_sha256":"36d9528fcf1ec86bc82a57967d96ed7a59c0dd6103f45c461735001cc4934c1a"},"schema_version":"1.0","source":{"id":"2504.13139","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.13139","created_at":"2026-07-05T10:51:06Z"},{"alias_kind":"arxiv_version","alias_value":"2504.13139v2","created_at":"2026-07-05T10:51:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.13139","created_at":"2026-07-05T10:51:06Z"},{"alias_kind":"pith_short_12","alias_value":"5WWEN2ZLRTJ6","created_at":"2026-07-05T10:51:06Z"},{"alias_kind":"pith_short_16","alias_value":"5WWEN2ZLRTJ6CHNB","created_at":"2026-07-05T10:51:06Z"},{"alias_kind":"pith_short_8","alias_value":"5WWEN2ZL","created_at":"2026-07-05T10:51:06Z"}],"graph_snapshots":[{"event_id":"sha256:2c8842492044e0ce430eac9cb18c50ee1fb3eda43b33d04e533889ca2b11cd4b","target":"graph","created_at":"2026-07-05T10:51:06Z","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.13139/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A wide range of LM applications require generating text that conforms to syntactic or semantic constraints. Imposing such constraints can be naturally framed as probabilistic conditioning, but exact generation from the resulting distribution -- which can differ substantially from the LM's base distribution -- is generally intractable. In this work, we develop an architecture for controlled LM generation based on sequential Monte Carlo (SMC). Our SMC framework allows us to flexibly incorporate domain- and problem-specific constraints at inference time, and efficiently reallocate computational r","authors_text":"Alexander K. Lew, Benjamin Lebrun, Ben Lipkin, Clemente Pasti, Gabriel Grand, Jason Eisner, Jo\\~ao Loula, Li Du, Marjorie Freedman, Ryan Cotterell, Tianyu Liu, Timothy J. O'Donnell, Tim Vieira, Vikash Mansinghka, Yahya Emara","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-17T17:49:40Z","title":"Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.13139","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:3528427835dbc70d633869dab5e9444486cbac7b5546430108fb9c4d3b59dfc2","target":"record","created_at":"2026-07-05T10:51:06Z","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":"94eda5412a404adb871b7b76243367cc149676e62d254acc07d61b281956dd27","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2025-04-17T17:49:40Z","title_canon_sha256":"36d9528fcf1ec86bc82a57967d96ed7a59c0dd6103f45c461735001cc4934c1a"},"schema_version":"1.0","source":{"id":"2504.13139","kind":"arxiv","version":2}},"canonical_sha256":"edac46eb2b8cd3e11da1cadf2690d9e7999d0f2a81e50b93ca76c7c6bd7ae554","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"edac46eb2b8cd3e11da1cadf2690d9e7999d0f2a81e50b93ca76c7c6bd7ae554","first_computed_at":"2026-07-05T10:51:06.670290Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:51:06.670290Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VVEOmHezu8uQb+pdMM0l/X3Lqki/iho/Qhc0bwUVZuzHnoJoW3Ve/9VSxsmJNeZ8nZNpPi5ruTCn3mMHTZtUBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:51:06.670936Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.13139","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3528427835dbc70d633869dab5e9444486cbac7b5546430108fb9c4d3b59dfc2","sha256:2c8842492044e0ce430eac9cb18c50ee1fb3eda43b33d04e533889ca2b11cd4b"],"state_sha256":"102fbc14073d79fbbed729c4f6cdbd9b4379bd2b4d32d51e7de89f498638517d"}