{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:M65Z77A2CYGDZ2SJVSSWTQTCJZ","short_pith_number":"pith:M65Z77A2","canonical_record":{"source":{"id":"2308.12682","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-24T09:47:28Z","cross_cats_sorted":[],"title_canon_sha256":"5c724b16ae9f9f17c47fb0a049df25aa428daafe9ba2ff66e3f72008258fd30a","abstract_canon_sha256":"0499498f78f524977eccb34c145fbb5ded49ee0e564b71f999c3181dcf71fe4a"},"schema_version":"1.0"},"canonical_sha256":"67bb9ffc1a160c3cea49aca569c2624e6c32620aef936b45a453f69694f01cd9","source":{"kind":"arxiv","id":"2308.12682","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.12682","created_at":"2026-07-05T07:29:27Z"},{"alias_kind":"arxiv_version","alias_value":"2308.12682v2","created_at":"2026-07-05T07:29:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.12682","created_at":"2026-07-05T07:29:27Z"},{"alias_kind":"pith_short_12","alias_value":"M65Z77A2CYGD","created_at":"2026-07-05T07:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"M65Z77A2CYGDZ2SJ","created_at":"2026-07-05T07:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"M65Z77A2","created_at":"2026-07-05T07:29:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:M65Z77A2CYGDZ2SJVSSWTQTCJZ","target":"record","payload":{"canonical_record":{"source":{"id":"2308.12682","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-24T09:47:28Z","cross_cats_sorted":[],"title_canon_sha256":"5c724b16ae9f9f17c47fb0a049df25aa428daafe9ba2ff66e3f72008258fd30a","abstract_canon_sha256":"0499498f78f524977eccb34c145fbb5ded49ee0e564b71f999c3181dcf71fe4a"},"schema_version":"1.0"},"canonical_sha256":"67bb9ffc1a160c3cea49aca569c2624e6c32620aef936b45a453f69694f01cd9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:29:27.894668Z","signature_b64":"4EqjOPoAG+L/RRa7OGkQ/jOwpjIXW+Wy0OEPpINZuZYPFDGEIPKXZLn28f+f5f4fcdU9y58vSnoI3pkizFVCBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"67bb9ffc1a160c3cea49aca569c2624e6c32620aef936b45a453f69694f01cd9","last_reissued_at":"2026-07-05T07:29:27.894235Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:29:27.894235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2308.12682","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-05T07:29:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"08CXgbuqmhCykKDCSKt6o5pmfSCUiMcofBV/BIdTwNTKL0HkX2kc8ckt5zbyfb3w9eWJTZK6QDqwpO4PO+sjCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T04:48:04.046946Z"},"content_sha256":"0a65b2d9e53143ea18f4015bd37d4e9b08c51affa704fc6aa33028b9dde35489","schema_version":"1.0","event_id":"sha256:0a65b2d9e53143ea18f4015bd37d4e9b08c51affa704fc6aa33028b9dde35489"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:M65Z77A2CYGDZ2SJVSSWTQTCJZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Luc De Raedt, Pedro Zuidberg Dos Martires, Rishi Hazra","submitted_at":"2023-08-24T09:47:28Z","abstract_excerpt":"Large Language Models (LLMs) have demonstrated impressive planning abilities due to their vast \"world knowledge\". Yet, obtaining plans that are both feasible (grounded in affordances) and cost-effective (in plan length), remains a challenge, despite recent progress. This contrasts with heuristic planning methods that employ domain knowledge (formalized in action models such as PDDL) and heuristic search to generate feasible, optimal plans. Inspired by this, we propose to combine the power of LLMs and heuristic planning by leveraging the world knowledge of LLMs and the principles of heuristic s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.12682","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/2308.12682/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-05T07:29:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xcAl7INen8HsDad1kYxZpmNqErzyVLC2LuGo2rrF9J9bNr1L9liMJSHQ4YLKsaQlvRVbd5icp4bFjRpOypqmDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T04:48:04.047466Z"},"content_sha256":"cf37069f7d3044d240b1785cfee9bde26efc384a13eaec8545ef081f04886932","schema_version":"1.0","event_id":"sha256:cf37069f7d3044d240b1785cfee9bde26efc384a13eaec8545ef081f04886932"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/M65Z77A2CYGDZ2SJVSSWTQTCJZ/bundle.json","state_url":"https://pith.science/pith/M65Z77A2CYGDZ2SJVSSWTQTCJZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/M65Z77A2CYGDZ2SJVSSWTQTCJZ/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-09T04:48:04Z","links":{"resolver":"https://pith.science/pith/M65Z77A2CYGDZ2SJVSSWTQTCJZ","bundle":"https://pith.science/pith/M65Z77A2CYGDZ2SJVSSWTQTCJZ/bundle.json","state":"https://pith.science/pith/M65Z77A2CYGDZ2SJVSSWTQTCJZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/M65Z77A2CYGDZ2SJVSSWTQTCJZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:M65Z77A2CYGDZ2SJVSSWTQTCJZ","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":"0499498f78f524977eccb34c145fbb5ded49ee0e564b71f999c3181dcf71fe4a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-24T09:47:28Z","title_canon_sha256":"5c724b16ae9f9f17c47fb0a049df25aa428daafe9ba2ff66e3f72008258fd30a"},"schema_version":"1.0","source":{"id":"2308.12682","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.12682","created_at":"2026-07-05T07:29:27Z"},{"alias_kind":"arxiv_version","alias_value":"2308.12682v2","created_at":"2026-07-05T07:29:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.12682","created_at":"2026-07-05T07:29:27Z"},{"alias_kind":"pith_short_12","alias_value":"M65Z77A2CYGD","created_at":"2026-07-05T07:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"M65Z77A2CYGDZ2SJ","created_at":"2026-07-05T07:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"M65Z77A2","created_at":"2026-07-05T07:29:27Z"}],"graph_snapshots":[{"event_id":"sha256:cf37069f7d3044d240b1785cfee9bde26efc384a13eaec8545ef081f04886932","target":"graph","created_at":"2026-07-05T07:29:27Z","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/2308.12682/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) have demonstrated impressive planning abilities due to their vast \"world knowledge\". Yet, obtaining plans that are both feasible (grounded in affordances) and cost-effective (in plan length), remains a challenge, despite recent progress. This contrasts with heuristic planning methods that employ domain knowledge (formalized in action models such as PDDL) and heuristic search to generate feasible, optimal plans. Inspired by this, we propose to combine the power of LLMs and heuristic planning by leveraging the world knowledge of LLMs and the principles of heuristic s","authors_text":"Luc De Raedt, Pedro Zuidberg Dos Martires, Rishi Hazra","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-24T09:47:28Z","title":"SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.12682","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:0a65b2d9e53143ea18f4015bd37d4e9b08c51affa704fc6aa33028b9dde35489","target":"record","created_at":"2026-07-05T07:29:27Z","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":"0499498f78f524977eccb34c145fbb5ded49ee0e564b71f999c3181dcf71fe4a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-08-24T09:47:28Z","title_canon_sha256":"5c724b16ae9f9f17c47fb0a049df25aa428daafe9ba2ff66e3f72008258fd30a"},"schema_version":"1.0","source":{"id":"2308.12682","kind":"arxiv","version":2}},"canonical_sha256":"67bb9ffc1a160c3cea49aca569c2624e6c32620aef936b45a453f69694f01cd9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"67bb9ffc1a160c3cea49aca569c2624e6c32620aef936b45a453f69694f01cd9","first_computed_at":"2026-07-05T07:29:27.894235Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:29:27.894235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4EqjOPoAG+L/RRa7OGkQ/jOwpjIXW+Wy0OEPpINZuZYPFDGEIPKXZLn28f+f5f4fcdU9y58vSnoI3pkizFVCBw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:29:27.894668Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.12682","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0a65b2d9e53143ea18f4015bd37d4e9b08c51affa704fc6aa33028b9dde35489","sha256:cf37069f7d3044d240b1785cfee9bde26efc384a13eaec8545ef081f04886932"],"state_sha256":"71ae31186a1072b1eb57551131797ddb6c4556d28f76998c1bd40868374d2176"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n9ZyZgoSQmfXxG3mDjFsahjXc14ShyxOlJaO6h8Gr6tUIVTVMysc3rUcL0XEWpUjMS1pmA117vKGrgG7NBYUDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T04:48:04.051211Z","bundle_sha256":"425b72e23d78617cd34a23c9c1dd56de2e7a7ef90a54386f412363a29f779717"}}