Paper Citation Record · LEDGER

Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

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

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

pith.paper-citation-record.v1
2405.06624 v3

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 29 of 29 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-08T18:03:36.063767Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

12
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 8a51fc7a-65d8-4c75-a04d-3b20c52dcdc8 · inbound

Assessing confidence in frontier AI safety cases cites this paper.

Assessing confidence in frontier AI safety cases Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-08T18:03:36.063767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d9e368f-32de-4661-8730-6ff49cfb6fb2 · inbound

A Frontier AI Risk Management Framework: Bridging the Gap Between Current AI Practices and Established Risk Management cites this paper.

A Frontier AI Risk Management Framework: Bridging the Gap Between Current AI Practices and Established Risk Management Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-08T14:48:44.395403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dba15a1d-60cb-455f-aeb0-37588edbf45f · inbound

Beyond the Proxy: Trajectory-Distilled Guidance for Offline GFlowNet Training cites this paper.

Beyond the Proxy: Trajectory-Distilled Guidance for Offline GFlowNet Training Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T14:06:51.959013Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf64d97c-13b1-43df-979f-acdf4f64c7c6 · inbound

The Limits of Predicting Agents from Behaviour cites this paper.

The Limits of Predicting Agents from Behaviour Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 1996

Resolution: unresolved; no resolver link, observed 2026-08-07T11:25:27.207549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07d577ae-c446-45cb-8363-7d3cdbb441d5 · inbound

Towards provable probabilistic safety for scalable embodied AI systems cites this paper.

Towards provable probabilistic safety for scalable embodied AI systems Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 34

Resolution: verified exact; arxiv_id, observed 2026-05-19T11:02:15.195578Z

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 4cb71390-ee26-42d7-b8bd-9ba263b7c9da · inbound

Out of Control -- Why Alignment Needs Formal Control Theory (and an Alignment Control Stack) cites this paper.

Out of Control -- Why Alignment Needs Formal Control Theory (and an Alignment Control Stack) Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T23:26:57.460137Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20570561-41fe-446a-a647-51ea506d3a0f · inbound

Report on NSF Workshop on Science of Safe AI cites this paper.

Report on NSF Workshop on Science of Safe AI Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T23:01:43.174843Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aad2bec3-e64f-405a-82e5-8cd7118a3522 · inbound

The Other Mind: How Language Models Exhibit Human Temporal Cognition cites this paper.

The Other Mind: How Language Models Exhibit Human Temporal Cognition Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T15:30:32.943429Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4991e340-828a-47c7-89e5-c1ea9f56ce2c · inbound

Re:Form -- Reducing Human Annotations in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny cites this paper.

Re:Form -- Reducing Human Annotations in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T15:20:11.745072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb7d4d1c-a4e6-44e2-b9e9-8154dd4ce918 · inbound

From Refusal to Recovery: A Control-Theoretic Approach to Generative AI Guardrails cites this paper.

From Refusal to Recovery: A Control-Theoretic Approach to Generative AI Guardrails Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 81

Resolution: verified exact; arxiv_id, observed 2026-05-21T20:44:22.068432Z

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 68355c92-9110-411d-87d6-451e81edcf7d · inbound

From monoliths to modules: Decomposing transducers for efficient world modelling cites this paper.

From monoliths to modules: Decomposing transducers for efficient world modelling Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-05-22T11:54:51.244796Z

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 9016be2e-0046-4bc1-812d-f35116c684c5 · inbound

Chimera: Neuro-Symbolic Attention Primitives for Trustworthy Dataplane Intelligence cites this paper.

Chimera: Neuro-Symbolic Attention Primitives for Trustworthy Dataplane Intelligence Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 38

Resolution: verified exact; arxiv_id, observed 2026-05-15T22:20:22.511406Z

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 b5c7449b-004e-44b6-92ca-79ced6a65937 · inbound

BarrierSteer: LLM Safety via Learning Barrier Steering cites this paper.

BarrierSteer: LLM Safety via Learning Barrier Steering Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-05-25T07:05:26.799621Z

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 7bb80e26-58b5-416c-ba46-fd149b075706 · inbound

Compiled AI: Deterministic Code Generation for LLM-Based Workflow Automation cites this paper.

Compiled AI: Deterministic Code Generation for LLM-Based Workflow Automation Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-05-10T23:40:51.490037Z

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 5e84574a-32e7-48af-8f11-423e9bd33321 · inbound

EmbodiedGovBench: A Benchmark for Governance, Recovery, and Upgrade Safety in Embodied Agent Systems cites this paper.

EmbodiedGovBench: A Benchmark for Governance, Recovery, and Upgrade Safety in Embodied Agent Systems Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 77

Resolution: verified exact; arxiv_id, observed 2026-05-11T10:41:06.897144Z

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 aa1e0b02-5ce3-4a17-ab2c-8f0b402f7219 · inbound

The Two Boundaries: Why Behavioral AI Governance Fails Structurally cites this paper.

The Two Boundaries: Why Behavioral AI Governance Fails Structurally Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-05-12T09:41:27.100264Z

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 e51cddc6-f067-4deb-8af5-73b416558d9a · inbound

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries cites this paper.

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-05-11T15:41:51.995407Z

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 10b2ee03-428e-40ac-bf9b-969d4644cd14 · inbound

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries cites this paper.

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-07-01T08:05:31.782565Z

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 f2fce7e3-9f7f-45f9-847b-6a408b33ba62 · inbound

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries cites this paper.

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-05-11T15:46:10.552414Z

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 353106a2-f4e4-46b7-9d1e-430462419401 · inbound

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries cites this paper.

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-07-01T07:35:28.820412Z

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 619dc57d-9261-4f08-b011-ff4828079d47 · inbound

Stable Agentic Control: Tool-Mediated LLM Architecture for Autonomous Cyber Defense cites this paper.

Stable Agentic Control: Tool-Mediated LLM Architecture for Autonomous Cyber Defense Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-05-11T17:06:05.734142Z

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 e477963b-5e2e-4f4c-8c64-f8eb8b684a3f · inbound

Are Flat Minima an Illusion? cites this paper.

Are Flat Minima an Illusion? Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 151

Resolution: verified exact; arxiv_id, observed 2026-05-15T01:13:25.899436Z

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 71469656-adbd-4fef-b1e5-92828ea94e87 · inbound

Positive Alignment: Artificial Intelligence for Human Flourishing cites this paper.

Positive Alignment: Artificial Intelligence for Human Flourishing Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 44

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T05:59:47.745329Z

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 05297aed-d91f-45b0-9d51-e96c94e3c2d4 · inbound

FVSpec: Real-World Property-Based Tests as Lean Challenges cites this paper.

FVSpec: Real-World Property-Based Tests as Lean Challenges Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 11

Resolution: verified exact; arxiv_id, observed 2026-06-28T17:12:25.304108Z

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 3f09eb72-fb6b-4d8c-b81e-a2818d78a8aa · inbound

Toward Pre-Deployment Assurance for Enterprise AI Agents: Ontology-Grounded Simulation and Trust Certification cites this paper.

Toward Pre-Deployment Assurance for Enterprise AI Agents: Ontology-Grounded Simulation and Trust Certification Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-07-02T02:46:28.194391Z

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 963b5bf3-dd20-4924-bace-47b42709635d · inbound

Interactions Between Crosscoder Features: A Compact Proofs Perspective cites this paper.

Interactions Between Crosscoder Features: A Compact Proofs Perspective Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-07-03T00:07:28.621709Z

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 8467ccf7-141f-46b8-91d3-ce9870b531f1 · inbound

Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks cites this paper.

Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 14

Resolution: metadata mismatch; arxiv_id, observed 2026-06-25T22:38:32.922857Z

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 fc4dcfd5-5ea9-411d-b34a-007669613c35 · inbound

Towards chemistries in dynamical systems cites this paper.

Towards chemistries in dynamical systems Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T13:32:08.772746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdcb44d3-b297-40a1-a733-c23aaad95b29 · inbound

Mining Verdict Boundaries for Neural Network Verification cites this paper.

Mining Verdict Boundaries for Neural Network Verification Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T16:43:37.938871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.