{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:OM2VMATDHQJX5LRNLU7BH6OMHD","short_pith_number":"pith:OM2VMATD","canonical_record":{"source":{"id":"2402.15368","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-02-23T15:02:44Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"310b613b4fbc70e98629b6543936a4188e243d33d34b1c97ab9632e52f32f0dc","abstract_canon_sha256":"5e8b2463ee82c2a5b0c9e3febff2573ca2f6dfdbff0bfc4b4bc06555535ffd56"},"schema_version":"1.0"},"canonical_sha256":"73355602633c137eae2d5d3e13f9cc38fd5fde93822744023d887662077df762","source":{"kind":"arxiv","id":"2402.15368","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.15368","created_at":"2026-07-05T09:38:24Z"},{"alias_kind":"arxiv_version","alias_value":"2402.15368v4","created_at":"2026-07-05T09:38:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.15368","created_at":"2026-07-05T09:38:24Z"},{"alias_kind":"pith_short_12","alias_value":"OM2VMATDHQJX","created_at":"2026-07-05T09:38:24Z"},{"alias_kind":"pith_short_16","alias_value":"OM2VMATDHQJX5LRN","created_at":"2026-07-05T09:38:24Z"},{"alias_kind":"pith_short_8","alias_value":"OM2VMATD","created_at":"2026-07-05T09:38:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:OM2VMATDHQJX5LRNLU7BH6OMHD","target":"record","payload":{"canonical_record":{"source":{"id":"2402.15368","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-02-23T15:02:44Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"310b613b4fbc70e98629b6543936a4188e243d33d34b1c97ab9632e52f32f0dc","abstract_canon_sha256":"5e8b2463ee82c2a5b0c9e3febff2573ca2f6dfdbff0bfc4b4bc06555535ffd56"},"schema_version":"1.0"},"canonical_sha256":"73355602633c137eae2d5d3e13f9cc38fd5fde93822744023d887662077df762","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:38:24.657276Z","signature_b64":"Qve2sOdwwL/XABMMeKq7M9ZZTefQ+tCdonahvN/JmXChkUxwur+GTaAQbRhavRxW/4/o9i3HyEmvz7r+1b77CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"73355602633c137eae2d5d3e13f9cc38fd5fde93822744023d887662077df762","last_reissued_at":"2026-07-05T09:38:24.656711Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:38:24.656711Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.15368","source_version":4,"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-05T09:38:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PG2PuRJvIFShJXo1j+wKaoicwP99uSBKq82B4/w97mUkJ6QJtk9YlyP6P9NKgj5hk+H3hKZECmQy5ujjWrnfCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T14:47:21.505675Z"},"content_sha256":"8139a4181d5c8e65361a6086b446f3053c72dc3a8f1d80fde8b0f47931404506","schema_version":"1.0","event_id":"sha256:8139a4181d5c8e65361a6086b446f3053c72dc3a8f1d80fde8b0f47931404506"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:OM2VMATDHQJX5LRNLU7BH6OMHD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistically Correct Language-based Multi-Robot Planning using Conformal Prediction","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.RO","authors_text":"Guocheng He, Jun Wang, Yiannis Kantaros","submitted_at":"2024-02-23T15:02:44Z","abstract_excerpt":"This paper addresses task planning problems for language-instructed robot teams. Tasks are expressed in natural language (NL), requiring the robots to apply their capabilities at various locations and semantic objects. Several recent works have addressed similar planning problems by leveraging pre-trained Large Language Models (LLMs) to design effective multi-robot plans. However, these approaches lack performance guarantees. To address this challenge, we introduce a new distributed LLM-based planner, called S-ATLAS for Safe plAnning for Teams of Language-instructed AgentS, that is capable of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.15368","kind":"arxiv","version":4},"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/2402.15368/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-05T09:38:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AGq+7het3teiby5P2gkKe5F5Utib5lohM5srcAlV1BnwKLPIALVzQRXWgv00Zf0j19Ck8BfwnxJW1HDYPiNTAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T14:47:21.506050Z"},"content_sha256":"b73dad8e7c4cfe2047e3f7a5a5c8bd6a2f22403a3e92c3c8c5012deb4c069f18","schema_version":"1.0","event_id":"sha256:b73dad8e7c4cfe2047e3f7a5a5c8bd6a2f22403a3e92c3c8c5012deb4c069f18"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OM2VMATDHQJX5LRNLU7BH6OMHD/bundle.json","state_url":"https://pith.science/pith/OM2VMATDHQJX5LRNLU7BH6OMHD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OM2VMATDHQJX5LRNLU7BH6OMHD/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-07-07T14:47:21Z","links":{"resolver":"https://pith.science/pith/OM2VMATDHQJX5LRNLU7BH6OMHD","bundle":"https://pith.science/pith/OM2VMATDHQJX5LRNLU7BH6OMHD/bundle.json","state":"https://pith.science/pith/OM2VMATDHQJX5LRNLU7BH6OMHD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OM2VMATDHQJX5LRNLU7BH6OMHD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:OM2VMATDHQJX5LRNLU7BH6OMHD","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":"5e8b2463ee82c2a5b0c9e3febff2573ca2f6dfdbff0bfc4b4bc06555535ffd56","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-02-23T15:02:44Z","title_canon_sha256":"310b613b4fbc70e98629b6543936a4188e243d33d34b1c97ab9632e52f32f0dc"},"schema_version":"1.0","source":{"id":"2402.15368","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.15368","created_at":"2026-07-05T09:38:24Z"},{"alias_kind":"arxiv_version","alias_value":"2402.15368v4","created_at":"2026-07-05T09:38:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.15368","created_at":"2026-07-05T09:38:24Z"},{"alias_kind":"pith_short_12","alias_value":"OM2VMATDHQJX","created_at":"2026-07-05T09:38:24Z"},{"alias_kind":"pith_short_16","alias_value":"OM2VMATDHQJX5LRN","created_at":"2026-07-05T09:38:24Z"},{"alias_kind":"pith_short_8","alias_value":"OM2VMATD","created_at":"2026-07-05T09:38:24Z"}],"graph_snapshots":[{"event_id":"sha256:b73dad8e7c4cfe2047e3f7a5a5c8bd6a2f22403a3e92c3c8c5012deb4c069f18","target":"graph","created_at":"2026-07-05T09:38:24Z","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/2402.15368/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper addresses task planning problems for language-instructed robot teams. Tasks are expressed in natural language (NL), requiring the robots to apply their capabilities at various locations and semantic objects. Several recent works have addressed similar planning problems by leveraging pre-trained Large Language Models (LLMs) to design effective multi-robot plans. However, these approaches lack performance guarantees. To address this challenge, we introduce a new distributed LLM-based planner, called S-ATLAS for Safe plAnning for Teams of Language-instructed AgentS, that is capable of ","authors_text":"Guocheng He, Jun Wang, Yiannis Kantaros","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-02-23T15:02:44Z","title":"Probabilistically Correct Language-based Multi-Robot Planning using Conformal Prediction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.15368","kind":"arxiv","version":4},"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:8139a4181d5c8e65361a6086b446f3053c72dc3a8f1d80fde8b0f47931404506","target":"record","created_at":"2026-07-05T09:38:24Z","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":"5e8b2463ee82c2a5b0c9e3febff2573ca2f6dfdbff0bfc4b4bc06555535ffd56","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-02-23T15:02:44Z","title_canon_sha256":"310b613b4fbc70e98629b6543936a4188e243d33d34b1c97ab9632e52f32f0dc"},"schema_version":"1.0","source":{"id":"2402.15368","kind":"arxiv","version":4}},"canonical_sha256":"73355602633c137eae2d5d3e13f9cc38fd5fde93822744023d887662077df762","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"73355602633c137eae2d5d3e13f9cc38fd5fde93822744023d887662077df762","first_computed_at":"2026-07-05T09:38:24.656711Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:38:24.656711Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Qve2sOdwwL/XABMMeKq7M9ZZTefQ+tCdonahvN/JmXChkUxwur+GTaAQbRhavRxW/4/o9i3HyEmvz7r+1b77CQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:38:24.657276Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.15368","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8139a4181d5c8e65361a6086b446f3053c72dc3a8f1d80fde8b0f47931404506","sha256:b73dad8e7c4cfe2047e3f7a5a5c8bd6a2f22403a3e92c3c8c5012deb4c069f18"],"state_sha256":"8ab1361ab79b9cd79509efc9dcafd3e56d77f1215a846b7aafb06dfdc72a3a91"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ctB+9yrjDWnEqb4VylkOJ11SoKxKPPfy+3gF9GPs8QrefD7t9WQlKymqhO8znk480MIRG5aJF3SXxx+U4aNmBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T14:47:21.507994Z","bundle_sha256":"626146579feed430bf7013924238a6483097db427e47603bb78b9c19aeddfb2e"}}