{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:DGJ67SSJI3LNCJUGEA42E4LF7M","short_pith_number":"pith:DGJ67SSJ","canonical_record":{"source":{"id":"2507.16768","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-22T17:13:47Z","cross_cats_sorted":[],"title_canon_sha256":"c011df0c470556a75fe993cbdad450e157c354cc5f44f3583d8472096be2b9e8","abstract_canon_sha256":"5b24da26116891fa612a9bc3ba17bffe86482303df85abc5db74bbd363249499"},"schema_version":"1.0"},"canonical_sha256":"1993efca4946d6d126862039a27165fb003ced8dfa2e34432e33d3f671a7a895","source":{"kind":"arxiv","id":"2507.16768","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.16768","created_at":"2026-07-05T11:41:30Z"},{"alias_kind":"arxiv_version","alias_value":"2507.16768v1","created_at":"2026-07-05T11:41:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.16768","created_at":"2026-07-05T11:41:30Z"},{"alias_kind":"pith_short_12","alias_value":"DGJ67SSJI3LN","created_at":"2026-07-05T11:41:30Z"},{"alias_kind":"pith_short_16","alias_value":"DGJ67SSJI3LNCJUG","created_at":"2026-07-05T11:41:30Z"},{"alias_kind":"pith_short_8","alias_value":"DGJ67SSJ","created_at":"2026-07-05T11:41:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:DGJ67SSJI3LNCJUGEA42E4LF7M","target":"record","payload":{"canonical_record":{"source":{"id":"2507.16768","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-22T17:13:47Z","cross_cats_sorted":[],"title_canon_sha256":"c011df0c470556a75fe993cbdad450e157c354cc5f44f3583d8472096be2b9e8","abstract_canon_sha256":"5b24da26116891fa612a9bc3ba17bffe86482303df85abc5db74bbd363249499"},"schema_version":"1.0"},"canonical_sha256":"1993efca4946d6d126862039a27165fb003ced8dfa2e34432e33d3f671a7a895","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:41:30.751352Z","signature_b64":"2H4wv9mEwdQTu1vMe4O7yNsclVo6koE2yeR59IbmzoxjwwLmLRRy0QlPnZceo1ptyM0H73j1Heu+0TGN3BsvCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1993efca4946d6d126862039a27165fb003ced8dfa2e34432e33d3f671a7a895","last_reissued_at":"2026-07-05T11:41:30.750862Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:41:30.750862Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.16768","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:41:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0vvx4slKAe7uBpacaA1VASiIa/3bQXXwIt52jHGo6A4PD0ct+0ZHeKtL+92liqXMwoZwtCcqt/zvS7ehB4QrBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T12:10:21.025265Z"},"content_sha256":"28ccde1182b37b6e0007ea103806ee4d33ae0e52ea74400ca6a8be9f8002e98d","schema_version":"1.0","event_id":"sha256:28ccde1182b37b6e0007ea103806ee4d33ae0e52ea74400ca6a8be9f8002e98d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:DGJ67SSJI3LNCJUGEA42E4LF7M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"WGRAMMAR: Leverage Prior Knowledge to Accelerate Structured Decoding","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Fanchao Qi, Gang Chen, Hao Ren, Maosong Sun, Ran Wang, Xiaoxuan Liu","submitted_at":"2025-07-22T17:13:47Z","abstract_excerpt":"Structured decoding enables large language models (LLMs) to generate outputs in formats required by downstream systems, such as HTML or JSON. However, existing methods suffer from efficiency bottlenecks due to grammar compilation, state tracking, and mask creation. We observe that many real-world tasks embed strong prior knowledge about output structure. Leveraging this, we propose a decomposition of constraints into static and dynamic components -- precompiling static structures offline and instantiating dynamic arguments at runtime using grammar snippets. Instead of relying on pushdown autom"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.16768","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/2507.16768/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:41:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"90DAverhZI+QDNUtEIfITVG+ApBKsQ2qDyp8XmCJydkpui2BMQDAy7q1p6WZZO/rvCuTyyo1xd8Of7uzg8WJCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T12:10:21.026436Z"},"content_sha256":"985059eb67d6148819e776a5d8e8722522a3a8df1cdecfbac2e20e653a4e20bc","schema_version":"1.0","event_id":"sha256:985059eb67d6148819e776a5d8e8722522a3a8df1cdecfbac2e20e653a4e20bc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DGJ67SSJI3LNCJUGEA42E4LF7M/bundle.json","state_url":"https://pith.science/pith/DGJ67SSJI3LNCJUGEA42E4LF7M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DGJ67SSJI3LNCJUGEA42E4LF7M/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-04T12:10:21Z","links":{"resolver":"https://pith.science/pith/DGJ67SSJI3LNCJUGEA42E4LF7M","bundle":"https://pith.science/pith/DGJ67SSJI3LNCJUGEA42E4LF7M/bundle.json","state":"https://pith.science/pith/DGJ67SSJI3LNCJUGEA42E4LF7M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DGJ67SSJI3LNCJUGEA42E4LF7M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:DGJ67SSJI3LNCJUGEA42E4LF7M","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":"5b24da26116891fa612a9bc3ba17bffe86482303df85abc5db74bbd363249499","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-22T17:13:47Z","title_canon_sha256":"c011df0c470556a75fe993cbdad450e157c354cc5f44f3583d8472096be2b9e8"},"schema_version":"1.0","source":{"id":"2507.16768","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.16768","created_at":"2026-07-05T11:41:30Z"},{"alias_kind":"arxiv_version","alias_value":"2507.16768v1","created_at":"2026-07-05T11:41:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.16768","created_at":"2026-07-05T11:41:30Z"},{"alias_kind":"pith_short_12","alias_value":"DGJ67SSJI3LN","created_at":"2026-07-05T11:41:30Z"},{"alias_kind":"pith_short_16","alias_value":"DGJ67SSJI3LNCJUG","created_at":"2026-07-05T11:41:30Z"},{"alias_kind":"pith_short_8","alias_value":"DGJ67SSJ","created_at":"2026-07-05T11:41:30Z"}],"graph_snapshots":[{"event_id":"sha256:985059eb67d6148819e776a5d8e8722522a3a8df1cdecfbac2e20e653a4e20bc","target":"graph","created_at":"2026-07-05T11:41:30Z","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/2507.16768/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Structured decoding enables large language models (LLMs) to generate outputs in formats required by downstream systems, such as HTML or JSON. However, existing methods suffer from efficiency bottlenecks due to grammar compilation, state tracking, and mask creation. We observe that many real-world tasks embed strong prior knowledge about output structure. Leveraging this, we propose a decomposition of constraints into static and dynamic components -- precompiling static structures offline and instantiating dynamic arguments at runtime using grammar snippets. Instead of relying on pushdown autom","authors_text":"Fanchao Qi, Gang Chen, Hao Ren, Maosong Sun, Ran Wang, Xiaoxuan Liu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-22T17:13:47Z","title":"WGRAMMAR: Leverage Prior Knowledge to Accelerate Structured Decoding"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.16768","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:28ccde1182b37b6e0007ea103806ee4d33ae0e52ea74400ca6a8be9f8002e98d","target":"record","created_at":"2026-07-05T11:41:30Z","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":"5b24da26116891fa612a9bc3ba17bffe86482303df85abc5db74bbd363249499","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-07-22T17:13:47Z","title_canon_sha256":"c011df0c470556a75fe993cbdad450e157c354cc5f44f3583d8472096be2b9e8"},"schema_version":"1.0","source":{"id":"2507.16768","kind":"arxiv","version":1}},"canonical_sha256":"1993efca4946d6d126862039a27165fb003ced8dfa2e34432e33d3f671a7a895","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1993efca4946d6d126862039a27165fb003ced8dfa2e34432e33d3f671a7a895","first_computed_at":"2026-07-05T11:41:30.750862Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:41:30.750862Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2H4wv9mEwdQTu1vMe4O7yNsclVo6koE2yeR59IbmzoxjwwLmLRRy0QlPnZceo1ptyM0H73j1Heu+0TGN3BsvCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:41:30.751352Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.16768","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:28ccde1182b37b6e0007ea103806ee4d33ae0e52ea74400ca6a8be9f8002e98d","sha256:985059eb67d6148819e776a5d8e8722522a3a8df1cdecfbac2e20e653a4e20bc"],"state_sha256":"7be6a97f983349f3805432a8b30c6dd127e3c5487d58bce8ac20e877264fd08d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/LO2RCsbw6DNP1hM4npHl/N02xba+VNGkvM7L7vRhMURNSZlErXbswE+tcIseteqSg20iklhX6+NjACsLHg9Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T12:10:21.034041Z","bundle_sha256":"8ae5745bab2cc1444a4072121b16dc090e7e0a989aec95fe87ebf0c20fd0aa42"}}