Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-10T00:05:03.446077Z
Paper Citation Record · LEDGER
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure
As of 2 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 1 inbound Pith citation observation for arXiv:2604.20496.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-01T06:32:01.292127+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-01T02:40:28.959035Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
17 of 17 outbound references displayed
- verified exact1
- verified fuzzy13
- unresolved2
- parse uncertain0
- malformed identifier0
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation b637d08d-ca17-4532-884d-f43a7829a6a5 · outbound
This paper cites April 2026.
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T11:52:55.325327Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation eee09365-6256-48ee-b2af-a425e7f0fe67 · outbound
This paper cites April 2026.
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T11:52:55.350705Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 83c38748-40e0-485d-ade9-d62273133404 · outbound
This paper cites It Cost Less Than $50 to Find It.Predict / Medium, April.
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure It Cost Less Than $50 to Find It.Predict / Medium, April
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T11:52:55.321886Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 64f5548b-a15b-4e87-a0cd-8fe4548f1df6 · outbound
This paper cites an unresolved cited work.
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T11:52:55.339633Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 40f93751-dfe4-4c37-9d18-d25fb85248a0 · outbound
This paper cites GenAI / Medium, April.
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure GenAI / Medium, April
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T11:52:55.347105Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 8a59c99e-17dc-415e-8230-155a84e00a6e · outbound
This paper cites an unresolved cited work.
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-05-23T11:52:55.302372Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 4e662547-331d-4529-b33d-4e203dcc3d2c · outbound
This paper cites wolfSSL Pull Request #10096: Fix signed left-shift UB in ML-DSA w1 coefficient encoding.
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure wolfSSL Pull Request #10096: Fix signed left-shift UB in ML-DSA w1 coefficient encoding
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T11:52:55.306323Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation db84624d-71f1-4bcc-b54a-15c943125b42 · outbound
This paper cites Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code.
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code
Reference 8
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-05-10T00:24:47.586075Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 014f5eca-0ad0-4a9e-b29b-fcb5856c4ecc · outbound
This paper cites AAAI Workshop on AI and Ethics.
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure AAAI Workshop on AI and Ethics
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T11:52:55.332065Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 7f77685e-f184-4002-a027-07c6da839daf · outbound
This paper cites et al.Cooperative Inverse Reinforce- ment Learning.
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure et al.Cooperative Inverse Reinforce- ment Learning
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T11:52:55.310067Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation ec516edc-ba74-4d06-9348-bd1d8d79416a · outbound
This paper cites Identifying the Risks of LM Agents with an LM-Emulated Sandbox.
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure Identifying the Risks of LM Agents with an LM-Emulated Sandbox
Reference 11
- Resolution
- verified exact
- arxiv_id, observed 2026-05-12T20:45:24.770470Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation ce91fd77-789e-469c-8b45-40ccd616a6f7 · outbound
This paper cites et al.seL4: Formal Verification of an OS Kernel.
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure et al.seL4: Formal Verification of an OS Kernel
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T11:52:55.335840Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 5fb13486-6771-4f31-b54d-081f19aeefbf · outbound
This paper cites et al.CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels.
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure et al.CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T11:52:55.343309Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 8e99658f-ccfb-49ed-bd2c-42dd04d8b752 · outbound
This paper cites USENIX OSDI.
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T11:52:55.328710Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation 8940602f-dce2-4450-b759-f331d79695e6 · outbound
This paper cites et al.SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis.
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure et al.SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T11:52:55.313804Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation f633b089-1f41-41fc-a65f-47686217edfa · outbound
This paper cites Viking.
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T11:52:55.298438Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Observation aa2766c5-b7b2-42fe-a501-c7fa7b2dd946 · outbound
This paper cites When RV Meets CEP.
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure When RV Meets CEP
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-23T11:52:55.317611Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-01T06:32:01.292127+00:00.
Pith citing papers
Observation bce9d86e-a5a7-494d-bf46-6f5dd4dd0b9d · inbound
Cyber-Capable AI Agents: Vulnerabilities, Evaluation Containment, and Defensive Response cites this paper.
Cyber-Capable AI Agents: Vulnerabilities, Evaluation Containment, and Defensive Response Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T02:40:28.959035Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.