{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:OX6CCUL6BCWDSIN6Y5JVIV7APB","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":"8495f961fd2edc7351efe22bc4973fcbd78e2aaaab9b0aafb35fb94dd392d31e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-06-01T08:58:18Z","title_canon_sha256":"7a4c7e700fba0567024287bc09e8b5a985bd784f1cac2cb7493d36e6cf91a863"},"schema_version":"1.0","source":{"id":"2606.01926","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.01926","created_at":"2026-06-02T02:05:00Z"},{"alias_kind":"arxiv_version","alias_value":"2606.01926v1","created_at":"2026-06-02T02:05:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.01926","created_at":"2026-06-02T02:05:00Z"},{"alias_kind":"pith_short_12","alias_value":"OX6CCUL6BCWD","created_at":"2026-06-02T02:05:00Z"},{"alias_kind":"pith_short_16","alias_value":"OX6CCUL6BCWDSIN6","created_at":"2026-06-02T02:05:00Z"},{"alias_kind":"pith_short_8","alias_value":"OX6CCUL6","created_at":"2026-06-02T02:05:00Z"}],"graph_snapshots":[{"event_id":"sha256:2f5e6752e4f473130549e43dae59d6d78814e0726e9e0475170c226379b6a0e1","target":"graph","created_at":"2026-06-02T02:05:00Z","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/2606.01926/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Generations from large language models often fail to conform to desired constraints such as JSON schema. Existing locally constrained decoding (LCD) approaches enforce constraints by myopically masking out next tokens, resulting in biased sampling and degradation in performance. Recent work uses sequential Monte Carlo (SMC) methods to mitigate such biases, but designing effective proposal distributions or potential functions remains a key challenge. In this work, we propose a generic approach to construct proposals and potentials for SMC sampling from $p_{\\mathrm{lm}}( \\cdot \\mid \\mathrm{const","authors_text":"Guy Van den Broeck, Honghua Zhang, Jieyu Zhao, Linxin Song, Meihua Dang, Stefano Ermon","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-06-01T08:58:18Z","title":"Mitigating Bias in Locally Constrained Decoding via Tractable Proposals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.01926","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:f55aa408a742bd82a6585f0fec642c3254cc7b10435c657c173b59f98a131866","target":"record","created_at":"2026-06-02T02:05:00Z","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":"8495f961fd2edc7351efe22bc4973fcbd78e2aaaab9b0aafb35fb94dd392d31e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-06-01T08:58:18Z","title_canon_sha256":"7a4c7e700fba0567024287bc09e8b5a985bd784f1cac2cb7493d36e6cf91a863"},"schema_version":"1.0","source":{"id":"2606.01926","kind":"arxiv","version":1}},"canonical_sha256":"75fc21517e08ac3921bec7535457e07863807adeafc75ae6d78ab9310e830fa8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"75fc21517e08ac3921bec7535457e07863807adeafc75ae6d78ab9310e830fa8","first_computed_at":"2026-06-02T02:05:00.726623Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-02T02:05:00.726623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Nu9yekiSlBuLZQ2imaHANkYw8y16oUx7kHckeoViE01M23O3QqUltrA8W36DORNyiwXQ7AOUzceeKiFrjpY2Bg==","signature_status":"signed_v1","signed_at":"2026-06-02T02:05:00.727027Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.01926","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f55aa408a742bd82a6585f0fec642c3254cc7b10435c657c173b59f98a131866","sha256:2f5e6752e4f473130549e43dae59d6d78814e0726e9e0475170c226379b6a0e1"],"state_sha256":"905661dd2098dd1eed0c1047f04b40b73cdc195df8638480b4c095a94bc9bc64"}