Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T15:11:19.776229Z
Paper Citation Record · LEDGER
As of 6 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 0 inbound Pith citation observations for arXiv:2508.20411.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T15:11:19.776229Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
50 of 50 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 27931313-5828-4758-8e5a-3db9dee343ed · outbound
Governable AI: Provable Safety Under Extreme Threat Models An overview of artificial intelligence ethics,
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation c343b529-90ad-48ea-bfd3-333b34af09f7 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Language models are few-shot learn- ers,
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 245f2eb2-d7ef-42c7-9dfe-2e3a3a8541c5 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Supervised contrastive learning for generalizable and explainable deepfakes detec- tion,
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 4d027ea3-a53a-4228-bd43-57687e9b7912 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Artificial super intelligence: beyond rhetoric,
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 51aec41b-69e2-4bf9-ac6a-50ffad4934fc · outbound
Governable AI: Provable Safety Under Extreme Threat Models Ai safety for everyone,
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 186065f3-5a9a-4f19-b83f-01110e2bca8f · outbound
Governable AI: Provable Safety Under Extreme Threat Models Actionable Guidance for High-Consequence AI Risk Management: Towards Standards Addressing AI Catastrophic Risks
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation b4d3f359-83d6-431a-9531-ce675fd325e6 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Learning diverse and discriminative representations via the principle of maximal coding rate reduction,
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 41d5b5cc-b15d-47aa-bf03-34bc14d561f5 · outbound
Governable AI: Provable Safety Under Extreme Threat Models A dempster-shafer ap- proach to trustworthy ai with application to fetal brain mri segmentation,
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation be77dc22-2eb2-4e2a-9210-6c78ae6c0850 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Vistarag: Toward safe and trustworthy autonomous driving through retrieval- augmented generation,
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 31022221-06ad-4a3c-8236-0fdfeda5acff · outbound
Governable AI: Provable Safety Under Extreme Threat Models AI Alignment: A Comprehensive Survey
Reference 10
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5616076c-50d1-4de6-9fd1-a266e364d78d · outbound
Governable AI: Provable Safety Under Extreme Threat Models How rl agents behave when their actions are modified,
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 9fcb0099-3311-4104-bc9f-aa74215d568f · outbound
Governable AI: Provable Safety Under Extreme Threat Models Alignment of Language Agents
Reference 12
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6173e3bc-341d-4c54-a222-62cafca2f1c9 · outbound
Governable AI: Provable Safety Under Extreme Threat Models On controllability of artificial intelli- gence,
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 9cf1ff90-c22e-4086-8487-d93324efcf73 · outbound
Governable AI: Provable Safety Under Extreme Threat Models You should not control what you do not understand: the risks of controllability in ai,
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 083749dd-8530-4def-b6b9-6a445b8f0636 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Rethinking explainable ai in financial services,
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation fb77d667-5abf-4eca-a1a4-e01eab9cb631 · outbound
Governable AI: Provable Safety Under Extreme Threat Models A review on explainable artificial intelligence for healthcare: Why, how, and when?
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation e7a27ea5-c8a5-4aa0-b5c3-b7beebf08309 · outbound
Governable AI: Provable Safety Under Extreme Threat Models A counterintuitive approach to explainable ai in healthcare: balancing transparency, efficiency, and cost,
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 35f4fdf1-174e-4716-86bb-3019a55be066 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Jcs: An explainable covid-19 diagnosis system by joint classification and segmentation,
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 8728d111-8a00-4a6c-ac3a-5cc1334245b6 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Xaitk-saliency: An open source explainable ai toolkit for saliency,
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 65d0da57-b416-44dd-9cb6-116269c09bce · outbound
Governable AI: Provable Safety Under Extreme Threat Models Neuro-symbolic explainable artificial intelligence twin for zero-touch ioe in wireless network,
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 34899692-4018-493a-b557-4fedd855a3da · outbound
Governable AI: Provable Safety Under Extreme Threat Models Advanced artificial agents intervene in the provision of reward,
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 0706575c-38c3-40a9-a1af-96ef472d0817 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Controllable ai-an alternative to trustworthiness in complex ai systems?
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 0b4bc069-242a-4392-a40f-d6242f887657 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Resource allocation and trust computing for blockchain- enabled edge computing system,
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 4253ce1b-3495-4680-939f-850e4209890c · outbound
Governable AI: Provable Safety Under Extreme Threat Models Design and implementation of trusted boot based on a new trusted computing dual- architecture,
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation cf528b45-ead5-4adc-8d25-9846cd0c9383 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Trusted platform module,
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 506605f3-ea30-4d3f-a50b-0c3b3a713735 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Research on trusted com- puting and its development,
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 3c1e2176-0efa-4c6d-a935-e799e7e8da8d · outbound
Governable AI: Provable Safety Under Extreme Threat Models An extensive investigation of condition reachability using cbmc: Study on negative results,
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 99942227-0eba-4354-a319-bd14e3a6714b · outbound
Governable AI: Provable Safety Under Extreme Threat Models Klee symbolic execution engine in 2019,
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 0f685f83-35aa-478f-8744-3e66f760f06e · outbound
Governable AI: Provable Safety Under Extreme Threat Models A formalization of core why3 in coq,
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 3d81a7de-3df3-467c-90e0-250e4d0aed2e · outbound
Governable AI: Provable Safety Under Extreme Threat Models Isarare: automatic verification of smt rewrites in isabelle/hol,
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation e7db28c5-8495-4308-9a6c-8a9839f278ca · outbound
Governable AI: Provable Safety Under Extreme Threat Models Application of formal methods (sat/smt) to the design of constrained codes,
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 9d8f77d7-2597-44b1-8310-0e745981ab2d · outbound
Governable AI: Provable Safety Under Extreme Threat Models Clips user’s guide,
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 93655ad7-bdf1-49c1-98bc-7ecb9edd55fd · outbound
Governable AI: Provable Safety Under Extreme Threat Models Bali, Drools JBoss rules 5.0 developer’s guide
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation e589c810-e0c4-4ef3-9ad8-7301aa57e39f · outbound
Governable AI: Provable Safety Under Extreme Threat Models Friedman-Hill, Jess in action: rule-based systems in Java
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation b14242d4-6423-44cc-b266-e57c4b708001 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Fifty years of prolog and beyond,
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 699e33f6-2c74-4368-b748-45559b2e443a · outbound
Governable AI: Provable Safety Under Extreme Threat Models Openssl 3.0. 0: An exploratory case study,
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation a0c5a94b-d905-428d-929a-fe75f9fcebb4 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Information security using gnu privacy guard,
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation a7cafd03-5022-4e39-be7d-33134a519bb1 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Sigstore: Software signing for everybody,
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation c41d2825-89c1-4408-8250-f8e3b079a11c · outbound
Governable AI: Provable Safety Under Extreme Threat Models The broken verifying: Inspections at verification tools for windows code-signing signatures,
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation b0ea8480-a35d-4c7a-8951-8e0860a41894 · outbound
Governable AI: Provable Safety Under Extreme Threat Models The provable security of ed25519: theory and practice,
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation fd31b93a-7e60-41c6-ac9e-7db7e71e9b4b · outbound
Governable AI: Provable Safety Under Extreme Threat Models Performance analysis of kyber-dna and rsa-base64 algorithms in symmetric key- exchange protocol,
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 1264fc34-4fb1-4b5e-9939-2947274ec2cd · outbound
Governable AI: Provable Safety Under Extreme Threat Models Fast two-party threshold ecdsa with proactive security,
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 2e2938e4-21ad-4ffb-9941-b335c0c3385a · outbound
Governable AI: Provable Safety Under Extreme Threat Models High-speed high-security signatures,
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 657574a5-ee48-4998-a3c4-139292694ab3 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Nist special publication 800-57 part 1, revision 4,
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 7c6a14fd-c61b-4170-a680-ac834b716e7a · outbound
Governable AI: Provable Safety Under Extreme Threat Models Post-quantum cryptography for linux file system integrity,
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation db70bf33-db52-40b8-98c3-2a2e42b9ecea · outbound
Governable AI: Provable Safety Under Extreme Threat Models On the security of pkcs# 11,
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation f256452b-e955-48c7-bdf4-69f88055f651 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Enhanced memory- safe linux security modules (elsms) for improving security of docker containers for data centers,
Reference 47
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 2bf7b5ef-41f4-40f1-91fb-3ebbe9a6c7f1 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Apparmor technical doc- umentation,
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation 0c2c1cdf-9353-4922-b770-fd9d39be1721 · outbound
Governable AI: Provable Safety Under Extreme Threat Models Implementing selinux as a linux security module,
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
Observation dc548bdb-f4e5-40f0-8325-f9fa2e60bceb · outbound
Governable AI: Provable Safety Under Extreme Threat Models Au- tomating seccomp filter generation for linux applications,
Reference 50
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.
No inbound Pith citation observations are available.