{"as_of":"2026-08-11T04:49:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a826dacae3797cdd6f3c1d173ca9392e79a77392d0f91d606ecc294751a008e5","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":9,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":9,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":9,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":9,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T20:06:31.304129Z","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-21T14:54:13.224278Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2503.03911","last_updated":"2025-03-05T21:23:15Z","snapshot_observed_at":"2026-08-07T17:26:28.633388Z","submitted_at":"2025-03-05T21:23:15Z","title":"Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.03911","snapshot_observed_at":"2026-08-07T12:11:19.367243Z","title":"Hafez, A","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.05376","last_updated":"2025-06-09T05:48:22Z","snapshot_observed_at":"2026-08-10T02:41:13.540113Z","submitted_at":"2025-05-30T22:58:54Z","title":"A Red Teaming Roadmap Towards System-Level Safety","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T12:11:19.367243Z"},"links":{"cited_paper":"/paper/2503.03911","citing_paper":"/paper/2506.05376"},"observation_digest":"sha256:5864785502cb38ff363e0623d820f4077b8a95a75e9169ea377c99a7684e6bd0","observation_id":"1502921a-39d8-4202-a4ab-192694451beb","resolution":{"observed_at":"2026-08-07T12:11:19.367243Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.03911","last_updated":"2025-03-05T21:23:15Z","snapshot_observed_at":"2026-08-07T17:26:28.633388Z","submitted_at":"2025-03-05T21:23:15Z","title":"Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.03911","snapshot_observed_at":"2026-08-05T11:54:14.002552Z","title":"Safe LLM-Controlled Robots with Formal Guarantees via Reachability Anal- ysis","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.02163","last_updated":"2025-09-02T10:14:28Z","snapshot_observed_at":"2026-08-08T04:57:38.586683Z","submitted_at":"2025-09-02T10:14:28Z","title":"Enhancing Reliability in LLM-Integrated Robotic Systems: A Unified Approach to Security and Safety","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T11:54:14.002552Z"},"links":{"cited_paper":"/paper/2503.03911","citing_paper":"/paper/2509.02163"},"observation_digest":"sha256:1e4875e13fc873a263b4b903cd1fc909b3d00a2f8f587148182aa394d3c59c83","observation_id":"b977371a-67d8-4682-97f1-9084653bdfcb","resolution":{"observed_at":"2026-08-05T11:54:14.002552Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.03911","last_updated":"2025-03-05T21:23:15Z","snapshot_observed_at":"2026-08-07T17:26:28.633388Z","submitted_at":"2025-03-05T21:23:15Z","title":"Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis","version":1},"cited_work":{"arxiv_id":"2503.03911","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.03911","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"SafeLLM-controlledrobotswithformalguarantees via reachability analysis","venue":null,"work_id":"0f1de0c9-11bf-447e-bba4-3b9713fe4db8","year":2025},"citing_paper":{"arxiv_id":"2511.12431","last_updated":"2026-05-08T15:17:44Z","snapshot_observed_at":"2026-07-06T22:35:55.936840Z","submitted_at":"2025-11-16T03:20:22Z","title":"Online Adaptive Probabilistic Safety Certificate with Language Guidance","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-17T22:43:29.590182Z"},"links":{"cited_paper":"/paper/2503.03911","citing_paper":"/paper/2511.12431"},"observation_digest":"sha256:38354e29c05ac5badefc3042a59b0d2353c0afea3c274764f9d5ffc97512533d","observation_id":"08e60049-dd0e-43a2-9698-36df7bc2b0a1","resolution":{"observed_at":"2026-05-17T22:45:24.393185Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.03911","last_updated":"2025-03-05T21:23:15Z","snapshot_observed_at":"2026-08-07T17:26:28.633388Z","submitted_at":"2025-03-05T21:23:15Z","title":"Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis","version":1},"cited_work":{"arxiv_id":"2503.03911","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.03911","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"SafeLLM-controlledrobotswithformalguarantees via reachability analysis","venue":null,"work_id":"0f1de0c9-11bf-447e-bba4-3b9713fe4db8","year":2025},"citing_paper":{"arxiv_id":"2602.03433","last_updated":"2026-02-03T11:56:08Z","snapshot_observed_at":"2026-08-08T17:54:42.368266Z","submitted_at":"2026-02-03T11:56:08Z","title":"When control meets large language models: From words to dynamics","version":1},"reference_index":212,"source":"pdf_text","source_observed_at":"2026-05-21T14:52:44.632671Z"},"links":{"cited_paper":"/paper/2503.03911","citing_paper":"/paper/2602.03433"},"observation_digest":"sha256:d7b2cb6f7e9c77e554298338131f224d06a91f3d07ceb7119197f49073625c7e","observation_id":"6f6c1270-fa23-4d71-ae8f-60dbc954e1f8","resolution":{"observed_at":"2026-05-21T14:54:13.226126Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.03911","last_updated":"2025-03-05T21:23:15Z","snapshot_observed_at":"2026-08-07T17:26:28.633388Z","submitted_at":"2025-03-05T21:23:15Z","title":"Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis","version":1},"cited_work":{"arxiv_id":"2503.03911","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.03911","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"SafeLLM-controlledrobotswithformalguarantees via reachability analysis","venue":null,"work_id":"0f1de0c9-11bf-447e-bba4-3b9713fe4db8","year":2025},"citing_paper":{"arxiv_id":"2604.11705","last_updated":"2026-04-13T16:42:19Z","snapshot_observed_at":"2026-08-10T23:15:49.482068Z","submitted_at":"2026-04-13T16:42:19Z","title":"Agentic Driving Coach: Robustness and Determinism of Agentic AI-Powered Human-in-the-Loop Cyber-Physical Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T15:23:08.116929Z"},"links":{"cited_paper":"/paper/2503.03911","citing_paper":"/paper/2604.11705"},"observation_digest":"sha256:aef95866c685d4fa6811a5330618c57283d2eba1b42d3d5c9c003db02882207c","observation_id":"8500deff-3dfa-47ff-94ad-ebbfb3e897e2","resolution":{"observed_at":"2026-05-11T10:41:04.464734Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.03911","last_updated":"2025-03-05T21:23:15Z","snapshot_observed_at":"2026-08-07T17:26:28.633388Z","submitted_at":"2025-03-05T21:23:15Z","title":"Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis","version":1},"cited_work":{"arxiv_id":"2503.03911","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.03911","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"SafeLLM-controlledrobotswithformalguarantees via reachability analysis","venue":null,"work_id":"0f1de0c9-11bf-447e-bba4-3b9713fe4db8","year":2025},"citing_paper":{"arxiv_id":"2604.13788","last_updated":"2026-04-15T12:27:32Z","snapshot_observed_at":"2026-08-11T03:59:17.240061Z","submitted_at":"2026-04-15T12:27:32Z","title":"Failure Identification in Imitation Learning Via Statistical and Semantic Filtering","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T13:40:04.811242Z"},"links":{"cited_paper":"/paper/2503.03911","citing_paper":"/paper/2604.13788"},"observation_digest":"sha256:39a0e540bb36a95d7b8bbfb2febbd0ec9e81fc694e13f68b8934c3ecae8ea8c4","observation_id":"9da1805f-cee2-427b-8f1f-bd965a4705d1","resolution":{"observed_at":"2026-05-10T13:40:26.548043Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.03911","last_updated":"2025-03-05T21:23:15Z","snapshot_observed_at":"2026-08-07T17:26:28.633388Z","submitted_at":"2025-03-05T21:23:15Z","title":"Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis","version":1},"cited_work":{"arxiv_id":"2503.03911","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.03911","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"SafeLLM-controlledrobotswithformalguarantees via reachability analysis","venue":null,"work_id":"0f1de0c9-11bf-447e-bba4-3b9713fe4db8","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":3,"source":"pdf_text","source_observed_at":"2026-05-14T22:20:31.623849Z"},"links":{"cited_paper":"/paper/2503.03911","citing_paper":"/paper/2605.02900"},"observation_digest":"sha256:c6202cc66f33ea4ff48ae8e36dbd48e575a46eaeaa27fe15cace7104e0341a0b","observation_id":"9d0ec97a-6e99-4537-892c-bfbd2fbf1f3b","resolution":{"observed_at":"2026-05-14T22:23:04.014867Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.03911","last_updated":"2025-03-05T21:23:15Z","snapshot_observed_at":"2026-08-07T17:26:28.633388Z","submitted_at":"2025-03-05T21:23:15Z","title":"Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.03911","snapshot_observed_at":"2026-07-13T17:08:58.831798Z","title":"Safe llm-controlled robots with formal guarantees via reachability analysis.arXiv preprint arXiv:2503.03911, 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":115,"source":"pdf_text","source_observed_at":"2026-07-13T17:08:58.831798Z"},"links":{"cited_paper":"/paper/2503.03911","citing_paper":"/paper/2605.02900"},"observation_digest":"sha256:7c51e48369782efe0674e10e6b6388bf19cf9a8c999f6ebb1ee853c91a96e31b","observation_id":"85d48676-2686-4f9a-ac27-f7940bafe9aa","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.03911","last_updated":"2025-03-05T21:23:15Z","snapshot_observed_at":"2026-08-07T17:26:28.633388Z","submitted_at":"2025-03-05T21:23:15Z","title":"Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.03911","snapshot_observed_at":"2026-08-08T20:06:31.304129Z","title":"Safe LLM- controlled robots with formal guarantees via reachability analysis,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.04309","last_updated":"2026-08-05T00:40:03Z","snapshot_observed_at":"2026-08-08T23:11:25.692361Z","submitted_at":"2026-08-05T00:40:03Z","title":"Structured LLM Reasoning for Zero-Shot Human--Robot Coordination Under Hidden Goals","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-08T20:06:31.304129Z"},"links":{"cited_paper":"/paper/2503.03911","citing_paper":"/paper/2608.04309"},"observation_digest":"sha256:3f9c855ccfb15b006de0f751b961a248bdcdb9052e32995b755e192382930677","observation_id":"724c9f56-5563-4f3f-b1dd-0e2ac107aee5","resolution":{"observed_at":"2026-08-08T20:06:31.304129Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2503.03911/citation-record","integrity":"/paper/2503.03911/integrity","json":"/paper/2503.03911/citation-record.json","paper":"/paper/2503.03911"},"outbound":[],"paper":{"arxiv_id":"2503.03911","last_updated":"2025-03-05T21:23:15Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-07T17:26:28.633388Z","submitted_at":"2025-03-05T21:23:15Z","title":"Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis"},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 9 inbound Pith citation observations for arXiv:2503.03911."}