{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:7QBGYR3YKND7NVUQAR2BQV5E2W","short_pith_number":"pith:7QBGYR3Y","canonical_record":{"source":{"id":"2404.07751","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-04-11T13:48:48Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"21c27c5e786ae806e0e007ae0f771216e3877a49725009477b7d75bcacf66980","abstract_canon_sha256":"515d47c8669ffe66869228cc03c9697bbeb629796452fac345b755dedacb1573"},"schema_version":"1.0"},"canonical_sha256":"fc026c47785347f6d69004741857a4d5ac56a52e6504cf3f4899888a444beb24","source":{"kind":"arxiv","id":"2404.07751","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.07751","created_at":"2026-07-05T08:06:57Z"},{"alias_kind":"arxiv_version","alias_value":"2404.07751v1","created_at":"2026-07-05T08:06:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.07751","created_at":"2026-07-05T08:06:57Z"},{"alias_kind":"pith_short_12","alias_value":"7QBGYR3YKND7","created_at":"2026-07-05T08:06:57Z"},{"alias_kind":"pith_short_16","alias_value":"7QBGYR3YKND7NVUQ","created_at":"2026-07-05T08:06:57Z"},{"alias_kind":"pith_short_8","alias_value":"7QBGYR3Y","created_at":"2026-07-05T08:06:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:7QBGYR3YKND7NVUQAR2BQV5E2W","target":"record","payload":{"canonical_record":{"source":{"id":"2404.07751","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-04-11T13:48:48Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"21c27c5e786ae806e0e007ae0f771216e3877a49725009477b7d75bcacf66980","abstract_canon_sha256":"515d47c8669ffe66869228cc03c9697bbeb629796452fac345b755dedacb1573"},"schema_version":"1.0"},"canonical_sha256":"fc026c47785347f6d69004741857a4d5ac56a52e6504cf3f4899888a444beb24","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:06:57.142726Z","signature_b64":"G+A3lEJSoBXg6PtPc8M4XAy+icUALAd5/EXIgOGxImN8fMQE2tOHys2yC9ZBj9YvqMwrMEu01Ppg33oVszTICw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fc026c47785347f6d69004741857a4d5ac56a52e6504cf3f4899888a444beb24","last_reissued_at":"2026-07-05T08:06:57.142243Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:06:57.142243Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.07751","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-05T08:06:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P/HO0a3TR/9kU0DSMhwAlpx3hKgctRs4MEJM32mcavn4Qtj8pWAak4Yc/dsNhPewYZ9E03puYbDCzKcu+ADuAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T04:15:01.864086Z"},"content_sha256":"7480a475e8e7bd6eaf2954c3f061060256f06bbb6978ae249f0f3b43e36bb907","schema_version":"1.0","event_id":"sha256:7480a475e8e7bd6eaf2954c3f061060256f06bbb6978ae249f0f3b43e36bb907"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:7QBGYR3YKND7NVUQAR2BQV5E2W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Generating consistent PDDL domains with Large Language Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.RO","authors_text":"Antonello Ceravola, Frank Joublin, Michael Gienger, Pavel Smirnov","submitted_at":"2024-04-11T13:48:48Z","abstract_excerpt":"Large Language Models (LLMs) are capable of transforming natural language domain descriptions into plausibly looking PDDL markup. However, ensuring that actions are consistent within domains still remains a challenging task. In this paper we present a novel concept to significantly improve the quality of LLM-generated PDDL models by performing automated consistency checking during the generation process. Although the proposed consistency checking strategies still can't guarantee absolute correctness of generated models, they can serve as valuable source of feedback reducing the amount of corre"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.07751","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/2404.07751/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:06:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MCI6kcwWG+TTGGq+hXdIkiC0F7Lj2CIfp8cCs5X2khbLuSMNtNcgbiue4Bt2YqaGWdktWM9Kb9SPdEosQ12WCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T04:15:01.864609Z"},"content_sha256":"7c516628e480b6d3bb968862297de675babb543f1c61f6ba8f2ce012566e79c6","schema_version":"1.0","event_id":"sha256:7c516628e480b6d3bb968862297de675babb543f1c61f6ba8f2ce012566e79c6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7QBGYR3YKND7NVUQAR2BQV5E2W/bundle.json","state_url":"https://pith.science/pith/7QBGYR3YKND7NVUQAR2BQV5E2W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7QBGYR3YKND7NVUQAR2BQV5E2W/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-18T04:15:01Z","links":{"resolver":"https://pith.science/pith/7QBGYR3YKND7NVUQAR2BQV5E2W","bundle":"https://pith.science/pith/7QBGYR3YKND7NVUQAR2BQV5E2W/bundle.json","state":"https://pith.science/pith/7QBGYR3YKND7NVUQAR2BQV5E2W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7QBGYR3YKND7NVUQAR2BQV5E2W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:7QBGYR3YKND7NVUQAR2BQV5E2W","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":"515d47c8669ffe66869228cc03c9697bbeb629796452fac345b755dedacb1573","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-04-11T13:48:48Z","title_canon_sha256":"21c27c5e786ae806e0e007ae0f771216e3877a49725009477b7d75bcacf66980"},"schema_version":"1.0","source":{"id":"2404.07751","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.07751","created_at":"2026-07-05T08:06:57Z"},{"alias_kind":"arxiv_version","alias_value":"2404.07751v1","created_at":"2026-07-05T08:06:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.07751","created_at":"2026-07-05T08:06:57Z"},{"alias_kind":"pith_short_12","alias_value":"7QBGYR3YKND7","created_at":"2026-07-05T08:06:57Z"},{"alias_kind":"pith_short_16","alias_value":"7QBGYR3YKND7NVUQ","created_at":"2026-07-05T08:06:57Z"},{"alias_kind":"pith_short_8","alias_value":"7QBGYR3Y","created_at":"2026-07-05T08:06:57Z"}],"graph_snapshots":[{"event_id":"sha256:7c516628e480b6d3bb968862297de675babb543f1c61f6ba8f2ce012566e79c6","target":"graph","created_at":"2026-07-05T08:06:57Z","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/2404.07751/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) are capable of transforming natural language domain descriptions into plausibly looking PDDL markup. However, ensuring that actions are consistent within domains still remains a challenging task. In this paper we present a novel concept to significantly improve the quality of LLM-generated PDDL models by performing automated consistency checking during the generation process. Although the proposed consistency checking strategies still can't guarantee absolute correctness of generated models, they can serve as valuable source of feedback reducing the amount of corre","authors_text":"Antonello Ceravola, Frank Joublin, Michael Gienger, Pavel Smirnov","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-04-11T13:48:48Z","title":"Generating consistent PDDL domains with Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.07751","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:7480a475e8e7bd6eaf2954c3f061060256f06bbb6978ae249f0f3b43e36bb907","target":"record","created_at":"2026-07-05T08:06:57Z","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":"515d47c8669ffe66869228cc03c9697bbeb629796452fac345b755dedacb1573","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-04-11T13:48:48Z","title_canon_sha256":"21c27c5e786ae806e0e007ae0f771216e3877a49725009477b7d75bcacf66980"},"schema_version":"1.0","source":{"id":"2404.07751","kind":"arxiv","version":1}},"canonical_sha256":"fc026c47785347f6d69004741857a4d5ac56a52e6504cf3f4899888a444beb24","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fc026c47785347f6d69004741857a4d5ac56a52e6504cf3f4899888a444beb24","first_computed_at":"2026-07-05T08:06:57.142243Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:06:57.142243Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"G+A3lEJSoBXg6PtPc8M4XAy+icUALAd5/EXIgOGxImN8fMQE2tOHys2yC9ZBj9YvqMwrMEu01Ppg33oVszTICw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:06:57.142726Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.07751","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7480a475e8e7bd6eaf2954c3f061060256f06bbb6978ae249f0f3b43e36bb907","sha256:7c516628e480b6d3bb968862297de675babb543f1c61f6ba8f2ce012566e79c6"],"state_sha256":"6807e40edbc650aaf75fd2b2c5009c036828a95f57fee85d38650ba6e8f06b94"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3JGrzJlTrqH1pLV0X6iMa2HLM0+/RvJS212xYrGMP9LTZYLPdgYtyypQwcdS/+jzHJ0i6sHna1i9qP7lPqOACw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T04:15:01.870453Z","bundle_sha256":"a6499d2c00e5b5ff9e077db4234dd67900ac6e0a76b2d720f2a6388ba80f4554"}}