{"as_of":"2026-08-05T04:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f2b5ca592645586d2caa97efa0f5ad515748c061bac728a28091cd29f576c3ab","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":21,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":21,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+00:00","state":"measured"},{"denominator":21,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":21,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T16:43:37.938871Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":12,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2506.05171","last_updated":"2026-04-08T13:36:47Z","snapshot_observed_at":"2026-07-06T21:37:23.562748Z","submitted_at":"2025-06-05T15:46:25Z","title":"Towards provable probabilistic safety for scalable embodied AI systems","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-19T11:00:27.799347Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2506.05171"},"observation_digest":"sha256:e9d772020382e14032ffe745d0f27f177dad45e7148ad0a5494dfcb73a962b83","observation_id":"07d577ae-c446-45cb-8363-7d3cdbb441d5","resolution":{"observed_at":"2026-05-19T11:02:15.195578Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2510.13727","last_updated":"2026-05-19T04:39:26Z","snapshot_observed_at":"2026-08-02T19:37:00.796741Z","submitted_at":"2025-10-15T16:30:57Z","title":"From Refusal to Recovery: A Control-Theoretic Approach to Generative AI Guardrails","version":2},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-05-21T20:42:40.823721Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2510.13727"},"observation_digest":"sha256:cb0a6bccbfeefeba9e32476fa3469b25984eb9367c446321aee3bdc3b722d4a3","observation_id":"fb7d4d1c-a4e6-44e2-b9e9-8154dd4ce918","resolution":{"observed_at":"2026-05-21T20:44:22.068432Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2512.02193","last_updated":"2026-05-20T19:51:01Z","snapshot_observed_at":"2026-07-06T22:37:31.360740Z","submitted_at":"2025-12-01T20:37:43Z","title":"From monoliths to modules: Decomposing transducers for efficient world modelling","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-22T11:54:16.332862Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2512.02193"},"observation_digest":"sha256:de2728b60de481157192ecccbaad82708b30c7bec302a37c0115ddd25a16c94b","observation_id":"68355c92-9110-411d-87d6-451e81edcf7d","resolution":{"observed_at":"2026-05-22T11:54:51.244796Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2602.12851","last_updated":"2026-04-21T14:14:01Z","snapshot_observed_at":"2026-07-06T22:45:49.118915Z","submitted_at":"2026-02-13T11:55:06Z","title":"Chimera: Neuro-Symbolic Attention Primitives for Trustworthy Dataplane Intelligence","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-15T22:19:53.128437Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2602.12851"},"observation_digest":"sha256:a0bb4b4eeb7d99750ad9258dfb563f2076c4da4c4e472c2b8e71d57508dbac40","observation_id":"9016be2e-0046-4bc1-812d-f35116c684c5","resolution":{"observed_at":"2026-05-15T22:20:22.511406Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2602.20102","last_updated":"2026-05-21T18:01:19Z","snapshot_observed_at":"2026-08-02T14:02:01.747985Z","submitted_at":"2026-02-23T18:19:46Z","title":"BarrierSteer: LLM Safety via Learning Barrier Steering","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-25T07:02:03.058731Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2602.20102"},"observation_digest":"sha256:c54a63b5e17019e84eac0875338d417c3de892a43a62ce93c97d414798d424b8","observation_id":"b5c7449b-004e-44b6-92ca-79ced6a65937","resolution":{"observed_at":"2026-05-25T07:05:26.799621Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2604.05150","last_updated":"2026-04-06T20:25:20Z","snapshot_observed_at":"2026-07-06T22:53:55.926521Z","submitted_at":"2026-04-06T20:25:20Z","title":"Compiled AI: Deterministic Code Generation for LLM-Based Workflow Automation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T18:57:34.386632Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2604.05150"},"observation_digest":"sha256:1ea6dcad2534686639689b3205ef9ee783bf158905a31ebbd3a9f64ffe086625","observation_id":"7bb80e26-58b5-416c-ba46-fd149b075706","resolution":{"observed_at":"2026-05-10T23:40:51.490037Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2604.11174","last_updated":"2026-04-13T08:34:04Z","snapshot_observed_at":"2026-07-06T22:59:36.571641Z","submitted_at":"2026-04-13T08:34:04Z","title":"EmbodiedGovBench: A Benchmark for Governance, Recovery, and Upgrade Safety in Embodied Agent Systems","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-05-10T15:21:20.231759Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2604.11174"},"observation_digest":"sha256:dbf913b17186f2a6066e8044c2a48db3b56eb2d6d465d7f8789a4a2dcdbf8e2f","observation_id":"5e84574a-32e7-48af-8f11-423e9bd33321","resolution":{"observed_at":"2026-05-11T10:41:06.897144Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2604.27292","last_updated":"2026-05-26T12:26:33Z","snapshot_observed_at":"2026-07-06T23:12:47.745700Z","submitted_at":"2026-04-30T01:12:32Z","title":"The Two Boundaries: Why Behavioral AI Governance Fails Structurally","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-05-07T09:40:55.238278Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2604.27292"},"observation_digest":"sha256:10955922415bcef02dd12f439b9de2a0f072bfa98a0fd8d01af523bec37bdc36","observation_id":"aa1e0b02-5ce3-4a17-ab2c-8f0b402f7219","resolution":{"observed_at":"2026-05-12T09:41:27.100264Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2605.01030","last_updated":"2026-05-26T12:30:21Z","snapshot_observed_at":"2026-07-31T16:02:12.905662Z","submitted_at":"2026-05-01T18:52:47Z","title":"Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-05-09T19:25:41.644991Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2605.01030"},"observation_digest":"sha256:27da3972712b3d49c07cfc8d4c3e4e8ca429ab2f6be1a07c9e9735c1d8a529f7","observation_id":"e51cddc6-f067-4deb-8af5-73b416558d9a","resolution":{"observed_at":"2026-05-11T15:41:51.995407Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2605.01030","last_updated":"2026-05-26T12:30:21Z","snapshot_observed_at":"2026-07-31T16:02:12.905662Z","submitted_at":"2026-05-01T18:52:47Z","title":"Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries","version":3},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-07-01T07:36:59.610186Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2605.01030"},"observation_digest":"sha256:804d1973c519351e10b0307df1dfa2f2fd39269f759df8aee76e7d52babef58f","observation_id":"10b2ee03-428e-40ac-bf9b-969d4644cd14","resolution":{"observed_at":"2026-07-01T08:05:31.782565Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2605.01032","last_updated":"2026-05-26T12:41:10Z","snapshot_observed_at":"2026-07-06T23:14:20.123289Z","submitted_at":"2026-05-01T18:59:01Z","title":"Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-09T19:22:01.985462Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2605.01032"},"observation_digest":"sha256:331091e0609bc9630afeb07c486490619b41f765068028e6cd2922015a134400","observation_id":"f2fce7e3-9f7f-45f9-847b-6a408b33ba62","resolution":{"observed_at":"2026-05-11T15:46:10.552414Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2605.01032","last_updated":"2026-05-26T12:41:10Z","snapshot_observed_at":"2026-07-06T23:14:20.123289Z","submitted_at":"2026-05-01T18:59:01Z","title":"Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-01T07:34:03.989124Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2605.01032"},"observation_digest":"sha256:a4a437e8a11cb793419843dcfa1c34dd0623b0ef7a8e23c1440bfddbad1ca377","observation_id":"353106a2-f4e4-46b7-9d1e-430462419401","resolution":{"observed_at":"2026-07-01T07:35:28.820412Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2605.03034","last_updated":"2026-05-04T18:02:59Z","snapshot_observed_at":"2026-08-03T22:24:40.753022Z","submitted_at":"2026-05-04T18:02:59Z","title":"Stable Agentic Control: Tool-Mediated LLM Architecture for Autonomous Cyber Defense","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-08T17:52:37.343236Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2605.03034"},"observation_digest":"sha256:26d381f80573104f7d82cf127971cf39188c33d79f364b06a60636d603859be9","observation_id":"619dc57d-9261-4f08-b011-ff4828079d47","resolution":{"observed_at":"2026-05-11T17:06:05.734142Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2605.05209","last_updated":"2026-07-26T22:32:59Z","snapshot_observed_at":"2026-08-02T17:39:23.922835Z","submitted_at":"2026-03-24T06:14:05Z","title":"Are Flat Minima an Illusion?","version":1},"reference_index":151,"source":"arxiv_source","source_observed_at":"2026-05-15T01:13:22.708879Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2605.05209"},"observation_digest":"sha256:dafbc9cbb1a64d997bd2bbfb4ee7774302cb118c9d9e174e51fdd8c881abc5b8","observation_id":"e477963b-5e2e-4f4c-8c64-f8eb8b684a3f","resolution":{"observed_at":"2026-05-15T01:13:25.899436Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2605.10310","last_updated":"2026-06-19T14:35:47Z","snapshot_observed_at":"2026-07-06T23:22:18.704329Z","submitted_at":"2026-05-11T10:11:08Z","title":"Positive Alignment: Artificial Intelligence for Human Flourishing","version":2},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-05-15T05:56:56.902705Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2605.10310"},"observation_digest":"sha256:56c97b9de7e801927a3eeada9d15a35b7f7c69770acc323fc7b47d85321b86b5","observation_id":"71469656-adbd-4fef-b1e5-92828ea94e87","resolution":{"observed_at":"2026-05-15T05:59:47.745329Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2606.01008","last_updated":"2026-05-31T04:51:27Z","snapshot_observed_at":"2026-08-02T23:36:34.914624Z","submitted_at":"2026-05-31T04:51:27Z","title":"FVSpec: Real-World Property-Based Tests as Lean Challenges","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-28T17:05:13.012431Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2606.01008"},"observation_digest":"sha256:b0f9e6c1b4523603d31b3232efc2356262bc02c694c5893b2a61ae77b4bc8a7e","observation_id":"05297aed-d91f-45b0-9d51-e96c94e3c2d4","resolution":{"observed_at":"2026-06-28T17:12:25.304108Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2606.04037","last_updated":"2026-06-04T15:00:59Z","snapshot_observed_at":"2026-07-06T23:44:14.261541Z","submitted_at":"2026-06-02T02:37:11Z","title":"Toward Pre-Deployment Assurance for Enterprise AI Agents: Ontology-Grounded Simulation and Trust Certification","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-28T10:41:57.594760Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2606.04037"},"observation_digest":"sha256:e50149e1c8eef7025d45a65a59b5c95213668fa7cdcc57ccc9de9af4f90b99d7","observation_id":"3f09eb72-fb6b-4d8c-b81e-a2818d78a8aa","resolution":{"observed_at":"2026-07-02T02:46:28.194391Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2606.09940","last_updated":"2026-06-08T00:15:44Z","snapshot_observed_at":"2026-07-06T23:49:12.754871Z","submitted_at":"2026-06-08T00:15:44Z","title":"Interactions Between Crosscoder Features: A Compact Proofs Perspective","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-06-27T17:25:55.152823Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2606.09940"},"observation_digest":"sha256:71319f3203bb5165631112236d3b2951eae0023c0fca60edead951d7f9dcf2d3","observation_id":"963b5bf3-dd20-4924-bace-47b42709635d","resolution":{"observed_at":"2026-07-03T00:07:28.621709Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":"2405.06624","doi":"10.48550/arxiv.2405.06624","metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":"arXiv (Cornell University)","work_id":"836a702a-371d-4165-b593-9c6951678c49","year":2024},"citing_paper":{"arxiv_id":"2606.25239","last_updated":"2026-06-23T23:56:21Z","snapshot_observed_at":"2026-07-06T23:59:42.289674Z","submitted_at":"2026-06-23T23:56:21Z","title":"Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-25T22:32:53.911412Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2606.25239"},"observation_digest":"sha256:93659d557746dd82260603d1e5f44ea0388980fb5bd2f036435001c75e508bc6","observation_id":"8467ccf7-141f-46b8-91d3-ce9870b531f1","resolution":{"observed_at":"2026-06-25T22:38:32.922857Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-01T13:32:08.772746Z","title":"arXiv preprint arXiv:2405.06624 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.19090","last_updated":"2026-07-21T13:29:54Z","snapshot_observed_at":"2026-08-05T01:10:28.333280Z","submitted_at":"2026-07-21T13:29:54Z","title":"Towards chemistries in dynamical systems","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-01T13:32:08.772746Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2607.19090"},"observation_digest":"sha256:8e36af1ea161881336ec17886d96faecc095c7c88017a0e6ac45459eb57144cb","observation_id":"fc4dcfd5-5ea9-411d-b34a-007669613c35","resolution":{"observed_at":"2026-08-01T13:32:08.772746Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-03T16:43:37.938871Z","title":"arXiv preprint arXiv:2405.06624 (2024).https://doi.org/10.48550/arXiv.2405.06624","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28954","last_updated":"2026-07-31T02:16:55Z","snapshot_observed_at":"2026-08-05T04:10:57.133771Z","submitted_at":"2026-07-31T02:16:55Z","title":"Mining Verdict Boundaries for Neural Network Verification","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T16:43:37.938871Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2607.28954"},"observation_digest":"sha256:2274d2966cbd16ad397ec1bc4cefce6b19de82b8f16d578fa3c0a9a486408160","observation_id":"bdcb44d3-b297-40a1-a733-c23aaad95b29","resolution":{"observed_at":"2026-08-03T16:43:37.938871Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2405.06624/citation-record","integrity":"/paper/2405.06624/integrity","json":"/paper/2405.06624/citation-record.json","paper":"/paper/2405.06624"},"outbound":[],"paper":{"arxiv_id":"2405.06624","last_updated":"2024-07-08T13:35:00Z","latest_version":3,"primary_category":"cs.AI","snapshot_observed_at":"2026-07-06T18:12:43.301678Z","submitted_at":"2024-05-10T17:38:32Z","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems"},"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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"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."}