{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:QLTLL2BGFAFWEPFBVEPJTCA75Z","short_pith_number":"pith:QLTLL2BG","canonical_record":{"source":{"id":"2502.09061","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-02-13T08:23:42Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"0f2d2aa150fc1b4678d9d7e61c436aac455b14a9ef9418cc074c8ee15d8ae1b7","abstract_canon_sha256":"b6864ee1af7e33221a05330f8719634d251f82bcd45a5cbb61957a1d08e58c41"},"schema_version":"1.0"},"canonical_sha256":"82e6b5e826280b623ca1a91e99881fee5cb86218030fb255b642c808eb1a8fef","source":{"kind":"arxiv","id":"2502.09061","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.09061","created_at":"2026-07-05T12:05:13Z"},{"alias_kind":"arxiv_version","alias_value":"2502.09061v4","created_at":"2026-07-05T12:05:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.09061","created_at":"2026-07-05T12:05:13Z"},{"alias_kind":"pith_short_12","alias_value":"QLTLL2BGFAFW","created_at":"2026-07-05T12:05:13Z"},{"alias_kind":"pith_short_16","alias_value":"QLTLL2BGFAFWEPFB","created_at":"2026-07-05T12:05:13Z"},{"alias_kind":"pith_short_8","alias_value":"QLTLL2BG","created_at":"2026-07-05T12:05:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:QLTLL2BGFAFWEPFBVEPJTCA75Z","target":"record","payload":{"canonical_record":{"source":{"id":"2502.09061","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-02-13T08:23:42Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"0f2d2aa150fc1b4678d9d7e61c436aac455b14a9ef9418cc074c8ee15d8ae1b7","abstract_canon_sha256":"b6864ee1af7e33221a05330f8719634d251f82bcd45a5cbb61957a1d08e58c41"},"schema_version":"1.0"},"canonical_sha256":"82e6b5e826280b623ca1a91e99881fee5cb86218030fb255b642c808eb1a8fef","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:05:13.566412Z","signature_b64":"Y8J9wMQH/FXLoGgiJde8zJ8KToG7oLUw9FgTVZ9ciPGafWJ++r/5qwURZtHABYTEs1FuiIHGfnewcVRwAYbtCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"82e6b5e826280b623ca1a91e99881fee5cb86218030fb255b642c808eb1a8fef","last_reissued_at":"2026-07-05T12:05:13.565798Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:05:13.565798Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.09061","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-05T12:05:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pAz08PhLb9B22ASpNkaN4Ui2cT+NJRf2nm6MCBkjmh/ZymcnTGj/2FJ23m7PF+WKSaFaMZ7He2DCKPGObw0fCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T19:21:04.443272Z"},"content_sha256":"6e6b20e97a9ea8808ed3a158f22c029b209f53a48e8b848c85354a8c3ce80584","schema_version":"1.0","event_id":"sha256:6e6b20e97a9ea8808ed3a158f22c029b209f53a48e8b848c85354a8c3ce80584"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:QLTLL2BGFAFWEPFBVEPJTCA75Z","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"CRANE: Reasoning with constrained LLM generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.PL","authors_text":"Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic, Shubham Ugare, Tarun Suresh","submitted_at":"2025-02-13T08:23:42Z","abstract_excerpt":"Code generation, symbolic math reasoning, and other tasks require LLMs to produce outputs that are both syntactically and semantically correct. Constrained LLM generation is a promising direction to enforce adherence to formal grammar, but prior works have empirically observed that strict enforcement of formal constraints often diminishes the reasoning capabilities of LLMs. In this work, we first provide a theoretical explanation for why constraining LLM outputs to very restrictive grammars that only allow syntactically valid final answers reduces the reasoning capabilities of the model. Secon"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.09061","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/2502.09061/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-05T12:05:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RjIE7B65zzLHwoTSD4/PPFJYEr6wpolgZLVKnHGEzVwOFRnCPra/BhlZ+iVfnL/eFkkHUs8rVR+NY5KOlxvLBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T19:21:04.447224Z"},"content_sha256":"4e04f38e1f03da49761d052a7c5c9f8e56585cef7d3879812d3bb3ae75d39b1b","schema_version":"1.0","event_id":"sha256:4e04f38e1f03da49761d052a7c5c9f8e56585cef7d3879812d3bb3ae75d39b1b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QLTLL2BGFAFWEPFBVEPJTCA75Z/bundle.json","state_url":"https://pith.science/pith/QLTLL2BGFAFWEPFBVEPJTCA75Z/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QLTLL2BGFAFWEPFBVEPJTCA75Z/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:21:04Z","links":{"resolver":"https://pith.science/pith/QLTLL2BGFAFWEPFBVEPJTCA75Z","bundle":"https://pith.science/pith/QLTLL2BGFAFWEPFBVEPJTCA75Z/bundle.json","state":"https://pith.science/pith/QLTLL2BGFAFWEPFBVEPJTCA75Z/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QLTLL2BGFAFWEPFBVEPJTCA75Z/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:QLTLL2BGFAFWEPFBVEPJTCA75Z","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":"b6864ee1af7e33221a05330f8719634d251f82bcd45a5cbb61957a1d08e58c41","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-02-13T08:23:42Z","title_canon_sha256":"0f2d2aa150fc1b4678d9d7e61c436aac455b14a9ef9418cc074c8ee15d8ae1b7"},"schema_version":"1.0","source":{"id":"2502.09061","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.09061","created_at":"2026-07-05T12:05:13Z"},{"alias_kind":"arxiv_version","alias_value":"2502.09061v4","created_at":"2026-07-05T12:05:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.09061","created_at":"2026-07-05T12:05:13Z"},{"alias_kind":"pith_short_12","alias_value":"QLTLL2BGFAFW","created_at":"2026-07-05T12:05:13Z"},{"alias_kind":"pith_short_16","alias_value":"QLTLL2BGFAFWEPFB","created_at":"2026-07-05T12:05:13Z"},{"alias_kind":"pith_short_8","alias_value":"QLTLL2BG","created_at":"2026-07-05T12:05:13Z"}],"graph_snapshots":[{"event_id":"sha256:4e04f38e1f03da49761d052a7c5c9f8e56585cef7d3879812d3bb3ae75d39b1b","target":"graph","created_at":"2026-07-05T12:05:13Z","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/2502.09061/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Code generation, symbolic math reasoning, and other tasks require LLMs to produce outputs that are both syntactically and semantically correct. Constrained LLM generation is a promising direction to enforce adherence to formal grammar, but prior works have empirically observed that strict enforcement of formal constraints often diminishes the reasoning capabilities of LLMs. In this work, we first provide a theoretical explanation for why constraining LLM outputs to very restrictive grammars that only allow syntactically valid final answers reduces the reasoning capabilities of the model. Secon","authors_text":"Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic, Shubham Ugare, Tarun Suresh","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-02-13T08:23:42Z","title":"CRANE: Reasoning with constrained LLM generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.09061","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:6e6b20e97a9ea8808ed3a158f22c029b209f53a48e8b848c85354a8c3ce80584","target":"record","created_at":"2026-07-05T12:05:13Z","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":"b6864ee1af7e33221a05330f8719634d251f82bcd45a5cbb61957a1d08e58c41","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-02-13T08:23:42Z","title_canon_sha256":"0f2d2aa150fc1b4678d9d7e61c436aac455b14a9ef9418cc074c8ee15d8ae1b7"},"schema_version":"1.0","source":{"id":"2502.09061","kind":"arxiv","version":4}},"canonical_sha256":"82e6b5e826280b623ca1a91e99881fee5cb86218030fb255b642c808eb1a8fef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"82e6b5e826280b623ca1a91e99881fee5cb86218030fb255b642c808eb1a8fef","first_computed_at":"2026-07-05T12:05:13.565798Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:05:13.565798Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y8J9wMQH/FXLoGgiJde8zJ8KToG7oLUw9FgTVZ9ciPGafWJ++r/5qwURZtHABYTEs1FuiIHGfnewcVRwAYbtCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T12:05:13.566412Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.09061","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6e6b20e97a9ea8808ed3a158f22c029b209f53a48e8b848c85354a8c3ce80584","sha256:4e04f38e1f03da49761d052a7c5c9f8e56585cef7d3879812d3bb3ae75d39b1b"],"state_sha256":"cfb74d9fe2a835f75726cbcfc59820d8a02345c096e70b4b2a65e9d5799762f0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GSrN7Ez+kmoTNfQEzkO9pO0aj+W6Sli13cSkXgqnpXkXFidf87Quwx6L45hFTwDhYlrYwbIIslrgExBtxwYbAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T19:21:04.477421Z","bundle_sha256":"524ea6e70e7b2927dc25c330ebb46bd5587792d5d74ae44157559af0807865b8"}}