Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
SafePlan: Leveraging Formal Logic and Chain-of-Thought Reasoning for Enhanced Safety in LLM-based Robotic Task Planning
As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 7 inbound Pith citation observations for arXiv:2503.06892.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-05T13:32:48.990310Z
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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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-09T06:31:02.800959+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.