{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:Y27ZQPF4QFJEVLAZNO7PC3WUZR","short_pith_number":"pith:Y27ZQPF4","canonical_record":{"source":{"id":"2402.01817","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-02-02T14:43:18Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"9af09e9a8db950429ca119b605b7a1d331a284a90982c6b6b5bc3c8ab966aeb0","abstract_canon_sha256":"2541978e8d092d7553fcdb825745e5d4dad0e3161fe624bef52edc64f5c42af3"},"schema_version":"1.0"},"canonical_sha256":"c6bf983cbc81524aac196bbef16ed4cc79e01963d0e5fb4d4c7544850813b71f","source":{"kind":"arxiv","id":"2402.01817","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.01817","created_at":"2026-07-05T08:30:31Z"},{"alias_kind":"arxiv_version","alias_value":"2402.01817v3","created_at":"2026-07-05T08:30:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.01817","created_at":"2026-07-05T08:30:31Z"},{"alias_kind":"pith_short_12","alias_value":"Y27ZQPF4QFJE","created_at":"2026-07-05T08:30:31Z"},{"alias_kind":"pith_short_16","alias_value":"Y27ZQPF4QFJEVLAZ","created_at":"2026-07-05T08:30:31Z"},{"alias_kind":"pith_short_8","alias_value":"Y27ZQPF4","created_at":"2026-07-05T08:30:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:Y27ZQPF4QFJEVLAZNO7PC3WUZR","target":"record","payload":{"canonical_record":{"source":{"id":"2402.01817","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-02-02T14:43:18Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"9af09e9a8db950429ca119b605b7a1d331a284a90982c6b6b5bc3c8ab966aeb0","abstract_canon_sha256":"2541978e8d092d7553fcdb825745e5d4dad0e3161fe624bef52edc64f5c42af3"},"schema_version":"1.0"},"canonical_sha256":"c6bf983cbc81524aac196bbef16ed4cc79e01963d0e5fb4d4c7544850813b71f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:30:31.477532Z","signature_b64":"ay0jZw52ushQSDdIDshYOpzRpqv4RyBpNJeOAUAq1SwIQiRd5UNuKo7fv3hbT7BuKfCDUSMkUlxtY4h+kJccBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c6bf983cbc81524aac196bbef16ed4cc79e01963d0e5fb4d4c7544850813b71f","last_reissued_at":"2026-07-05T08:30:31.476986Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:30:31.476986Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.01817","source_version":3,"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-05T08:30:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0U+tkUVUa+C6OSSq/PPHaEE7WbRU+C0wshl+oZGuT4KOHYOGbGAbdAdcIPCBqQksaVQecuJbO8IiUGXqsWM1BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T01:11:40.706565Z"},"content_sha256":"b2b05cb1e21a6ee6aad8ad270708e900e5a69e7285504044c7caa7eecf9e4faa","schema_version":"1.0","event_id":"sha256:b2b05cb1e21a6ee6aad8ad270708e900e5a69e7285504044c7caa7eecf9e4faa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:Y27ZQPF4QFJEVLAZNO7PC3WUZR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Anil Murthy, Karthik Valmeekam, Kaya Stechly, Lin Guan, Lucas Saldyt, Mudit Verma, Siddhant Bhambri, Subbarao Kambhampati","submitted_at":"2024-02-02T14:43:18Z","abstract_excerpt":"There is considerable confusion about the role of Large Language Models (LLMs) in planning and reasoning tasks. On one side are over-optimistic claims that LLMs can indeed do these tasks with just the right prompting or self-verification strategies. On the other side are perhaps over-pessimistic claims that all that LLMs are good for in planning/reasoning tasks are as mere translators of the problem specification from one syntactic format to another, and ship the problem off to external symbolic solvers. In this position paper, we take the view that both these extremes are misguided. We argue "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.01817","kind":"arxiv","version":3},"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/2402.01817/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-05T08:30:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"infu9kN4kygclFAiRm99a9LSa5yf8SdcFGkQzQrJ/mdVM1M/MKnWZ6JUKVYs4UBN08wyiEuiydpA8Jom8QQEAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T01:11:40.707076Z"},"content_sha256":"891b7f64b18234150a157203a1e9d341636ed09b59f6b55d33bc346c070922d8","schema_version":"1.0","event_id":"sha256:891b7f64b18234150a157203a1e9d341636ed09b59f6b55d33bc346c070922d8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR/bundle.json","state_url":"https://pith.science/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR/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-04T01:11:40Z","links":{"resolver":"https://pith.science/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR","bundle":"https://pith.science/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR/bundle.json","state":"https://pith.science/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:Y27ZQPF4QFJEVLAZNO7PC3WUZR","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":"2541978e8d092d7553fcdb825745e5d4dad0e3161fe624bef52edc64f5c42af3","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-02-02T14:43:18Z","title_canon_sha256":"9af09e9a8db950429ca119b605b7a1d331a284a90982c6b6b5bc3c8ab966aeb0"},"schema_version":"1.0","source":{"id":"2402.01817","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.01817","created_at":"2026-07-05T08:30:31Z"},{"alias_kind":"arxiv_version","alias_value":"2402.01817v3","created_at":"2026-07-05T08:30:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.01817","created_at":"2026-07-05T08:30:31Z"},{"alias_kind":"pith_short_12","alias_value":"Y27ZQPF4QFJE","created_at":"2026-07-05T08:30:31Z"},{"alias_kind":"pith_short_16","alias_value":"Y27ZQPF4QFJEVLAZ","created_at":"2026-07-05T08:30:31Z"},{"alias_kind":"pith_short_8","alias_value":"Y27ZQPF4","created_at":"2026-07-05T08:30:31Z"}],"graph_snapshots":[{"event_id":"sha256:891b7f64b18234150a157203a1e9d341636ed09b59f6b55d33bc346c070922d8","target":"graph","created_at":"2026-07-05T08:30:31Z","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/2402.01817/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"There is considerable confusion about the role of Large Language Models (LLMs) in planning and reasoning tasks. On one side are over-optimistic claims that LLMs can indeed do these tasks with just the right prompting or self-verification strategies. On the other side are perhaps over-pessimistic claims that all that LLMs are good for in planning/reasoning tasks are as mere translators of the problem specification from one syntactic format to another, and ship the problem off to external symbolic solvers. In this position paper, we take the view that both these extremes are misguided. We argue ","authors_text":"Anil Murthy, Karthik Valmeekam, Kaya Stechly, Lin Guan, Lucas Saldyt, Mudit Verma, Siddhant Bhambri, Subbarao Kambhampati","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.01817","kind":"arxiv","version":3},"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:b2b05cb1e21a6ee6aad8ad270708e900e5a69e7285504044c7caa7eecf9e4faa","target":"record","created_at":"2026-07-05T08:30:31Z","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":"2541978e8d092d7553fcdb825745e5d4dad0e3161fe624bef52edc64f5c42af3","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-02-02T14:43:18Z","title_canon_sha256":"9af09e9a8db950429ca119b605b7a1d331a284a90982c6b6b5bc3c8ab966aeb0"},"schema_version":"1.0","source":{"id":"2402.01817","kind":"arxiv","version":3}},"canonical_sha256":"c6bf983cbc81524aac196bbef16ed4cc79e01963d0e5fb4d4c7544850813b71f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c6bf983cbc81524aac196bbef16ed4cc79e01963d0e5fb4d4c7544850813b71f","first_computed_at":"2026-07-05T08:30:31.476986Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:30:31.476986Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ay0jZw52ushQSDdIDshYOpzRpqv4RyBpNJeOAUAq1SwIQiRd5UNuKo7fv3hbT7BuKfCDUSMkUlxtY4h+kJccBg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:30:31.477532Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.01817","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b2b05cb1e21a6ee6aad8ad270708e900e5a69e7285504044c7caa7eecf9e4faa","sha256:891b7f64b18234150a157203a1e9d341636ed09b59f6b55d33bc346c070922d8"],"state_sha256":"3746dedfabf2c0322de706766e2caea6ccaaafde72f2fc4173ba54518709dc9c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A7JXv/kMXesFnqMECpkJPyuSXDEk6CRYgHk2gSuAOR/RQvH4GFWg+9euc+DQMk20KKKcvuoKZp1HoDY4GvutCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T01:11:40.711822Z","bundle_sha256":"5f03a33398954da821cec576a96a89a2d040ec5a1c6142fae7dfced49e77714c"}}