{"as_of":"2026-08-09T20:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3a6cbd05656bd7579ef7434caffce20f18b7cb027a231626cd684fc6ecd14c24","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":7,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":7,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":7,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":7,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T13:32:48.990310Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-18T02:00:40.077051Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2503.06892","last_updated":"2025-03-10T03:37:36Z","snapshot_observed_at":"2026-08-07T17:18:06.193061Z","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","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.06892","snapshot_observed_at":"2026-08-05T13:32:48.990310Z","title":"Safeplan: Leveraging formal logic and chain- of-thought reasoning for enhanced safety in llm-based robotic task planning,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.00570","last_updated":"2025-08-30T17:31:52Z","snapshot_observed_at":"2026-08-07T23:44:26.601712Z","submitted_at":"2025-08-30T17:31:52Z","title":"ConceptBot: Enhancing Robot's Autonomy through Task Decomposition with Large Language Models and Knowledge Graph","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-05T13:32:48.990310Z"},"links":{"cited_paper":"/paper/2503.06892","citing_paper":"/paper/2509.00570"},"observation_digest":"sha256:27df3cdf25bc80c166c91679bff820dfd4d011afb1a78982774ee90de10e61b3","observation_id":"93bbf8eb-f3dc-467c-9310-effbfd9682fe","resolution":{"observed_at":"2026-08-05T13:32:48.990310Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.06892","last_updated":"2025-03-10T03:37:36Z","snapshot_observed_at":"2026-08-07T17:18:06.193061Z","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","version":1},"cited_work":{"arxiv_id":"2503.06892","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.06892","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"L., Wang, W., Wang, R., Suh, D., Amosa, T","venue":null,"work_id":"840c90f1-1793-417c-8b72-c3d24f86fc9f","year":2025},"citing_paper":{"arxiv_id":"2511.01423","last_updated":"2025-11-03T10:19:52Z","snapshot_observed_at":"2026-07-29T19:10:23.012156Z","submitted_at":"2025-11-03T10:19:52Z","title":"LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-18T01:56:50.023943Z"},"links":{"cited_paper":"/paper/2503.06892","citing_paper":"/paper/2511.01423"},"observation_digest":"sha256:f2a9b6a37d4aabb1fa5bb2f2b7ab715169f4b891b1158b03ed070c9f77bd105c","observation_id":"7971f9d8-fc79-4566-b0e1-876e720c6646","resolution":{"observed_at":"2026-05-18T02:00:40.080043Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.06892","last_updated":"2025-03-10T03:37:36Z","snapshot_observed_at":"2026-08-07T17:18:06.193061Z","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","version":1},"cited_work":{"arxiv_id":"2503.06892","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.06892","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"L., Wang, W., Wang, R., Suh, D., Amosa, T","venue":null,"work_id":"840c90f1-1793-417c-8b72-c3d24f86fc9f","year":2025},"citing_paper":{"arxiv_id":"2603.08388","last_updated":"2026-04-04T16:08:14Z","snapshot_observed_at":"2026-07-06T22:48:21.803560Z","submitted_at":"2026-03-09T13:46:00Z","title":"A Hierarchical Error-Corrective Graph Framework for Autonomous Agents with LLM-Based Action Generation","version":4},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-15T14:47:49.949267Z"},"links":{"cited_paper":"/paper/2503.06892","citing_paper":"/paper/2603.08388"},"observation_digest":"sha256:d4c929eea901a5d0c582bbd8b4c8f39bc5ef84368aaa45ed7fba19dfe27cd3e9","observation_id":"c9bca4d3-df93-422b-bc03-481953a7c232","resolution":{"observed_at":"2026-05-15T14:50:04.572382Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.06892","last_updated":"2025-03-10T03:37:36Z","snapshot_observed_at":"2026-08-07T17:18:06.193061Z","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","version":1},"cited_work":{"arxiv_id":"2503.06892","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.06892","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"L., Wang, W., Wang, R., Suh, D., Amosa, T","venue":null,"work_id":"840c90f1-1793-417c-8b72-c3d24f86fc9f","year":2025},"citing_paper":{"arxiv_id":"2604.05427","last_updated":"2026-04-07T04:46:06Z","snapshot_observed_at":"2026-08-08T11:20:51.590364Z","submitted_at":"2026-04-07T04:46:06Z","title":"Pre-Execution Safety Gate & Task Safety Contracts for LLM-Controlled Robot Systems","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-10T19:38:32.567165Z"},"links":{"cited_paper":"/paper/2503.06892","citing_paper":"/paper/2604.05427"},"observation_digest":"sha256:753a891252d3abe8101ba886557d00a4c480e1f292d967b7685d5cb61a42018d","observation_id":"4e43430d-b68c-4204-a4a4-b359a0ee84a8","resolution":{"observed_at":"2026-05-10T22:40:51.601672Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.06892","last_updated":"2025-03-10T03:37:36Z","snapshot_observed_at":"2026-08-07T17:18:06.193061Z","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","version":1},"cited_work":{"arxiv_id":"2503.06892","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.06892","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"L., Wang, W., Wang, R., Suh, D., Amosa, T","venue":null,"work_id":"840c90f1-1793-417c-8b72-c3d24f86fc9f","year":2025},"citing_paper":{"arxiv_id":"2605.02900","last_updated":"2026-05-24T13:33:45Z","snapshot_observed_at":"2026-08-02T11:46:07.449862Z","submitted_at":"2026-03-28T13:21:44Z","title":"Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses","version":1},"reference_index":275,"source":"pdf_text","source_observed_at":"2026-05-14T22:20:31.623849Z"},"links":{"cited_paper":"/paper/2503.06892","citing_paper":"/paper/2605.02900"},"observation_digest":"sha256:5d538540ac2c241173040fc3339077e87c788a024754dfb954377dcf12384032","observation_id":"30d7038a-210c-4520-a1e3-ce71464ee911","resolution":{"observed_at":"2026-05-14T22:23:03.980841Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.06892","last_updated":"2025-03-10T03:37:36Z","snapshot_observed_at":"2026-08-07T17:18:06.193061Z","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","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.06892","snapshot_observed_at":"2026-07-13T17:08:58.831798Z","title":"Safeplan: Leveraging formal logic and chain-of-thought reasoning for enhanced safety in llm-based robotic task planning.arXiv preprint arXiv:2503.06892, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2605.02900","last_updated":"2026-05-24T13:33:45Z","snapshot_observed_at":"2026-08-02T11:46:07.449862Z","submitted_at":"2026-03-28T13:21:44Z","title":"Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses","version":2},"reference_index":287,"source":"pdf_text","source_observed_at":"2026-07-13T17:08:58.831798Z"},"links":{"cited_paper":"/paper/2503.06892","citing_paper":"/paper/2605.02900"},"observation_digest":"sha256:ba13c66b64f6aba55133df1a88ad173edc9c0f1aefebf532602cdc9d6733a57c","observation_id":"b0a137ce-08bc-4c71-9aa7-6739687d90ee","resolution":{"observed_at":"2026-07-13T17:08:58.831798Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.06892","last_updated":"2025-03-10T03:37:36Z","snapshot_observed_at":"2026-08-07T17:18:06.193061Z","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","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.06892","snapshot_observed_at":"2026-08-01T23:52:52.704841Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15218","last_updated":"2026-07-16T17:20:38Z","snapshot_observed_at":"2026-08-08T03:08:00.506171Z","submitted_at":"2026-07-16T17:20:38Z","title":"When Words Are Safe But Actions Kill: Probing Physical Danger Beyond Text Safety in Hidden-State Risk Space","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T23:52:52.704841Z"},"links":{"cited_paper":"/paper/2503.06892","citing_paper":"/paper/2607.15218"},"observation_digest":"sha256:8da981d831395a784d491ee7a8a2b243097992b1a26c75e0f5a9e8c845274aa9","observation_id":"22e84c45-dd55-4ab4-baf2-a22da5c9bca9","resolution":{"observed_at":"2026-08-01T23:52:52.704841Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2503.06892/citation-record","integrity":"/paper/2503.06892/integrity","json":"/paper/2503.06892/citation-record.json","paper":"/paper/2503.06892"},"outbound":[],"paper":{"arxiv_id":"2503.06892","last_updated":"2025-03-10T03:37:36Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-07T17:18:06.193061Z","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"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"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."}