{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:OTOEBHZ7GAU2A677A2I2ZS34Y3","short_pith_number":"pith:OTOEBHZ7","schema_version":"1.0","canonical_sha256":"74dc409f3f3029a07bff0691accb7cc6f37453ef7b9b49ffef2144cba1705a04","source":{"kind":"arxiv","id":"2503.06892","version":1},"attestation_state":"computed","paper":{"title":"SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Byung-Cheol Min, Dayoon Suh, Ike Obi, Ruiqi Wang, Temitope I. Amosa, Vishnunandan L.N. Venkatesh, Weizheng Wang, Wonse Jo","submitted_at":"2025-03-10T03:37:36Z","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"},"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":"2503.06892","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-03-10T03:37:36Z","cross_cats_sorted":[],"title_canon_sha256":"f242b3d006c88fd02ad7323ef8edb37a121d3673dd69daf1293ffbf225b7a283","abstract_canon_sha256":"d699d4db0c3d2864ceb6f92b975721d5017735707371a94bdf5eb8a09cacafcf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:27:45.399072Z","signature_b64":"tyUnjq+oRenFrn3G/i1kT48SIT4Rxuu6NijBeLVHEY6vijq44zPNcq1aHiB31qFSh+koWIh6FMoLL0jSZiXzAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"74dc409f3f3029a07bff0691accb7cc6f37453ef7b9b49ffef2144cba1705a04","last_reissued_at":"2026-07-05T10:27:45.398369Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:27:45.398369Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Byung-Cheol Min, Dayoon Suh, Ike Obi, Ruiqi Wang, Temitope I. Amosa, Vishnunandan L.N. Venkatesh, Weizheng Wang, Wonse Jo","submitted_at":"2025-03-10T03:37:36Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.06892","kind":"arxiv","version":1},"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/2503.06892/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":"2503.06892","created_at":"2026-07-05T10:27:45.398438+00:00"},{"alias_kind":"arxiv_version","alias_value":"2503.06892v1","created_at":"2026-07-05T10:27:45.398438+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.06892","created_at":"2026-07-05T10:27:45.398438+00:00"},{"alias_kind":"pith_short_12","alias_value":"OTOEBHZ7GAU2","created_at":"2026-07-05T10:27:45.398438+00:00"},{"alias_kind":"pith_short_16","alias_value":"OTOEBHZ7GAU2A677","created_at":"2026-07-05T10:27:45.398438+00:00"},{"alias_kind":"pith_short_8","alias_value":"OTOEBHZ7","created_at":"2026-07-05T10:27:45.398438+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":4,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2511.01423","citing_title":"LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations","ref_index":20,"is_internal_anchor":false},{"citing_arxiv_id":"2603.08388","citing_title":"A Hierarchical Error-Corrective Graph Framework for Autonomous Agents with LLM-Based Action Generation","ref_index":9,"is_internal_anchor":false},{"citing_arxiv_id":"2605.02900","citing_title":"Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses","ref_index":275,"is_internal_anchor":false},{"citing_arxiv_id":"2604.05427","citing_title":"Pre-Execution Safety Gate & Task Safety Contracts for LLM-Controlled Robot Systems","ref_index":20,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OTOEBHZ7GAU2A677A2I2ZS34Y3","json":"https://pith.science/pith/OTOEBHZ7GAU2A677A2I2ZS34Y3.json","graph_json":"https://pith.science/api/pith-number/OTOEBHZ7GAU2A677A2I2ZS34Y3/graph.json","events_json":"https://pith.science/api/pith-number/OTOEBHZ7GAU2A677A2I2ZS34Y3/events.json","paper":"https://pith.science/paper/OTOEBHZ7"},"agent_actions":{"view_html":"https://pith.science/pith/OTOEBHZ7GAU2A677A2I2ZS34Y3","download_json":"https://pith.science/pith/OTOEBHZ7GAU2A677A2I2ZS34Y3.json","view_paper":"https://pith.science/paper/OTOEBHZ7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2503.06892&json=true","fetch_graph":"https://pith.science/api/pith-number/OTOEBHZ7GAU2A677A2I2ZS34Y3/graph.json","fetch_events":"https://pith.science/api/pith-number/OTOEBHZ7GAU2A677A2I2ZS34Y3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OTOEBHZ7GAU2A677A2I2ZS34Y3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OTOEBHZ7GAU2A677A2I2ZS34Y3/action/storage_attestation","attest_author":"https://pith.science/pith/OTOEBHZ7GAU2A677A2I2ZS34Y3/action/author_attestation","sign_citation":"https://pith.science/pith/OTOEBHZ7GAU2A677A2I2ZS34Y3/action/citation_signature","submit_replication":"https://pith.science/pith/OTOEBHZ7GAU2A677A2I2ZS34Y3/action/replication_record"}},"created_at":"2026-07-05T10:27:45.398438+00:00","updated_at":"2026-07-05T10:27:45.398438+00:00"}