{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:SVLX5XHIH7CU5Z5KVKCD3VZNWO","short_pith_number":"pith:SVLX5XHI","canonical_record":{"source":{"id":"2403.01632","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-03-03T22:38:35Z","cross_cats_sorted":["cs.FL","cs.PL","cs.SE"],"title_canon_sha256":"65db2cab8f13e6231896a0db23a367275c373f0c27f731b2be2494d1f247bbfe","abstract_canon_sha256":"116d86de93a02c0d55b291cbaea0d293521ec75bfebd02015427c4268fbccd83"},"schema_version":"1.0"},"canonical_sha256":"95577edce83fc54ee7aaaa843dd72db3bacc29fe4bfc72906a81611d8e71e186","source":{"kind":"arxiv","id":"2403.01632","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.01632","created_at":"2026-07-05T09:31:43Z"},{"alias_kind":"arxiv_version","alias_value":"2403.01632v4","created_at":"2026-07-05T09:31:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.01632","created_at":"2026-07-05T09:31:43Z"},{"alias_kind":"pith_short_12","alias_value":"SVLX5XHIH7CU","created_at":"2026-07-05T09:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SVLX5XHIH7CU5Z5K","created_at":"2026-07-05T09:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SVLX5XHI","created_at":"2026-07-05T09:31:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:SVLX5XHIH7CU5Z5KVKCD3VZNWO","target":"record","payload":{"canonical_record":{"source":{"id":"2403.01632","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-03-03T22:38:35Z","cross_cats_sorted":["cs.FL","cs.PL","cs.SE"],"title_canon_sha256":"65db2cab8f13e6231896a0db23a367275c373f0c27f731b2be2494d1f247bbfe","abstract_canon_sha256":"116d86de93a02c0d55b291cbaea0d293521ec75bfebd02015427c4268fbccd83"},"schema_version":"1.0"},"canonical_sha256":"95577edce83fc54ee7aaaa843dd72db3bacc29fe4bfc72906a81611d8e71e186","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:31:43.896740Z","signature_b64":"yNoONnGPT36wUttNK7TsgNpIDCKApOYhoISeIg1yZ6kjtU9yQunYsEaxhwLSKqtnVwWBABLOiBbdr07924TdBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"95577edce83fc54ee7aaaa843dd72db3bacc29fe4bfc72906a81611d8e71e186","last_reissued_at":"2026-07-05T09:31:43.896236Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:31:43.896236Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.01632","source_version":4,"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-05T09:31:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"62skS3SL535OI0q+xG6jVQPpMaWToVRzjXvmTCrwhjvN+p3z5dgA3B09XzA4Rni1khgTu0Ps1nOjq+l/VbjhBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T01:25:28.648879Z"},"content_sha256":"0b668c55d2dddeb2a171731efce5a36fee037c0851359e61fd4f49fc200cd987","schema_version":"1.0","event_id":"sha256:0b668c55d2dddeb2a171731efce5a36fee037c0851359e61fd4f49fc200cd987"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:SVLX5XHIH7CU5Z5KVKCD3VZNWO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SynCode: LLM Generation with Grammar Augmentation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL","cs.PL","cs.SE"],"primary_cat":"cs.LG","authors_text":"Gagandeep Singh, Hangoo Kang, Sasa Misailovic, Shubham Ugare, Tarun Suresh","submitted_at":"2024-03-03T22:38:35Z","abstract_excerpt":"LLMs are widely used in complex AI applications. These applications underscore the need for LLM outputs to adhere to a specific format, for their integration with other components in the systems. Typically the format rules e.g., for data serialization formats such as JSON, YAML, or Code in Programming Language are expressed as context-free grammar (CFG). Due to the hallucinations and unreliability of LLMs, instructing LLMs to adhere to specified syntax becomes an increasingly important challenge.\n  We present SynCode, a novel framework for efficient and general syntactical decoding with LLMs, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.01632","kind":"arxiv","version":4},"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/2403.01632/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-05T09:31:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k14KbWBqLA67No1NaCLvAmzKZmEkQEFESGO4bayJE8n/K9F/I3RbRCM4dbIEJ1JyGuXXMUVrV2buBiXe1avEDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T01:25:28.649550Z"},"content_sha256":"93ac682de0331e2338e125f889135d74b82f9ee145be4b71891e812aeb004297","schema_version":"1.0","event_id":"sha256:93ac682de0331e2338e125f889135d74b82f9ee145be4b71891e812aeb004297"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SVLX5XHIH7CU5Z5KVKCD3VZNWO/bundle.json","state_url":"https://pith.science/pith/SVLX5XHIH7CU5Z5KVKCD3VZNWO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SVLX5XHIH7CU5Z5KVKCD3VZNWO/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-05T01:25:28Z","links":{"resolver":"https://pith.science/pith/SVLX5XHIH7CU5Z5KVKCD3VZNWO","bundle":"https://pith.science/pith/SVLX5XHIH7CU5Z5KVKCD3VZNWO/bundle.json","state":"https://pith.science/pith/SVLX5XHIH7CU5Z5KVKCD3VZNWO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SVLX5XHIH7CU5Z5KVKCD3VZNWO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:SVLX5XHIH7CU5Z5KVKCD3VZNWO","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":"116d86de93a02c0d55b291cbaea0d293521ec75bfebd02015427c4268fbccd83","cross_cats_sorted":["cs.FL","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-03-03T22:38:35Z","title_canon_sha256":"65db2cab8f13e6231896a0db23a367275c373f0c27f731b2be2494d1f247bbfe"},"schema_version":"1.0","source":{"id":"2403.01632","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.01632","created_at":"2026-07-05T09:31:43Z"},{"alias_kind":"arxiv_version","alias_value":"2403.01632v4","created_at":"2026-07-05T09:31:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.01632","created_at":"2026-07-05T09:31:43Z"},{"alias_kind":"pith_short_12","alias_value":"SVLX5XHIH7CU","created_at":"2026-07-05T09:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SVLX5XHIH7CU5Z5K","created_at":"2026-07-05T09:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SVLX5XHI","created_at":"2026-07-05T09:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:93ac682de0331e2338e125f889135d74b82f9ee145be4b71891e812aeb004297","target":"graph","created_at":"2026-07-05T09:31:43Z","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/2403.01632/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"LLMs are widely used in complex AI applications. These applications underscore the need for LLM outputs to adhere to a specific format, for their integration with other components in the systems. Typically the format rules e.g., for data serialization formats such as JSON, YAML, or Code in Programming Language are expressed as context-free grammar (CFG). Due to the hallucinations and unreliability of LLMs, instructing LLMs to adhere to specified syntax becomes an increasingly important challenge.\n  We present SynCode, a novel framework for efficient and general syntactical decoding with LLMs, ","authors_text":"Gagandeep Singh, Hangoo Kang, Sasa Misailovic, Shubham Ugare, Tarun Suresh","cross_cats":["cs.FL","cs.PL","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-03-03T22:38:35Z","title":"SynCode: LLM Generation with Grammar Augmentation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.01632","kind":"arxiv","version":4},"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:0b668c55d2dddeb2a171731efce5a36fee037c0851359e61fd4f49fc200cd987","target":"record","created_at":"2026-07-05T09:31:43Z","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":"116d86de93a02c0d55b291cbaea0d293521ec75bfebd02015427c4268fbccd83","cross_cats_sorted":["cs.FL","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-03-03T22:38:35Z","title_canon_sha256":"65db2cab8f13e6231896a0db23a367275c373f0c27f731b2be2494d1f247bbfe"},"schema_version":"1.0","source":{"id":"2403.01632","kind":"arxiv","version":4}},"canonical_sha256":"95577edce83fc54ee7aaaa843dd72db3bacc29fe4bfc72906a81611d8e71e186","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"95577edce83fc54ee7aaaa843dd72db3bacc29fe4bfc72906a81611d8e71e186","first_computed_at":"2026-07-05T09:31:43.896236Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:31:43.896236Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yNoONnGPT36wUttNK7TsgNpIDCKApOYhoISeIg1yZ6kjtU9yQunYsEaxhwLSKqtnVwWBABLOiBbdr07924TdBg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:31:43.896740Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.01632","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0b668c55d2dddeb2a171731efce5a36fee037c0851359e61fd4f49fc200cd987","sha256:93ac682de0331e2338e125f889135d74b82f9ee145be4b71891e812aeb004297"],"state_sha256":"4240385e54f5a2a0995a81056f19e7482cd888c859315719407ac2f2f7291a03"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pDC0MGY5W3QpVt7fZA7p2Ihe7CsgvU0cyRMBoSWJ/vOkyjPfzioZMJsPdGlpjcE/qh50k+Xk3tKXqF3+vLaCCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T01:25:28.663294Z","bundle_sha256":"60034104b0dba4e897d24338e466042cc72269f002f3960bfd6e41a049b84094"}}