{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:3BA5KQRQ273X5W6CFOAWPAYF33","short_pith_number":"pith:3BA5KQRQ","canonical_record":{"source":{"id":"2508.10111","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-08-13T18:09:09Z","cross_cats_sorted":["cs.FL","cs.PL","cs.SE"],"title_canon_sha256":"562f904d7b925df61a9503b86cccb072a0c29019ffa6f9ac44da638b8ef57499","abstract_canon_sha256":"a53f4427a3049e0018b63fd4493bbacc82fb6341623a730ae0ce63f0afd64e77"},"schema_version":"1.0"},"canonical_sha256":"d841d54230d7f77edbc22b81678305dec5b2929fc0672cd48765765be65bf1e7","source":{"kind":"arxiv","id":"2508.10111","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.10111","created_at":"2026-07-05T11:54:32Z"},{"alias_kind":"arxiv_version","alias_value":"2508.10111v1","created_at":"2026-07-05T11:54:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.10111","created_at":"2026-07-05T11:54:32Z"},{"alias_kind":"pith_short_12","alias_value":"3BA5KQRQ273X","created_at":"2026-07-05T11:54:32Z"},{"alias_kind":"pith_short_16","alias_value":"3BA5KQRQ273X5W6C","created_at":"2026-07-05T11:54:32Z"},{"alias_kind":"pith_short_8","alias_value":"3BA5KQRQ","created_at":"2026-07-05T11:54:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:3BA5KQRQ273X5W6CFOAWPAYF33","target":"record","payload":{"canonical_record":{"source":{"id":"2508.10111","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-08-13T18:09:09Z","cross_cats_sorted":["cs.FL","cs.PL","cs.SE"],"title_canon_sha256":"562f904d7b925df61a9503b86cccb072a0c29019ffa6f9ac44da638b8ef57499","abstract_canon_sha256":"a53f4427a3049e0018b63fd4493bbacc82fb6341623a730ae0ce63f0afd64e77"},"schema_version":"1.0"},"canonical_sha256":"d841d54230d7f77edbc22b81678305dec5b2929fc0672cd48765765be65bf1e7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:54:32.119981Z","signature_b64":"cONZX8hOFWlPCy6kHHmaHHfqflSWxgqAHF4453eYKvkKDtWA0lHHb4z66yo2ke6U+3qwpB256DVAOvWh5OetCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d841d54230d7f77edbc22b81678305dec5b2929fc0672cd48765765be65bf1e7","last_reissued_at":"2026-07-05T11:54:32.119531Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:54:32.119531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.10111","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-05T11:54:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2E/0Oefs3Cy6i57BFTVw4Etx6Xag+tsDX46iDM1MMpfszPbVymCnen4P70EPlC99/ba++oOYav/UWvL5G+AjBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T20:43:20.043437Z"},"content_sha256":"375ceb4cdbdb4eb4de5b1213c4edce99ae9ae5ed3392d790b4263e1b653b3853","schema_version":"1.0","event_id":"sha256:375ceb4cdbdb4eb4de5b1213c4edce99ae9ae5ed3392d790b4263e1b653b3853"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:3BA5KQRQ273X5W6CFOAWPAYF33","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Constrained Decoding of Diffusion LLMs with Context-Free Grammars","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL","cs.PL","cs.SE"],"primary_cat":"cs.LG","authors_text":"Jasper Dekoninck, Martin Vechev, Niels M\\\"undler","submitted_at":"2025-08-13T18:09:09Z","abstract_excerpt":"Large language models (LLMs) have shown promising performance across diverse domains. Many practical applications of LLMs, such as code completion and structured data extraction, require adherence to syntactic constraints specified by a formal language. Yet, due to their probabilistic nature, LLM output is not guaranteed to adhere to such formal languages. Prior work has proposed constrained decoding as a means to restrict LLM generation to particular formal languages. However, existing works are not applicable to the emerging paradigm of diffusion LLMs, when used in practical scenarios such a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.10111","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/2508.10111/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:54:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5KpmIAh0HjIXPqojesuTnQ/U6d+kr5wwG0HTHlzXl3PZM561lVKKOf+kC0JnHpZxqzwnepG6G0HPelMNmmQpDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T20:43:20.043814Z"},"content_sha256":"e57ead872130071be21e098723bfa52b3b685e519869e18a8270cef2343b0f33","schema_version":"1.0","event_id":"sha256:e57ead872130071be21e098723bfa52b3b685e519869e18a8270cef2343b0f33"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3BA5KQRQ273X5W6CFOAWPAYF33/bundle.json","state_url":"https://pith.science/pith/3BA5KQRQ273X5W6CFOAWPAYF33/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3BA5KQRQ273X5W6CFOAWPAYF33/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-20T20:43:20Z","links":{"resolver":"https://pith.science/pith/3BA5KQRQ273X5W6CFOAWPAYF33","bundle":"https://pith.science/pith/3BA5KQRQ273X5W6CFOAWPAYF33/bundle.json","state":"https://pith.science/pith/3BA5KQRQ273X5W6CFOAWPAYF33/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3BA5KQRQ273X5W6CFOAWPAYF33/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:3BA5KQRQ273X5W6CFOAWPAYF33","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":"a53f4427a3049e0018b63fd4493bbacc82fb6341623a730ae0ce63f0afd64e77","cross_cats_sorted":["cs.FL","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-08-13T18:09:09Z","title_canon_sha256":"562f904d7b925df61a9503b86cccb072a0c29019ffa6f9ac44da638b8ef57499"},"schema_version":"1.0","source":{"id":"2508.10111","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.10111","created_at":"2026-07-05T11:54:32Z"},{"alias_kind":"arxiv_version","alias_value":"2508.10111v1","created_at":"2026-07-05T11:54:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.10111","created_at":"2026-07-05T11:54:32Z"},{"alias_kind":"pith_short_12","alias_value":"3BA5KQRQ273X","created_at":"2026-07-05T11:54:32Z"},{"alias_kind":"pith_short_16","alias_value":"3BA5KQRQ273X5W6C","created_at":"2026-07-05T11:54:32Z"},{"alias_kind":"pith_short_8","alias_value":"3BA5KQRQ","created_at":"2026-07-05T11:54:32Z"}],"graph_snapshots":[{"event_id":"sha256:e57ead872130071be21e098723bfa52b3b685e519869e18a8270cef2343b0f33","target":"graph","created_at":"2026-07-05T11:54:32Z","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/2508.10111/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) have shown promising performance across diverse domains. Many practical applications of LLMs, such as code completion and structured data extraction, require adherence to syntactic constraints specified by a formal language. Yet, due to their probabilistic nature, LLM output is not guaranteed to adhere to such formal languages. Prior work has proposed constrained decoding as a means to restrict LLM generation to particular formal languages. However, existing works are not applicable to the emerging paradigm of diffusion LLMs, when used in practical scenarios such a","authors_text":"Jasper Dekoninck, Martin Vechev, Niels M\\\"undler","cross_cats":["cs.FL","cs.PL","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-08-13T18:09:09Z","title":"Constrained Decoding of Diffusion LLMs with Context-Free Grammars"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.10111","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:375ceb4cdbdb4eb4de5b1213c4edce99ae9ae5ed3392d790b4263e1b653b3853","target":"record","created_at":"2026-07-05T11:54:32Z","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":"a53f4427a3049e0018b63fd4493bbacc82fb6341623a730ae0ce63f0afd64e77","cross_cats_sorted":["cs.FL","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-08-13T18:09:09Z","title_canon_sha256":"562f904d7b925df61a9503b86cccb072a0c29019ffa6f9ac44da638b8ef57499"},"schema_version":"1.0","source":{"id":"2508.10111","kind":"arxiv","version":1}},"canonical_sha256":"d841d54230d7f77edbc22b81678305dec5b2929fc0672cd48765765be65bf1e7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d841d54230d7f77edbc22b81678305dec5b2929fc0672cd48765765be65bf1e7","first_computed_at":"2026-07-05T11:54:32.119531Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:54:32.119531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cONZX8hOFWlPCy6kHHmaHHfqflSWxgqAHF4453eYKvkKDtWA0lHHb4z66yo2ke6U+3qwpB256DVAOvWh5OetCA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:54:32.119981Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.10111","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:375ceb4cdbdb4eb4de5b1213c4edce99ae9ae5ed3392d790b4263e1b653b3853","sha256:e57ead872130071be21e098723bfa52b3b685e519869e18a8270cef2343b0f33"],"state_sha256":"f395036da04179a1ddcedc6b885b0c1f12e4bccd1d3bb6acc21e1791efa31b9e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kQ548wst8gVMJEZS/Rj90AyrSbmY215Tgn4o/r4JerimF8xxI86lbSHyfstCokAGIj4QB9tMzQ+YvCgGK2dCCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T20:43:20.046141Z","bundle_sha256":"d2d12848e93c7318d7bcb588cf101589c90c994414c66b8d9abcb9e61ecc9fe4"}}