{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:UBM5KOE5LCEJ5WGLIIHJA4YZGN","short_pith_number":"pith:UBM5KOE5","canonical_record":{"source":{"id":"2305.13971","kind":"arxiv","version":6},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-05-23T11:54:37Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"2e8982282da2a2d1d0d1e590193ec10d73579647246f2b75948bbd30933e8421","abstract_canon_sha256":"f30882d514ebab80b3aebd773039955174f2e19b4a7e331abdcf78188fe5183c"},"schema_version":"1.0"},"canonical_sha256":"a059d5389d58889ed8cb420e907319336ae40f773adc8af9cce6c1f46804b637","source":{"kind":"arxiv","id":"2305.13971","version":6},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.13971","created_at":"2026-07-05T07:34:48Z"},{"alias_kind":"arxiv_version","alias_value":"2305.13971v6","created_at":"2026-07-05T07:34:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.13971","created_at":"2026-07-05T07:34:48Z"},{"alias_kind":"pith_short_12","alias_value":"UBM5KOE5LCEJ","created_at":"2026-07-05T07:34:48Z"},{"alias_kind":"pith_short_16","alias_value":"UBM5KOE5LCEJ5WGL","created_at":"2026-07-05T07:34:48Z"},{"alias_kind":"pith_short_8","alias_value":"UBM5KOE5","created_at":"2026-07-05T07:34:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:UBM5KOE5LCEJ5WGLIIHJA4YZGN","target":"record","payload":{"canonical_record":{"source":{"id":"2305.13971","kind":"arxiv","version":6},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-05-23T11:54:37Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"2e8982282da2a2d1d0d1e590193ec10d73579647246f2b75948bbd30933e8421","abstract_canon_sha256":"f30882d514ebab80b3aebd773039955174f2e19b4a7e331abdcf78188fe5183c"},"schema_version":"1.0"},"canonical_sha256":"a059d5389d58889ed8cb420e907319336ae40f773adc8af9cce6c1f46804b637","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:34:48.286542Z","signature_b64":"lmh+Mjyq8XlakIn8sW6w/cuKYNKN6wtmxTteJfj9bMgpMSuRyOdtz2rKAWq3vTCVegtIzhUoJwgD+tBYEV5gBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a059d5389d58889ed8cb420e907319336ae40f773adc8af9cce6c1f46804b637","last_reissued_at":"2026-07-05T07:34:48.286077Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:34:48.286077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.13971","source_version":6,"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-05T07:34:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eBA/Z6Q3trINev3tb0443T2JpjtsQwLP4QyU6+WLGR3/9irMkr/jw1t3bc0FCO2nMVgxr24jfzPIFTWrJeygDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T19:48:09.372133Z"},"content_sha256":"417e57f84313eb0f8af9447a2408ec013d948d18e6899fffec1a367a30ead747","schema_version":"1.0","event_id":"sha256:417e57f84313eb0f8af9447a2408ec013d948d18e6899fffec1a367a30ead747"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:UBM5KOE5LCEJ5WGLIIHJA4YZGN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Grammar-Constrained Decoding for Structured NLP Tasks without Finetuning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.CL","authors_text":"Martin Josifoski, Maxime Peyrard, Robert West, Saibo Geng","submitted_at":"2023-05-23T11:54:37Z","abstract_excerpt":"Despite their impressive performance, large language models (LMs) still struggle with reliably generating complex output structures when not finetuned to follow the required output format exactly. To address this issue, grammar-constrained decoding (GCD) can be used to control the generation of LMs, guaranteeing that the output follows a given structure. Most existing GCD methods are, however, limited to specific tasks, such as parsing or code generation. In this work, we demonstrate that formal grammars can describe the output space for a much wider range of tasks and argue that GCD can serve"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.13971","kind":"arxiv","version":6},"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/2305.13971/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-05T07:34:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l8aPMa2kpOQ2ssXx9tzzZ4q2KdsGRxRyzRDJnyqbTeXyp24cm9h/kS046D3gjoyCA9heLJ9fZ2QHQgeOnZbqBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T19:48:09.372701Z"},"content_sha256":"e44e1201db6c244f5c8b211f3ed7910ab3f90260d35bbecc2613a244a072fc52","schema_version":"1.0","event_id":"sha256:e44e1201db6c244f5c8b211f3ed7910ab3f90260d35bbecc2613a244a072fc52"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UBM5KOE5LCEJ5WGLIIHJA4YZGN/bundle.json","state_url":"https://pith.science/pith/UBM5KOE5LCEJ5WGLIIHJA4YZGN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UBM5KOE5LCEJ5WGLIIHJA4YZGN/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-08T19:48:09Z","links":{"resolver":"https://pith.science/pith/UBM5KOE5LCEJ5WGLIIHJA4YZGN","bundle":"https://pith.science/pith/UBM5KOE5LCEJ5WGLIIHJA4YZGN/bundle.json","state":"https://pith.science/pith/UBM5KOE5LCEJ5WGLIIHJA4YZGN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UBM5KOE5LCEJ5WGLIIHJA4YZGN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:UBM5KOE5LCEJ5WGLIIHJA4YZGN","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":"f30882d514ebab80b3aebd773039955174f2e19b4a7e331abdcf78188fe5183c","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-05-23T11:54:37Z","title_canon_sha256":"2e8982282da2a2d1d0d1e590193ec10d73579647246f2b75948bbd30933e8421"},"schema_version":"1.0","source":{"id":"2305.13971","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.13971","created_at":"2026-07-05T07:34:48Z"},{"alias_kind":"arxiv_version","alias_value":"2305.13971v6","created_at":"2026-07-05T07:34:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.13971","created_at":"2026-07-05T07:34:48Z"},{"alias_kind":"pith_short_12","alias_value":"UBM5KOE5LCEJ","created_at":"2026-07-05T07:34:48Z"},{"alias_kind":"pith_short_16","alias_value":"UBM5KOE5LCEJ5WGL","created_at":"2026-07-05T07:34:48Z"},{"alias_kind":"pith_short_8","alias_value":"UBM5KOE5","created_at":"2026-07-05T07:34:48Z"}],"graph_snapshots":[{"event_id":"sha256:e44e1201db6c244f5c8b211f3ed7910ab3f90260d35bbecc2613a244a072fc52","target":"graph","created_at":"2026-07-05T07:34:48Z","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/2305.13971/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Despite their impressive performance, large language models (LMs) still struggle with reliably generating complex output structures when not finetuned to follow the required output format exactly. To address this issue, grammar-constrained decoding (GCD) can be used to control the generation of LMs, guaranteeing that the output follows a given structure. Most existing GCD methods are, however, limited to specific tasks, such as parsing or code generation. In this work, we demonstrate that formal grammars can describe the output space for a much wider range of tasks and argue that GCD can serve","authors_text":"Martin Josifoski, Maxime Peyrard, Robert West, Saibo Geng","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-05-23T11:54:37Z","title":"Grammar-Constrained Decoding for Structured NLP Tasks without Finetuning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.13971","kind":"arxiv","version":6},"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:417e57f84313eb0f8af9447a2408ec013d948d18e6899fffec1a367a30ead747","target":"record","created_at":"2026-07-05T07:34:48Z","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":"f30882d514ebab80b3aebd773039955174f2e19b4a7e331abdcf78188fe5183c","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-05-23T11:54:37Z","title_canon_sha256":"2e8982282da2a2d1d0d1e590193ec10d73579647246f2b75948bbd30933e8421"},"schema_version":"1.0","source":{"id":"2305.13971","kind":"arxiv","version":6}},"canonical_sha256":"a059d5389d58889ed8cb420e907319336ae40f773adc8af9cce6c1f46804b637","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a059d5389d58889ed8cb420e907319336ae40f773adc8af9cce6c1f46804b637","first_computed_at":"2026-07-05T07:34:48.286077Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:34:48.286077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lmh+Mjyq8XlakIn8sW6w/cuKYNKN6wtmxTteJfj9bMgpMSuRyOdtz2rKAWq3vTCVegtIzhUoJwgD+tBYEV5gBA==","signature_status":"signed_v1","signed_at":"2026-07-05T07:34:48.286542Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.13971","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:417e57f84313eb0f8af9447a2408ec013d948d18e6899fffec1a367a30ead747","sha256:e44e1201db6c244f5c8b211f3ed7910ab3f90260d35bbecc2613a244a072fc52"],"state_sha256":"6f4360064abef163a8c42fd274b13f7169220d56c25d6d5d69b75ce6c8d6cbe7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mRmgwL2dlsPfKFeHYFsBn/YRvoZ2fVCdnyZJxQSy18RyeedifVPrgWOpaO3R7wbaoqN6rCqHtNcj3kHoQL4vAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T19:48:09.376660Z","bundle_sha256":"e02f2e8145c4b9fd08e2a8b8483b5201fbcc679e3efacea1e37e76275c6f9db1"}}