{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:F7GGSK4PTZTKYPXM6WB2XGUQAN","short_pith_number":"pith:F7GGSK4P","canonical_record":{"source":{"id":"2410.07295","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-10-09T16:21:38Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"39fbd8745b23e39a70f6ed9fe8e3b6267e962ffb1922bf5bc1a3507cca21229b","abstract_canon_sha256":"a624252061ff13a167902399935a35e4ef4d18e4856d893419e7b16ff4d02968"},"schema_version":"1.0"},"canonical_sha256":"2fcc692b8f9e66ac3eecf583ab9a900362dc76ecdd8b99e724560351a316e79f","source":{"kind":"arxiv","id":"2410.07295","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.07295","created_at":"2026-07-05T10:22:07Z"},{"alias_kind":"arxiv_version","alias_value":"2410.07295v2","created_at":"2026-07-05T10:22:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.07295","created_at":"2026-07-05T10:22:07Z"},{"alias_kind":"pith_short_12","alias_value":"F7GGSK4PTZTK","created_at":"2026-07-05T10:22:07Z"},{"alias_kind":"pith_short_16","alias_value":"F7GGSK4PTZTKYPXM","created_at":"2026-07-05T10:22:07Z"},{"alias_kind":"pith_short_8","alias_value":"F7GGSK4P","created_at":"2026-07-05T10:22:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:F7GGSK4PTZTKYPXM6WB2XGUQAN","target":"record","payload":{"canonical_record":{"source":{"id":"2410.07295","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-10-09T16:21:38Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"39fbd8745b23e39a70f6ed9fe8e3b6267e962ffb1922bf5bc1a3507cca21229b","abstract_canon_sha256":"a624252061ff13a167902399935a35e4ef4d18e4856d893419e7b16ff4d02968"},"schema_version":"1.0"},"canonical_sha256":"2fcc692b8f9e66ac3eecf583ab9a900362dc76ecdd8b99e724560351a316e79f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:22:07.085209Z","signature_b64":"t90vjR0FrAP4nvvOa7Bw+vo2gLAi1ZGR8XyKo3rrKjX2d+s3hKkbnQhAtiE0sa5MJWmw/OOOcNEc6ofUkrI/Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2fcc692b8f9e66ac3eecf583ab9a900362dc76ecdd8b99e724560351a316e79f","last_reissued_at":"2026-07-05T10:22:07.084643Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:22:07.084643Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.07295","source_version":2,"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-05T10:22:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wn0xfUPgdJZm00zQ+ms2fdb/xf3p46a/DqL5BG09SPPaSQKiDkxp3sWb1z7CRULIFKAuYJi0YLXlnbgaXQyZAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T19:26:14.534869Z"},"content_sha256":"af4046c6f99097ba9aab355b81c28eb3e858fa1a25a6d771e711a070e98d7708","schema_version":"1.0","event_id":"sha256:af4046c6f99097ba9aab355b81c28eb3e858fa1a25a6d771e711a070e98d7708"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:F7GGSK4PTZTKYPXM6WB2XGUQAN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.PL"],"primary_cat":"cs.SE","authors_text":"Gagandeep Singh, Rohan Gumaste, Sasa Misailovic, Shubham Ugare, Tarun Suresh","submitted_at":"2024-10-09T16:21:38Z","abstract_excerpt":"Large Language Models (LLMs) are widely used for tasks such as natural language and code generation, but their outputs often suffer from issues like hallucination, toxicity, and incorrect results. Current libraries for structured LLM generation rely on left-to-right decoding without support for backtracking, limiting the ability to correct or refine outputs mid-generation.\n  To address this, we introduce IterGen, a user-friendly library for iterative, grammar-guided LLM generation that enables users to move both forward and backward within the generated output based on grammar symbols. By leve"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.07295","kind":"arxiv","version":2},"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/2410.07295/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-05T10:22:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bWrc7firZ4lHAFZTufbzHIdomV5JfkKpfmkjJFMDukDI3phpa8oz/Fu6FXSu0uOGWuGujho7LsxTXIsZtxRaBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T19:26:14.535804Z"},"content_sha256":"c1e4752354802b46081bcd96d1ff88059f7a8a0422fe725c347d336a06445308","schema_version":"1.0","event_id":"sha256:c1e4752354802b46081bcd96d1ff88059f7a8a0422fe725c347d336a06445308"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F7GGSK4PTZTKYPXM6WB2XGUQAN/bundle.json","state_url":"https://pith.science/pith/F7GGSK4PTZTKYPXM6WB2XGUQAN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F7GGSK4PTZTKYPXM6WB2XGUQAN/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-04T19:26:14Z","links":{"resolver":"https://pith.science/pith/F7GGSK4PTZTKYPXM6WB2XGUQAN","bundle":"https://pith.science/pith/F7GGSK4PTZTKYPXM6WB2XGUQAN/bundle.json","state":"https://pith.science/pith/F7GGSK4PTZTKYPXM6WB2XGUQAN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F7GGSK4PTZTKYPXM6WB2XGUQAN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:F7GGSK4PTZTKYPXM6WB2XGUQAN","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":"a624252061ff13a167902399935a35e4ef4d18e4856d893419e7b16ff4d02968","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-10-09T16:21:38Z","title_canon_sha256":"39fbd8745b23e39a70f6ed9fe8e3b6267e962ffb1922bf5bc1a3507cca21229b"},"schema_version":"1.0","source":{"id":"2410.07295","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.07295","created_at":"2026-07-05T10:22:07Z"},{"alias_kind":"arxiv_version","alias_value":"2410.07295v2","created_at":"2026-07-05T10:22:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.07295","created_at":"2026-07-05T10:22:07Z"},{"alias_kind":"pith_short_12","alias_value":"F7GGSK4PTZTK","created_at":"2026-07-05T10:22:07Z"},{"alias_kind":"pith_short_16","alias_value":"F7GGSK4PTZTKYPXM","created_at":"2026-07-05T10:22:07Z"},{"alias_kind":"pith_short_8","alias_value":"F7GGSK4P","created_at":"2026-07-05T10:22:07Z"}],"graph_snapshots":[{"event_id":"sha256:c1e4752354802b46081bcd96d1ff88059f7a8a0422fe725c347d336a06445308","target":"graph","created_at":"2026-07-05T10:22:07Z","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/2410.07295/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) are widely used for tasks such as natural language and code generation, but their outputs often suffer from issues like hallucination, toxicity, and incorrect results. Current libraries for structured LLM generation rely on left-to-right decoding without support for backtracking, limiting the ability to correct or refine outputs mid-generation.\n  To address this, we introduce IterGen, a user-friendly library for iterative, grammar-guided LLM generation that enables users to move both forward and backward within the generated output based on grammar symbols. By leve","authors_text":"Gagandeep Singh, Rohan Gumaste, Sasa Misailovic, Shubham Ugare, Tarun Suresh","cross_cats":["cs.LG","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-10-09T16:21:38Z","title":"IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.07295","kind":"arxiv","version":2},"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:af4046c6f99097ba9aab355b81c28eb3e858fa1a25a6d771e711a070e98d7708","target":"record","created_at":"2026-07-05T10:22:07Z","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":"a624252061ff13a167902399935a35e4ef4d18e4856d893419e7b16ff4d02968","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-10-09T16:21:38Z","title_canon_sha256":"39fbd8745b23e39a70f6ed9fe8e3b6267e962ffb1922bf5bc1a3507cca21229b"},"schema_version":"1.0","source":{"id":"2410.07295","kind":"arxiv","version":2}},"canonical_sha256":"2fcc692b8f9e66ac3eecf583ab9a900362dc76ecdd8b99e724560351a316e79f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2fcc692b8f9e66ac3eecf583ab9a900362dc76ecdd8b99e724560351a316e79f","first_computed_at":"2026-07-05T10:22:07.084643Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:22:07.084643Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"t90vjR0FrAP4nvvOa7Bw+vo2gLAi1ZGR8XyKo3rrKjX2d+s3hKkbnQhAtiE0sa5MJWmw/OOOcNEc6ofUkrI/Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T10:22:07.085209Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.07295","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:af4046c6f99097ba9aab355b81c28eb3e858fa1a25a6d771e711a070e98d7708","sha256:c1e4752354802b46081bcd96d1ff88059f7a8a0422fe725c347d336a06445308"],"state_sha256":"af21fb81f9792a5d78456f6479ec4367bae5220392b40d1c01a14f0c78a99d52"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gtEWIHy/QMZNkj0zt9UJYqPNh3yFdmmTQXXVSCBN1oQa7/HbiiwLec67QU3rCC6kqfzG6ahr/CB9DrdDoedVAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T19:26:14.546012Z","bundle_sha256":"9511dffcb703ffa4462a9c62852a958593c74916386348b998f7b950def71d0f"}}