{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:NDIVVNIO3WERVDHAFW3BHPUOHC","short_pith_number":"pith:NDIVVNIO","schema_version":"1.0","canonical_sha256":"68d15ab50edd891a8ce02db613be8e38811ff12f4e1e8ca0f73b99a4e8a54c2f","source":{"kind":"arxiv","id":"2305.14909","version":2},"attestation_state":"computed","paper":{"title":"Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Karthik Valmeekam, Lin Guan, Sarath Sreedharan, Subbarao Kambhampati","submitted_at":"2023-05-24T08:59:15Z","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2305.14909","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-05-24T08:59:15Z","cross_cats_sorted":[],"title_canon_sha256":"05d6bdc943a77bdb72a938a69f56e59a49ccd7df08077b3f2cf800c43befb682","abstract_canon_sha256":"02a51e8dfa99cbd53dea12a99a376f34acd37092d8b9bcc5350fa19b1a682269"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:08:07.591656Z","signature_b64":"UnS+VlS6LM8iwiVD8Y6vfvDtAxBaGhCA6o7q1UvoKFvnblkldRkhGrJLc28EXtBd7Gq8W6Q+LLX4iwfBvX18Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"68d15ab50edd891a8ce02db613be8e38811ff12f4e1e8ca0f73b99a4e8a54c2f","last_reissued_at":"2026-07-05T07:08:07.591124Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:08:07.591124Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Karthik Valmeekam, Lin Guan, Sarath Sreedharan, Subbarao Kambhampati","submitted_at":"2023-05-24T08:59:15Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.14909","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/2305.14909/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2305.14909","created_at":"2026-07-05T07:08:07.591184+00:00"},{"alias_kind":"arxiv_version","alias_value":"2305.14909v2","created_at":"2026-07-05T07:08:07.591184+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.14909","created_at":"2026-07-05T07:08:07.591184+00:00"},{"alias_kind":"pith_short_12","alias_value":"NDIVVNIO3WER","created_at":"2026-07-05T07:08:07.591184+00:00"},{"alias_kind":"pith_short_16","alias_value":"NDIVVNIO3WERVDHA","created_at":"2026-07-05T07:08:07.591184+00:00"},{"alias_kind":"pith_short_8","alias_value":"NDIVVNIO","created_at":"2026-07-05T07:08:07.591184+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":6,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.27806","citing_title":"Agent vs. Parametric World Models: Hybrid Planning for Reliable Language Agents","ref_index":52,"is_internal_anchor":false},{"citing_arxiv_id":"2606.27806","citing_title":"Agent vs. Parametric World Models: Hybrid Planning for Reliable Language Agents","ref_index":52,"is_internal_anchor":false},{"citing_arxiv_id":"2509.21543","citing_title":"Self-CriTeach: LLM Self-Teaching and Self-Critiquing for Improving Robotic Planning via Automated Domain Generation","ref_index":5,"is_internal_anchor":false},{"citing_arxiv_id":"2309.02427","citing_title":"Cognitive Architectures for Language Agents","ref_index":27,"is_internal_anchor":false},{"citing_arxiv_id":"2304.11477","citing_title":"LLM+P: Empowering Large Language Models with Optimal Planning Proficiency","ref_index":50,"is_internal_anchor":false},{"citing_arxiv_id":"2402.02716","citing_title":"Understanding the planning of LLM agents: A survey","ref_index":13,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NDIVVNIO3WERVDHAFW3BHPUOHC","json":"https://pith.science/pith/NDIVVNIO3WERVDHAFW3BHPUOHC.json","graph_json":"https://pith.science/api/pith-number/NDIVVNIO3WERVDHAFW3BHPUOHC/graph.json","events_json":"https://pith.science/api/pith-number/NDIVVNIO3WERVDHAFW3BHPUOHC/events.json","paper":"https://pith.science/paper/NDIVVNIO"},"agent_actions":{"view_html":"https://pith.science/pith/NDIVVNIO3WERVDHAFW3BHPUOHC","download_json":"https://pith.science/pith/NDIVVNIO3WERVDHAFW3BHPUOHC.json","view_paper":"https://pith.science/paper/NDIVVNIO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2305.14909&json=true","fetch_graph":"https://pith.science/api/pith-number/NDIVVNIO3WERVDHAFW3BHPUOHC/graph.json","fetch_events":"https://pith.science/api/pith-number/NDIVVNIO3WERVDHAFW3BHPUOHC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NDIVVNIO3WERVDHAFW3BHPUOHC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NDIVVNIO3WERVDHAFW3BHPUOHC/action/storage_attestation","attest_author":"https://pith.science/pith/NDIVVNIO3WERVDHAFW3BHPUOHC/action/author_attestation","sign_citation":"https://pith.science/pith/NDIVVNIO3WERVDHAFW3BHPUOHC/action/citation_signature","submit_replication":"https://pith.science/pith/NDIVVNIO3WERVDHAFW3BHPUOHC/action/replication_record"}},"created_at":"2026-07-05T07:08:07.591184+00:00","updated_at":"2026-07-05T07:08:07.591184+00:00"}