Paper Citation Record · LEDGER

SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning

As of 21 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 9 inbound Pith citation observations for arXiv:2503.06892.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2503.06892 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 9 of 9 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 9 of 9 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-12T00:47:48.585899Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-18T02:00:40.077051Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 93bbf8eb-f3dc-467c-9310-effbfd9682fe · inbound

ConceptBot: Enhancing Robot's Autonomy through Task Decomposition with Large Language Models and Knowledge Graph cites this paper.

ConceptBot: Enhancing Robot's Autonomy through Task Decomposition with Large Language Models and Knowledge Graph SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-05T13:32:48.990310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7971f9d8-fc79-4566-b0e1-876e720c6646 · inbound

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations cites this paper.

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning

Reference 20

Resolution: verified exact; arxiv_id, observed 2026-05-18T02:00:40.080043Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c9bca4d3-df93-422b-bc03-481953a7c232 · inbound

A Hierarchical Error-Corrective Graph Framework for Autonomous Agents with LLM-Based Action Generation cites this paper.

A Hierarchical Error-Corrective Graph Framework for Autonomous Agents with LLM-Based Action Generation SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-05-15T14:50:04.572382Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4e43430d-b68c-4204-a4a4-b359a0ee84a8 · inbound

Pre-Execution Safety Gate & Task Safety Contracts for LLM-Controlled Robot Systems cites this paper.

Pre-Execution Safety Gate & Task Safety Contracts for LLM-Controlled Robot Systems SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning

Reference 20

Resolution: metadata mismatch; arxiv_id, observed 2026-05-10T22:40:51.601672Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 30d7038a-210c-4520-a1e3-ce71464ee911 · inbound

Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses cites this paper.

Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning

Reference 275

Resolution: verified exact; arxiv_id, observed 2026-05-14T22:23:03.980841Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b0a137ce-08bc-4c71-9aa7-6739687d90ee · inbound

Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses cites this paper.

Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning

Reference 287

Resolution: unresolved; no resolver link, observed 2026-07-13T17:08:58.831798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22e84c45-dd55-4ab4-baf2-a22da5c9bca9 · inbound

When Words Are Safe But Actions Kill: Probing Physical Danger Beyond Text Safety in Hidden-State Risk Space cites this paper.

When Words Are Safe But Actions Kill: Probing Physical Danger Beyond Text Safety in Hidden-State Risk Space SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T23:52:52.704841Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fe2117c-6934-4af8-8783-9e3c355a0792 · inbound

When Coordination Becomes a Threat: Communication Attacks in LLM-Controlled Multi-Robot Systems cites this paper.

When Coordination Becomes a Threat: Communication Attacks in LLM-Controlled Multi-Robot Systems SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-10T20:08:02.179919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4092e538-ef9d-45c2-affc-38bbcb983d81 · inbound

GraphThink: Graph-Enhanced LLM Thinking for Long-Horizon Embodied Task Planning cites this paper.

GraphThink: Graph-Enhanced LLM Thinking for Long-Horizon Embodied Task Planning SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-12T00:47:48.585899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.