Pith. sign in

Paper Citation Record · LEDGER

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

As of 5 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 21 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 21 of 21 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+00:00

measured 21 of 21 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-03T16:43:37.938871Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-10T06:15:00.866473Z

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 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-04T06:34:03.388597+00:00.

source=pdf_text observed=2026-05-19T11:00:27.799347Z digest=sha256:66371b0875d254181b25c2509f93950c071ce06d58ff00ca0c67f3f242cb10d6

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-04T06:34:03.388597+00:00.

source=pdf_text observed=2026-05-21T20:42:40.823721Z digest=sha256:6d8f70798060dc30d7bd9c00999d46861c3222c3d203f5923660d7eefc585f16

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-04T06:34:03.388597+00:00.

source=pdf_text observed=2026-05-22T11:54:16.332862Z digest=sha256:c1d6e57f6fab1f01ab0e79d0a425a55a45972fbec76c0f2d1dd8e5f87f5e08fc

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-04T06:34:03.388597+00:00.

source=pdf_text observed=2026-05-15T22:19:53.128437Z digest=sha256:0c4cbbc4f61cd1182f7c85f40648eb0d112a87aedb09a2f363f2ef61e176d842

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-04T06:34:03.388597+00:00.

source=pdf_text observed=2026-05-25T07:02:03.058731Z digest=sha256:9c5b73fc50b4da3f83c57d7e033869f838fb55c9ca40a74d52709bf9538182a4

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-04T06:34:03.388597+00:00.

source=pdf_text observed=2026-05-10T18:57:34.386632Z digest=sha256:dc90e149178e251b12da6d355b9230fb1edecc60af2350242d8ea4631efdaadf

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-04T06:34:03.388597+00:00.

source=pdf_text observed=2026-05-10T15:21:20.231759Z digest=sha256:dc5e7e1e8faf5ed6ab1177dd28efaaac55ff1e8ad7e818e5acdeb65fae1ea4b6

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-04T06:34:03.388597+00:00.

source=arxiv_source observed=2026-05-07T09:40:55.238278Z digest=sha256:35d5ee57abec37e02b891e27f5eba0a42ff83e5f878199ebc10f61640607182c

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-04T06:34:03.388597+00:00.

source=arxiv_source observed=2026-05-09T19:25:41.644991Z digest=sha256:d0cbbc138af5cf78502208983994b5aa7d8968702c602f319c555288d3d632dc

Observation 10b2ee03-428e-40ac-bf9b-969d4644cd14 · 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-07-01T08:05:31.782565Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

source=arxiv_source observed=2026-07-01T07:36:59.610186Z digest=sha256:756275f0b3b342eece790caaa02695d8ff00a7832bc795c4c42e2f22135ee55e

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-04T06:34:03.388597+00:00.

source=pdf_text observed=2026-05-09T19:22:01.985462Z digest=sha256:667f64540d31af0537e9fabffb044104f8f6c983354a0f5098813a1f71351d46

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-04T06:34:03.388597+00:00.

source=pdf_text observed=2026-07-01T07:34:03.989124Z digest=sha256:00da1112600bbe59456609bb1f78bbc8367e15de7ed30d0110f25d77bf5fef99

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-04T06:34:03.388597+00:00.

source=pdf_text observed=2026-05-08T17:52:37.343236Z digest=sha256:8822b85b88621c1602b4510ecfb26d7057e793197a725c42468bf3467f381d66

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-04T06:34:03.388597+00:00.

source=arxiv_source observed=2026-05-15T01:13:22.708879Z digest=sha256:92312f2ead58a49340f5c083b7b5a598445cc42d80a609e0105cd039a76fbcc3

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-04T06:34:03.388597+00:00.

source=arxiv_source observed=2026-05-15T05:56:56.902705Z digest=sha256:223873c67b5325595bb39774a659a21795df4ddff4908045695e1b8e3f9f9e5f

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-04T06:34:03.388597+00:00.

source=pdf_text observed=2026-06-28T17:05:13.012431Z digest=sha256:7c740e8fb1308aea94bc5ad504b0e24e2fcec1bda75a1c90deb36bcb34429fc3

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-04T06:34:03.388597+00:00.

source=pdf_text observed=2026-06-28T10:41:57.594760Z digest=sha256:f802ea85df0b461b7c88c65eb9913010b52bf79a0c4916b1f6a58b9960c398a1

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-04T06:34:03.388597+00:00.

source=arxiv_source observed=2026-06-27T17:25:55.152823Z digest=sha256:c68795635073f1a48844f6cbe0d1733c2d3195b9302d4e1e650c91b546fb0361

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-04T06:34:03.388597+00:00.

source=pdf_text observed=2026-06-25T22:32:53.911412Z digest=sha256:56305e2668efbe009cdff3a95a030b880e7e18ac220b050f928d9c1fadb5d493

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.

source=arxiv_source observed=2026-08-01T13:32:08.772746Z digest=sha256:8e36af1ea161881336ec17886d96faecc095c7c88017a0e6ac45459eb57144cb

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.

source=pdf_text observed=2026-08-03T16:43:37.938871Z digest=sha256:e7126f4cb94c7e7d5b539bf03b2658170a49df5f1bb163a98422964ff4cc1749