{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:NDIVVNIO3WERVDHAFW3BHPUOHC","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":"02a51e8dfa99cbd53dea12a99a376f34acd37092d8b9bcc5350fa19b1a682269","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-05-24T08:59:15Z","title_canon_sha256":"05d6bdc943a77bdb72a938a69f56e59a49ccd7df08077b3f2cf800c43befb682"},"schema_version":"1.0","source":{"id":"2305.14909","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.14909","created_at":"2026-07-05T07:08:07Z"},{"alias_kind":"arxiv_version","alias_value":"2305.14909v2","created_at":"2026-07-05T07:08:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.14909","created_at":"2026-07-05T07:08:07Z"},{"alias_kind":"pith_short_12","alias_value":"NDIVVNIO3WER","created_at":"2026-07-05T07:08:07Z"},{"alias_kind":"pith_short_16","alias_value":"NDIVVNIO3WERVDHA","created_at":"2026-07-05T07:08:07Z"},{"alias_kind":"pith_short_8","alias_value":"NDIVVNIO","created_at":"2026-07-05T07:08:07Z"}],"graph_snapshots":[{"event_id":"sha256:7bcc08ae61986a012409ef6e26f66d2cb3404a3bc8398a670d0a6bccb00c4198","target":"graph","created_at":"2026-07-05T07:08:07Z","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/2305.14909/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"There is a growing interest in applying pre-trained large language models (LLMs) to planning problems. However, methods that use LLMs directly as planners are currently impractical due to several factors, including limited correctness of plans, strong reliance on feedback from interactions with simulators or even the actual environment, and the inefficiency in utilizing human feedback. In this work, we introduce a novel alternative paradigm that constructs an explicit world (domain) model in planning domain definition language (PDDL) and then uses it to plan with sound domain-independent plann","authors_text":"Karthik Valmeekam, Lin Guan, Sarath Sreedharan, Subbarao Kambhampati","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-05-24T08:59:15Z","title":"Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.14909","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:c736e9c4f67fad05adeafa657a4377975b91817d629e34a6d3a15bf1d7941ff3","target":"record","created_at":"2026-07-05T07:08:07Z","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":"02a51e8dfa99cbd53dea12a99a376f34acd37092d8b9bcc5350fa19b1a682269","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-05-24T08:59:15Z","title_canon_sha256":"05d6bdc943a77bdb72a938a69f56e59a49ccd7df08077b3f2cf800c43befb682"},"schema_version":"1.0","source":{"id":"2305.14909","kind":"arxiv","version":2}},"canonical_sha256":"68d15ab50edd891a8ce02db613be8e38811ff12f4e1e8ca0f73b99a4e8a54c2f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"68d15ab50edd891a8ce02db613be8e38811ff12f4e1e8ca0f73b99a4e8a54c2f","first_computed_at":"2026-07-05T07:08:07.591124Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:08:07.591124Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UnS+VlS6LM8iwiVD8Y6vfvDtAxBaGhCA6o7q1UvoKFvnblkldRkhGrJLc28EXtBd7Gq8W6Q+LLX4iwfBvX18Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:08:07.591656Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.14909","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c736e9c4f67fad05adeafa657a4377975b91817d629e34a6d3a15bf1d7941ff3","sha256:7bcc08ae61986a012409ef6e26f66d2cb3404a3bc8398a670d0a6bccb00c4198"],"state_sha256":"5216071ac942783466013a91d2610b4176354db570272bd3c04d4ff327d632d2"}