{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:2OL3JY27XBVEMKEUS7IWOQFKD6","short_pith_number":"pith:2OL3JY27","canonical_record":{"source":{"id":"2508.18507","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-25T21:28:14Z","cross_cats_sorted":[],"title_canon_sha256":"4743b735e25bd217d290e3c0fb2420b0966ed20c741787d2dcb8e58b656344d1","abstract_canon_sha256":"dc01c8ae5ce75c1abdddfb06391f6f040259f7a444ac43f4c837ea510ebb540b"},"schema_version":"1.0"},"canonical_sha256":"d397b4e35fb86a46289497d16740aa1f94b25060722354026a07d9a7a44c654b","source":{"kind":"arxiv","id":"2508.18507","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.18507","created_at":"2026-07-05T11:59:25Z"},{"alias_kind":"arxiv_version","alias_value":"2508.18507v1","created_at":"2026-07-05T11:59:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.18507","created_at":"2026-07-05T11:59:25Z"},{"alias_kind":"pith_short_12","alias_value":"2OL3JY27XBVE","created_at":"2026-07-05T11:59:25Z"},{"alias_kind":"pith_short_16","alias_value":"2OL3JY27XBVEMKEU","created_at":"2026-07-05T11:59:25Z"},{"alias_kind":"pith_short_8","alias_value":"2OL3JY27","created_at":"2026-07-05T11:59:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:2OL3JY27XBVEMKEUS7IWOQFKD6","target":"record","payload":{"canonical_record":{"source":{"id":"2508.18507","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-25T21:28:14Z","cross_cats_sorted":[],"title_canon_sha256":"4743b735e25bd217d290e3c0fb2420b0966ed20c741787d2dcb8e58b656344d1","abstract_canon_sha256":"dc01c8ae5ce75c1abdddfb06391f6f040259f7a444ac43f4c837ea510ebb540b"},"schema_version":"1.0"},"canonical_sha256":"d397b4e35fb86a46289497d16740aa1f94b25060722354026a07d9a7a44c654b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:59:25.647470Z","signature_b64":"A3wz02ZbKeXeSM2kCpljJdfE1uCG8tQ1x6Am0oDyMn/oEplGs2rDO0CdDsDGNmnHh2VvHYArvMxdTbGjY9zLDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d397b4e35fb86a46289497d16740aa1f94b25060722354026a07d9a7a44c654b","last_reissued_at":"2026-07-05T11:59:25.646985Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:59:25.646985Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.18507","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-07-05T11:59:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GtvdV+s/WiAU1y3QB4KoVcVu8mYGsA+FLl70c+TDyXnJ5D/hzvsu8VIM2SUSShbHmLbgwCY8Piy+WvWR8O8EBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T10:05:09.357606Z"},"content_sha256":"8fad62d659a0dc4f9a8187166ecdf1a3e5f65f62f0d345f9ec43504b1deb9948","schema_version":"1.0","event_id":"sha256:8fad62d659a0dc4f9a8187166ecdf1a3e5f65f62f0d345f9ec43504b1deb9948"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:2OL3JY27XBVEMKEUS7IWOQFKD6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Language Models For Generalised PDDL Planning: Synthesising Sound and Programmatic Policies","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Dillon Z. Chen, Johannes Zenn, Sheila A. McIlraith, Tristan Cinquin","submitted_at":"2025-08-25T21:28:14Z","abstract_excerpt":"We study the usage of language models (LMs) for planning over world models specified in the Planning Domain Definition Language (PDDL). We prompt LMs to generate Python programs that serve as generalised policies for solving PDDL problems from a given domain. Notably, our approach synthesises policies that are provably sound relative to the PDDL domain without reliance on external verifiers. We conduct experiments on competition benchmarks which show that our policies can solve more PDDL problems than PDDL planners and recent LM approaches within a fixed time and memory constraint. Our approac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.18507","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/2508.18507/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-05T11:59:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H5AFmCZZKOv4hGEx7y4IeLumkrQORE3NrMiMMhBDWd84C1ZM3U1DX1Hr4rf9mKfZK8pzX1mrC96lg//kwFHKDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T10:05:09.358191Z"},"content_sha256":"53c7a3676d0ceb4af5fc1d635b7138a10c69b8efed42f4acd56b3ede271aa124","schema_version":"1.0","event_id":"sha256:53c7a3676d0ceb4af5fc1d635b7138a10c69b8efed42f4acd56b3ede271aa124"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2OL3JY27XBVEMKEUS7IWOQFKD6/bundle.json","state_url":"https://pith.science/pith/2OL3JY27XBVEMKEUS7IWOQFKD6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2OL3JY27XBVEMKEUS7IWOQFKD6/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-04T10:05:09Z","links":{"resolver":"https://pith.science/pith/2OL3JY27XBVEMKEUS7IWOQFKD6","bundle":"https://pith.science/pith/2OL3JY27XBVEMKEUS7IWOQFKD6/bundle.json","state":"https://pith.science/pith/2OL3JY27XBVEMKEUS7IWOQFKD6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2OL3JY27XBVEMKEUS7IWOQFKD6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:2OL3JY27XBVEMKEUS7IWOQFKD6","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":"dc01c8ae5ce75c1abdddfb06391f6f040259f7a444ac43f4c837ea510ebb540b","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-25T21:28:14Z","title_canon_sha256":"4743b735e25bd217d290e3c0fb2420b0966ed20c741787d2dcb8e58b656344d1"},"schema_version":"1.0","source":{"id":"2508.18507","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.18507","created_at":"2026-07-05T11:59:25Z"},{"alias_kind":"arxiv_version","alias_value":"2508.18507v1","created_at":"2026-07-05T11:59:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.18507","created_at":"2026-07-05T11:59:25Z"},{"alias_kind":"pith_short_12","alias_value":"2OL3JY27XBVE","created_at":"2026-07-05T11:59:25Z"},{"alias_kind":"pith_short_16","alias_value":"2OL3JY27XBVEMKEU","created_at":"2026-07-05T11:59:25Z"},{"alias_kind":"pith_short_8","alias_value":"2OL3JY27","created_at":"2026-07-05T11:59:25Z"}],"graph_snapshots":[{"event_id":"sha256:53c7a3676d0ceb4af5fc1d635b7138a10c69b8efed42f4acd56b3ede271aa124","target":"graph","created_at":"2026-07-05T11:59:25Z","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/2508.18507/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study the usage of language models (LMs) for planning over world models specified in the Planning Domain Definition Language (PDDL). We prompt LMs to generate Python programs that serve as generalised policies for solving PDDL problems from a given domain. Notably, our approach synthesises policies that are provably sound relative to the PDDL domain without reliance on external verifiers. We conduct experiments on competition benchmarks which show that our policies can solve more PDDL problems than PDDL planners and recent LM approaches within a fixed time and memory constraint. Our approac","authors_text":"Dillon Z. Chen, Johannes Zenn, Sheila A. McIlraith, Tristan Cinquin","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-25T21:28:14Z","title":"Language Models For Generalised PDDL Planning: Synthesising Sound and Programmatic Policies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.18507","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:8fad62d659a0dc4f9a8187166ecdf1a3e5f65f62f0d345f9ec43504b1deb9948","target":"record","created_at":"2026-07-05T11:59:25Z","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":"dc01c8ae5ce75c1abdddfb06391f6f040259f7a444ac43f4c837ea510ebb540b","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-08-25T21:28:14Z","title_canon_sha256":"4743b735e25bd217d290e3c0fb2420b0966ed20c741787d2dcb8e58b656344d1"},"schema_version":"1.0","source":{"id":"2508.18507","kind":"arxiv","version":1}},"canonical_sha256":"d397b4e35fb86a46289497d16740aa1f94b25060722354026a07d9a7a44c654b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d397b4e35fb86a46289497d16740aa1f94b25060722354026a07d9a7a44c654b","first_computed_at":"2026-07-05T11:59:25.646985Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:59:25.646985Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"A3wz02ZbKeXeSM2kCpljJdfE1uCG8tQ1x6Am0oDyMn/oEplGs2rDO0CdDsDGNmnHh2VvHYArvMxdTbGjY9zLDw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:59:25.647470Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.18507","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8fad62d659a0dc4f9a8187166ecdf1a3e5f65f62f0d345f9ec43504b1deb9948","sha256:53c7a3676d0ceb4af5fc1d635b7138a10c69b8efed42f4acd56b3ede271aa124"],"state_sha256":"169bed51d832a4a7a04cd4a4ff0655a8aa01952d6ecbe85ce377fb53aecc7ded"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ISwxEboI52KXSyYDsoSH7d5VtyvKJ0ZI/YlXdowjShcW3FLdIYf8vEy2zSXa2lVCbF8lOB62/W2398LFqyj0AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T10:05:09.366858Z","bundle_sha256":"ee5904ba684f49904e7822f30fe27d10ef87a843f3813ffe2899f2d6a988705a"}}