{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:CEC6TQRAXNREJNM5LJRJMLY76E","short_pith_number":"pith:CEC6TQRA","canonical_record":{"source":{"id":"2309.09182","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-09-17T07:09:46Z","cross_cats_sorted":[],"title_canon_sha256":"9a155e3bc50fb9a64272e8102c8401b7f6823ea7ab7cb196756d7eb8e700109a","abstract_canon_sha256":"373632592ea9813119df566d25568d76bd335d2a501c507e7bc86c31beb48958"},"schema_version":"1.0"},"canonical_sha256":"1105e9c220bb6244b59d5a62962f1ff10d610bbac82dbcc8cc6fd82f6ccb943e","source":{"kind":"arxiv","id":"2309.09182","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.09182","created_at":"2026-07-05T07:32:23Z"},{"alias_kind":"arxiv_version","alias_value":"2309.09182v2","created_at":"2026-07-05T07:32:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.09182","created_at":"2026-07-05T07:32:23Z"},{"alias_kind":"pith_short_12","alias_value":"CEC6TQRAXNRE","created_at":"2026-07-05T07:32:23Z"},{"alias_kind":"pith_short_16","alias_value":"CEC6TQRAXNREJNM5","created_at":"2026-07-05T07:32:23Z"},{"alias_kind":"pith_short_8","alias_value":"CEC6TQRA","created_at":"2026-07-05T07:32:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:CEC6TQRAXNREJNM5LJRJMLY76E","target":"record","payload":{"canonical_record":{"source":{"id":"2309.09182","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-09-17T07:09:46Z","cross_cats_sorted":[],"title_canon_sha256":"9a155e3bc50fb9a64272e8102c8401b7f6823ea7ab7cb196756d7eb8e700109a","abstract_canon_sha256":"373632592ea9813119df566d25568d76bd335d2a501c507e7bc86c31beb48958"},"schema_version":"1.0"},"canonical_sha256":"1105e9c220bb6244b59d5a62962f1ff10d610bbac82dbcc8cc6fd82f6ccb943e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:32:23.441664Z","signature_b64":"qsQhxzVTf0nN/k0vazOnupZUpA0P4AHNEOwbYKhrpZTcpmeUuVbjHbU46tpeeGeqnWhkz17UvNZIivUEvIlGCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1105e9c220bb6244b59d5a62962f1ff10d610bbac82dbcc8cc6fd82f6ccb943e","last_reissued_at":"2026-07-05T07:32:23.441184Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:32:23.441184Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2309.09182","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-05T07:32:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C5tH8XBptuVLajHNDoJwzV8bP2D+GNmMj52l4uBqrN0nTxUajMGIuEjYyURACULz1YPpV0n6V7R1IWloXmbTAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T08:08:36.704923Z"},"content_sha256":"d015b949842a93acb05a92b56466f19f9904b964cdcad29b536e14a07f37b1ca","schema_version":"1.0","event_id":"sha256:d015b949842a93acb05a92b56466f19f9904b964cdcad29b536e14a07f37b1ca"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:CEC6TQRAXNREJNM5LJRJMLY76E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimal Scene Graph Planning with Large Language Model Guidance","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Arash Asgharivaskasi, George Pappas, Maria-Elizabeth Tzes, Nikolay Atanasov, Shusen Lin, Thai Duong, Zhirui Dai","submitted_at":"2023-09-17T07:09:46Z","abstract_excerpt":"Recent advances in metric, semantic, and topological mapping have equipped autonomous robots with semantic concept grounding capabilities to interpret natural language tasks. This work aims to leverage these new capabilities with an efficient task planning algorithm for hierarchical metric-semantic models. We consider a scene graph representation of the environment and utilize a large language model (LLM) to convert a natural language task into a linear temporal logic (LTL) automaton. Our main contribution is to enable optimal hierarchical LTL planning with LLM guidance over scene graphs. To a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.09182","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/2309.09182/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-05T07:32:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jtWNTB8RD/74eNF+4c74F6M7PmnklxcwuQWNomkD1wLy4bO/wySQCvwHBg1ZZd9oxBwiERd0wdUk4ghiz38mCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T08:08:36.705882Z"},"content_sha256":"a2a0f779fd24f4062157a5d650e2cd55c72aa461fff63888db6ee5651c573931","schema_version":"1.0","event_id":"sha256:a2a0f779fd24f4062157a5d650e2cd55c72aa461fff63888db6ee5651c573931"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CEC6TQRAXNREJNM5LJRJMLY76E/bundle.json","state_url":"https://pith.science/pith/CEC6TQRAXNREJNM5LJRJMLY76E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CEC6TQRAXNREJNM5LJRJMLY76E/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-07T08:08:36Z","links":{"resolver":"https://pith.science/pith/CEC6TQRAXNREJNM5LJRJMLY76E","bundle":"https://pith.science/pith/CEC6TQRAXNREJNM5LJRJMLY76E/bundle.json","state":"https://pith.science/pith/CEC6TQRAXNREJNM5LJRJMLY76E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CEC6TQRAXNREJNM5LJRJMLY76E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:CEC6TQRAXNREJNM5LJRJMLY76E","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":"373632592ea9813119df566d25568d76bd335d2a501c507e7bc86c31beb48958","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-09-17T07:09:46Z","title_canon_sha256":"9a155e3bc50fb9a64272e8102c8401b7f6823ea7ab7cb196756d7eb8e700109a"},"schema_version":"1.0","source":{"id":"2309.09182","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.09182","created_at":"2026-07-05T07:32:23Z"},{"alias_kind":"arxiv_version","alias_value":"2309.09182v2","created_at":"2026-07-05T07:32:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.09182","created_at":"2026-07-05T07:32:23Z"},{"alias_kind":"pith_short_12","alias_value":"CEC6TQRAXNRE","created_at":"2026-07-05T07:32:23Z"},{"alias_kind":"pith_short_16","alias_value":"CEC6TQRAXNREJNM5","created_at":"2026-07-05T07:32:23Z"},{"alias_kind":"pith_short_8","alias_value":"CEC6TQRA","created_at":"2026-07-05T07:32:23Z"}],"graph_snapshots":[{"event_id":"sha256:a2a0f779fd24f4062157a5d650e2cd55c72aa461fff63888db6ee5651c573931","target":"graph","created_at":"2026-07-05T07:32:23Z","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/2309.09182/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent advances in metric, semantic, and topological mapping have equipped autonomous robots with semantic concept grounding capabilities to interpret natural language tasks. This work aims to leverage these new capabilities with an efficient task planning algorithm for hierarchical metric-semantic models. We consider a scene graph representation of the environment and utilize a large language model (LLM) to convert a natural language task into a linear temporal logic (LTL) automaton. Our main contribution is to enable optimal hierarchical LTL planning with LLM guidance over scene graphs. To a","authors_text":"Arash Asgharivaskasi, George Pappas, Maria-Elizabeth Tzes, Nikolay Atanasov, Shusen Lin, Thai Duong, Zhirui Dai","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-09-17T07:09:46Z","title":"Optimal Scene Graph Planning with Large Language Model Guidance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.09182","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:d015b949842a93acb05a92b56466f19f9904b964cdcad29b536e14a07f37b1ca","target":"record","created_at":"2026-07-05T07:32:23Z","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":"373632592ea9813119df566d25568d76bd335d2a501c507e7bc86c31beb48958","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-09-17T07:09:46Z","title_canon_sha256":"9a155e3bc50fb9a64272e8102c8401b7f6823ea7ab7cb196756d7eb8e700109a"},"schema_version":"1.0","source":{"id":"2309.09182","kind":"arxiv","version":2}},"canonical_sha256":"1105e9c220bb6244b59d5a62962f1ff10d610bbac82dbcc8cc6fd82f6ccb943e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1105e9c220bb6244b59d5a62962f1ff10d610bbac82dbcc8cc6fd82f6ccb943e","first_computed_at":"2026-07-05T07:32:23.441184Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:32:23.441184Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qsQhxzVTf0nN/k0vazOnupZUpA0P4AHNEOwbYKhrpZTcpmeUuVbjHbU46tpeeGeqnWhkz17UvNZIivUEvIlGCw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:32:23.441664Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.09182","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d015b949842a93acb05a92b56466f19f9904b964cdcad29b536e14a07f37b1ca","sha256:a2a0f779fd24f4062157a5d650e2cd55c72aa461fff63888db6ee5651c573931"],"state_sha256":"7810c7d9a82ced17d3e7021fe3df762ce0c20e9d37a56b829f78c36e9e4a8553"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q37eiM+WcHt03xMryQJAkg8KWypXldZqLeytRLGOqTgAT9UbUjzoPN9PS+ICTer5S7P3rj/hF5dcsihfYL3HCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T08:08:36.715522Z","bundle_sha256":"68e36dd09a6052c6119234d345d106edde4940d468dd831fc04322005ba5c111"}}