{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:OTOEBHZ7GAU2A677A2I2ZS34Y3","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":"d699d4db0c3d2864ceb6f92b975721d5017735707371a94bdf5eb8a09cacafcf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-03-10T03:37:36Z","title_canon_sha256":"f242b3d006c88fd02ad7323ef8edb37a121d3673dd69daf1293ffbf225b7a283"},"schema_version":"1.0","source":{"id":"2503.06892","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.06892","created_at":"2026-07-05T10:27:45Z"},{"alias_kind":"arxiv_version","alias_value":"2503.06892v1","created_at":"2026-07-05T10:27:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.06892","created_at":"2026-07-05T10:27:45Z"},{"alias_kind":"pith_short_12","alias_value":"OTOEBHZ7GAU2","created_at":"2026-07-05T10:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"OTOEBHZ7GAU2A677","created_at":"2026-07-05T10:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"OTOEBHZ7","created_at":"2026-07-05T10:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:c0c1eaf53ee71b68c8340b6b310fe474c95de25d0a6222d2ced57aaf591996e4","target":"graph","created_at":"2026-07-05T10:27:45Z","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/2503.06892/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Robotics researchers increasingly leverage large language models (LLM) in robotics systems, using them as interfaces to receive task commands, generate task plans, form team coalitions, and allocate tasks among multi-robot and human agents. However, despite their benefits, the growing adoption of LLM in robotics has raised several safety concerns, particularly regarding executing malicious or unsafe natural language prompts. In addition, ensuring that task plans, team formation, and task allocation outputs from LLMs are adequately examined, refined, or rejected is crucial for maintaining syste","authors_text":"Byung-Cheol Min, Dayoon Suh, Ike Obi, Ruiqi Wang, Temitope I. Amosa, Vishnunandan L.N. Venkatesh, Weizheng Wang, Wonse Jo","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-03-10T03:37:36Z","title":"SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.06892","kind":"arxiv","version":1},"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:d2f2b37fc9ab4f1042301100edcde4b1433e671936dc9f0a52780a9b0e2241fe","target":"record","created_at":"2026-07-05T10:27:45Z","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":"d699d4db0c3d2864ceb6f92b975721d5017735707371a94bdf5eb8a09cacafcf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-03-10T03:37:36Z","title_canon_sha256":"f242b3d006c88fd02ad7323ef8edb37a121d3673dd69daf1293ffbf225b7a283"},"schema_version":"1.0","source":{"id":"2503.06892","kind":"arxiv","version":1}},"canonical_sha256":"74dc409f3f3029a07bff0691accb7cc6f37453ef7b9b49ffef2144cba1705a04","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"74dc409f3f3029a07bff0691accb7cc6f37453ef7b9b49ffef2144cba1705a04","first_computed_at":"2026-07-05T10:27:45.398369Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:27:45.398369Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tyUnjq+oRenFrn3G/i1kT48SIT4Rxuu6NijBeLVHEY6vijq44zPNcq1aHiB31qFSh+koWIh6FMoLL0jSZiXzAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:27:45.399072Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.06892","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d2f2b37fc9ab4f1042301100edcde4b1433e671936dc9f0a52780a9b0e2241fe","sha256:c0c1eaf53ee71b68c8340b6b310fe474c95de25d0a6222d2ced57aaf591996e4"],"state_sha256":"e1671b740cabb97d98c3556579f92f36ee9707de8686763c4283ca54a0041fad"}