{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:AJZHA3SNNJKTQEZMVTONIA27FQ","short_pith_number":"pith:AJZHA3SN","canonical_record":{"source":{"id":"2510.00182","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-09-30T19:03:14Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"eaeb1f666555109f2295d2b021aff505b456eae537224f47071b16eb281f1a39","abstract_canon_sha256":"dc5d0be7066f6fab0b8ab9e840b334f67e7aaa2143b064bcb664eb7e61386ee9"},"schema_version":"1.0"},"canonical_sha256":"0272706e4d6a5538132cacdcd4035f2c3b9cdf036f39614ca91559df84579f33","source":{"kind":"arxiv","id":"2510.00182","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.00182","created_at":"2026-07-20T02:19:15Z"},{"alias_kind":"arxiv_version","alias_value":"2510.00182v2","created_at":"2026-07-20T02:19:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.00182","created_at":"2026-07-20T02:19:15Z"},{"alias_kind":"pith_short_12","alias_value":"AJZHA3SNNJKT","created_at":"2026-07-20T02:19:15Z"},{"alias_kind":"pith_short_16","alias_value":"AJZHA3SNNJKTQEZM","created_at":"2026-07-20T02:19:15Z"},{"alias_kind":"pith_short_8","alias_value":"AJZHA3SN","created_at":"2026-07-20T02:19:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:AJZHA3SNNJKTQEZMVTONIA27FQ","target":"record","payload":{"canonical_record":{"source":{"id":"2510.00182","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-09-30T19:03:14Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"eaeb1f666555109f2295d2b021aff505b456eae537224f47071b16eb281f1a39","abstract_canon_sha256":"dc5d0be7066f6fab0b8ab9e840b334f67e7aaa2143b064bcb664eb7e61386ee9"},"schema_version":"1.0"},"canonical_sha256":"0272706e4d6a5538132cacdcd4035f2c3b9cdf036f39614ca91559df84579f33","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-20T02:19:15.512184Z","signature_b64":"2XmwKABVgXUIvMbwlxmuE3a7sJUH2oE/sshEtsn2kl6SyOIhdFfl6epp/vEMU511BlSi7M1iqcLYY7fk+l8EBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0272706e4d6a5538132cacdcd4035f2c3b9cdf036f39614ca91559df84579f33","last_reissued_at":"2026-07-20T02:19:15.511225Z","signature_status":"signed_v1","first_computed_at":"2026-07-20T02:19:15.511225Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2510.00182","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-20T02:19:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"663qVcUa05+nglDUzfl3NlHEMG6rhZzunu/aCBOFPcTnbKtV53SHvbou3XzzJUBK7IN9b8vghcv3G7GlWH8dBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T01:56:45.474607Z"},"content_sha256":"dd787618f4a8b33a50e4593656e3de7ccd49eecc03c8adbcf333be43afbe7dcb","schema_version":"1.0","event_id":"sha256:dd787618f4a8b33a50e4593656e3de7ccd49eecc03c8adbcf333be43afbe7dcb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:AJZHA3SNNJKTQEZMVTONIA27FQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Systematic Study of Large Language Models for Task and Motion Planning With PDDLStream","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.RO","authors_text":"Jorge Mendez-Mendez","submitted_at":"2025-09-30T19:03:14Z","abstract_excerpt":"While we know that large language models (LLMs) can solve some planning problems, we do not understand the extent of these capabilities for robotics. One promising direction is to integrate the semantic knowledge of LLMs with the formal reasoning of task and motion planning (TAMP). However, designing such systems is complicated by the myriad of choices for how to integrate LLMs within TAMP. We develop 16 algorithms that use LLMs to substitute key TAMP components. Our zero-shot experiments across 13750 evaluations and three domains reveal that LLM-based planners exhibit lower success rates and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.00182","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/2510.00182/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-20T02:19:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q3uXBtfShqD9lHyLt67A7GNc4W/IWmTXiWZMhmKcM9P6UTZRErNIxUmSwaSlfwQwwMmzZrcUHmmlAIITNdHRCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T01:56:45.475134Z"},"content_sha256":"110b2c368782bcc31e49fd93804ad648599ad35d6abe0489cc7977f1af31b843","schema_version":"1.0","event_id":"sha256:110b2c368782bcc31e49fd93804ad648599ad35d6abe0489cc7977f1af31b843"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AJZHA3SNNJKTQEZMVTONIA27FQ/bundle.json","state_url":"https://pith.science/pith/AJZHA3SNNJKTQEZMVTONIA27FQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AJZHA3SNNJKTQEZMVTONIA27FQ/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-06T01:56:45Z","links":{"resolver":"https://pith.science/pith/AJZHA3SNNJKTQEZMVTONIA27FQ","bundle":"https://pith.science/pith/AJZHA3SNNJKTQEZMVTONIA27FQ/bundle.json","state":"https://pith.science/pith/AJZHA3SNNJKTQEZMVTONIA27FQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AJZHA3SNNJKTQEZMVTONIA27FQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:AJZHA3SNNJKTQEZMVTONIA27FQ","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":"dc5d0be7066f6fab0b8ab9e840b334f67e7aaa2143b064bcb664eb7e61386ee9","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-09-30T19:03:14Z","title_canon_sha256":"eaeb1f666555109f2295d2b021aff505b456eae537224f47071b16eb281f1a39"},"schema_version":"1.0","source":{"id":"2510.00182","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.00182","created_at":"2026-07-20T02:19:15Z"},{"alias_kind":"arxiv_version","alias_value":"2510.00182v2","created_at":"2026-07-20T02:19:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.00182","created_at":"2026-07-20T02:19:15Z"},{"alias_kind":"pith_short_12","alias_value":"AJZHA3SNNJKT","created_at":"2026-07-20T02:19:15Z"},{"alias_kind":"pith_short_16","alias_value":"AJZHA3SNNJKTQEZM","created_at":"2026-07-20T02:19:15Z"},{"alias_kind":"pith_short_8","alias_value":"AJZHA3SN","created_at":"2026-07-20T02:19:15Z"}],"graph_snapshots":[{"event_id":"sha256:110b2c368782bcc31e49fd93804ad648599ad35d6abe0489cc7977f1af31b843","target":"graph","created_at":"2026-07-20T02:19:15Z","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/2510.00182/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"While we know that large language models (LLMs) can solve some planning problems, we do not understand the extent of these capabilities for robotics. One promising direction is to integrate the semantic knowledge of LLMs with the formal reasoning of task and motion planning (TAMP). However, designing such systems is complicated by the myriad of choices for how to integrate LLMs within TAMP. We develop 16 algorithms that use LLMs to substitute key TAMP components. Our zero-shot experiments across 13750 evaluations and three domains reveal that LLM-based planners exhibit lower success rates and ","authors_text":"Jorge Mendez-Mendez","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-09-30T19:03:14Z","title":"A Systematic Study of Large Language Models for Task and Motion Planning With PDDLStream"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.00182","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:dd787618f4a8b33a50e4593656e3de7ccd49eecc03c8adbcf333be43afbe7dcb","target":"record","created_at":"2026-07-20T02:19:15Z","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":"dc5d0be7066f6fab0b8ab9e840b334f67e7aaa2143b064bcb664eb7e61386ee9","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-09-30T19:03:14Z","title_canon_sha256":"eaeb1f666555109f2295d2b021aff505b456eae537224f47071b16eb281f1a39"},"schema_version":"1.0","source":{"id":"2510.00182","kind":"arxiv","version":2}},"canonical_sha256":"0272706e4d6a5538132cacdcd4035f2c3b9cdf036f39614ca91559df84579f33","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0272706e4d6a5538132cacdcd4035f2c3b9cdf036f39614ca91559df84579f33","first_computed_at":"2026-07-20T02:19:15.511225Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-20T02:19:15.511225Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2XmwKABVgXUIvMbwlxmuE3a7sJUH2oE/sshEtsn2kl6SyOIhdFfl6epp/vEMU511BlSi7M1iqcLYY7fk+l8EBw==","signature_status":"signed_v1","signed_at":"2026-07-20T02:19:15.512184Z","signed_message":"canonical_sha256_bytes"},"source_id":"2510.00182","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dd787618f4a8b33a50e4593656e3de7ccd49eecc03c8adbcf333be43afbe7dcb","sha256:110b2c368782bcc31e49fd93804ad648599ad35d6abe0489cc7977f1af31b843"],"state_sha256":"dc4b57f9153daecc7b6c7276caa45222a903bec257ba28c586db98d6b738de4a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8i6mE1+pGdOEB7WA8/uqX/bsVZfDh7YFNzv5EWLr6aRQnjz9JGhq+iF2hI2YnPVU35C0IX/gMC7NVQ28E7qYBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T01:56:45.479213Z","bundle_sha256":"754a4f85f4f5568a4f84fdb7509a44e71294713806c51fd17311a17d4b072576"}}