{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:2TI36DTPPKFOURHJOH2HPZT3VN","short_pith_number":"pith:2TI36DTP","canonical_record":{"source":{"id":"2605.21902","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T02:24:33Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"a0f37d5521107a06d450991a284c2c1530b687177605bc4e5d4c9d40ebb17a20","abstract_canon_sha256":"3f7e9b2440ed9a80ae2eb57c6e318c99003f8c89ac4ec85eabcff1f9988190f1"},"schema_version":"1.0"},"canonical_sha256":"d4d1bf0e6f7a8aea44e971f477e67bab6d0ffb1d678d1db15059a1a4587addd6","source":{"kind":"arxiv","id":"2605.21902","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.21902","created_at":"2026-05-22T01:04:13Z"},{"alias_kind":"arxiv_version","alias_value":"2605.21902v1","created_at":"2026-05-22T01:04:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.21902","created_at":"2026-05-22T01:04:13Z"},{"alias_kind":"pith_short_12","alias_value":"2TI36DTPPKFO","created_at":"2026-05-22T01:04:13Z"},{"alias_kind":"pith_short_16","alias_value":"2TI36DTPPKFOURHJ","created_at":"2026-05-22T01:04:13Z"},{"alias_kind":"pith_short_8","alias_value":"2TI36DTP","created_at":"2026-05-22T01:04:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:2TI36DTPPKFOURHJOH2HPZT3VN","target":"record","payload":{"canonical_record":{"source":{"id":"2605.21902","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T02:24:33Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"a0f37d5521107a06d450991a284c2c1530b687177605bc4e5d4c9d40ebb17a20","abstract_canon_sha256":"3f7e9b2440ed9a80ae2eb57c6e318c99003f8c89ac4ec85eabcff1f9988190f1"},"schema_version":"1.0"},"canonical_sha256":"d4d1bf0e6f7a8aea44e971f477e67bab6d0ffb1d678d1db15059a1a4587addd6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-22T01:04:13.731387Z","signature_b64":"2mv3EK63Y2dsJZFPFOCv5k5yPQLts+XmfgHQT68x2i9R1kOKjHsJmTZQAueKweXjrzJpuMt+3QH+VNyFv462BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d4d1bf0e6f7a8aea44e971f477e67bab6d0ffb1d678d1db15059a1a4587addd6","last_reissued_at":"2026-05-22T01:04:13.730605Z","signature_status":"signed_v1","first_computed_at":"2026-05-22T01:04:13.730605Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.21902","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-05-22T01:04:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lqjiwbemNTqGAyWehtXEO8V4HajDOqAEKusO7jisOKiVpPcMvqgIbuPiVae+9wK3d2taGGnT70JtFLKUL9TmDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T03:21:35.385155Z"},"content_sha256":"85a20b1e8938d07205b1e3eaa72138f6f5fa1381490eef4f4038844a4905623d","schema_version":"1.0","event_id":"sha256:85a20b1e8938d07205b1e3eaa72138f6f5fa1381490eef4f4038844a4905623d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:2TI36DTPPKFOURHJOH2HPZT3VN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Planning in the LLM Era: Building for Reliability and Efficiency","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Harsha Kokel, Kavitha Srinivas, Michael Katz, Shirin Sohrabi","submitted_at":"2026-05-21T02:24:33Z","abstract_excerpt":"Growing attention to intelligent agents has put a spotlight on one of their central capabilities: planning. Early attempts to leverage large language models (LLMs) for planning relied on single-shot plan generation, followed by hybrid approaches that coupled LLMs with limited external search. These methods, unsound and incomplete by their very nature, often require substantial resources without yielding better solutions on unseen problems. As the limitations of LLMs become clearer, recent work has shifted toward using them at solution construction time -- generating symbolic solvers for a fami"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.21902","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/2605.21902/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-05-22T01:04:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MmwuGWIdKy9GxXEZZfLPROZP5DWvWKw98S3RGklZjisOsFUcqSkWWtNMX3YTsYG4ZMDohUv0xSTauQ1RA0lsBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T03:21:35.385566Z"},"content_sha256":"56d17dd7636e8402627b29372f97faaa79875095a905fdc684f5340bd89af654","schema_version":"1.0","event_id":"sha256:56d17dd7636e8402627b29372f97faaa79875095a905fdc684f5340bd89af654"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2TI36DTPPKFOURHJOH2HPZT3VN/bundle.json","state_url":"https://pith.science/pith/2TI36DTPPKFOURHJOH2HPZT3VN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2TI36DTPPKFOURHJOH2HPZT3VN/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-05-23T03:21:35Z","links":{"resolver":"https://pith.science/pith/2TI36DTPPKFOURHJOH2HPZT3VN","bundle":"https://pith.science/pith/2TI36DTPPKFOURHJOH2HPZT3VN/bundle.json","state":"https://pith.science/pith/2TI36DTPPKFOURHJOH2HPZT3VN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2TI36DTPPKFOURHJOH2HPZT3VN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:2TI36DTPPKFOURHJOH2HPZT3VN","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":"3f7e9b2440ed9a80ae2eb57c6e318c99003f8c89ac4ec85eabcff1f9988190f1","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T02:24:33Z","title_canon_sha256":"a0f37d5521107a06d450991a284c2c1530b687177605bc4e5d4c9d40ebb17a20"},"schema_version":"1.0","source":{"id":"2605.21902","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.21902","created_at":"2026-05-22T01:04:13Z"},{"alias_kind":"arxiv_version","alias_value":"2605.21902v1","created_at":"2026-05-22T01:04:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.21902","created_at":"2026-05-22T01:04:13Z"},{"alias_kind":"pith_short_12","alias_value":"2TI36DTPPKFO","created_at":"2026-05-22T01:04:13Z"},{"alias_kind":"pith_short_16","alias_value":"2TI36DTPPKFOURHJ","created_at":"2026-05-22T01:04:13Z"},{"alias_kind":"pith_short_8","alias_value":"2TI36DTP","created_at":"2026-05-22T01:04:13Z"}],"graph_snapshots":[{"event_id":"sha256:56d17dd7636e8402627b29372f97faaa79875095a905fdc684f5340bd89af654","target":"graph","created_at":"2026-05-22T01:04: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/2605.21902/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Growing attention to intelligent agents has put a spotlight on one of their central capabilities: planning. Early attempts to leverage large language models (LLMs) for planning relied on single-shot plan generation, followed by hybrid approaches that coupled LLMs with limited external search. These methods, unsound and incomplete by their very nature, often require substantial resources without yielding better solutions on unseen problems. As the limitations of LLMs become clearer, recent work has shifted toward using them at solution construction time -- generating symbolic solvers for a fami","authors_text":"Harsha Kokel, Kavitha Srinivas, Michael Katz, Shirin Sohrabi","cross_cats":["cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T02:24:33Z","title":"Planning in the LLM Era: Building for Reliability and Efficiency"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.21902","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:85a20b1e8938d07205b1e3eaa72138f6f5fa1381490eef4f4038844a4905623d","target":"record","created_at":"2026-05-22T01:04: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":"3f7e9b2440ed9a80ae2eb57c6e318c99003f8c89ac4ec85eabcff1f9988190f1","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T02:24:33Z","title_canon_sha256":"a0f37d5521107a06d450991a284c2c1530b687177605bc4e5d4c9d40ebb17a20"},"schema_version":"1.0","source":{"id":"2605.21902","kind":"arxiv","version":1}},"canonical_sha256":"d4d1bf0e6f7a8aea44e971f477e67bab6d0ffb1d678d1db15059a1a4587addd6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d4d1bf0e6f7a8aea44e971f477e67bab6d0ffb1d678d1db15059a1a4587addd6","first_computed_at":"2026-05-22T01:04:13.730605Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-22T01:04:13.730605Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2mv3EK63Y2dsJZFPFOCv5k5yPQLts+XmfgHQT68x2i9R1kOKjHsJmTZQAueKweXjrzJpuMt+3QH+VNyFv462BQ==","signature_status":"signed_v1","signed_at":"2026-05-22T01:04:13.731387Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.21902","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85a20b1e8938d07205b1e3eaa72138f6f5fa1381490eef4f4038844a4905623d","sha256:56d17dd7636e8402627b29372f97faaa79875095a905fdc684f5340bd89af654"],"state_sha256":"d157ef59298adac3a0b6cc9d6aa8f224a108e4c638d08ca9b74645b3451785bc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Sr8FSMm/DNsapWctbHv0SuSGbtmpCB8Mu28e/65fc61B9CwI4Bo1zsgi4EnBxUq7VK9YPn2Au40DL4maXHUiAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T03:21:35.388142Z","bundle_sha256":"ac43501d442acbac0050db151e34cd1b30745cc24a203af10addb599dc6b14fe"}}