{"as_of":"2026-08-09T14:36:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3035c7ed1534b171bd0c9a1a669a0c6dd2cb3f49c98f4e6c151e01bd5a025386","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":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":29,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T18:03:36.063767Z","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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.06624","snapshot_observed_at":"2026-08-08T18:03:36.063767Z","title":"Towards guar- anteed safe ai: A framework for ensuring robust and reliable ai systems","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.05791","last_updated":"2025-02-09T06:35:11Z","snapshot_observed_at":"2026-08-08T17:56:05.070568Z","submitted_at":"2025-02-09T06:35:11Z","title":"Assessing confidence in frontier AI safety cases","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-08T18:03:36.063767Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2502.05791"},"observation_digest":"sha256:58d374aae0770ab924b5be2cc7214668f5eb8e609db0695dedbf6da84a0cf461","observation_id":"8a51fc7a-65d8-4c75-a04d-3b20c52dcdc8","resolution":{"observed_at":"2026-08-08T18:03:36.063767Z","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-08T14:48:44.395403Z","title":"Skalse, Y","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.06656","last_updated":"2025-02-19T16:05:47Z","snapshot_observed_at":"2026-08-09T07:08:16.327947Z","submitted_at":"2025-02-10T16:47:00Z","title":"A Frontier AI Risk Management Framework: Bridging the Gap Between Current AI Practices and Established Risk Management","version":3},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-08T14:48:44.395403Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2502.06656"},"observation_digest":"sha256:a672c1bdab03024bff5b6be72ef767f2c43425218268c7c09afcfe30bff8c406","observation_id":"8d9e368f-32de-4661-8730-6ff49cfb6fb2","resolution":{"observed_at":"2026-08-08T14:48:44.395403Z","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-07T14:06:51.959013Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20110","last_updated":"2026-05-25T16:15:16Z","snapshot_observed_at":"2026-08-07T13:56:44.227717Z","submitted_at":"2025-05-26T15:12:22Z","title":"Beyond the Proxy: Trajectory-Distilled Guidance for Offline GFlowNet Training","version":3},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T14:06:51.959013Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2505.20110"},"observation_digest":"sha256:c1dcec95d30e288aab34d09d7cf603d40b4f9abe2b3b7ddd5ac554ff376cad00","observation_id":"dba15a1d-60cb-455f-aeb0-37588edbf45f","resolution":{"observed_at":"2026-08-07T14:06:51.959013Z","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-07T11:25:27.207549Z","title":"A calculus for stochastic interventions: Causal effect identification and surrogate experiments","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.02923","last_updated":"2025-06-03T14:24:58Z","snapshot_observed_at":"2026-08-08T06:18:49.507432Z","submitted_at":"2025-06-03T14:24:58Z","title":"The Limits of Predicting Agents from Behaviour","version":1},"reference_index":1996,"source":"pdf_text","source_observed_at":"2026-08-07T11:25:27.207549Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2506.02923"},"observation_digest":"sha256:87ed519ad1d6feb6665bb365f9b3415e9b5c969f308353a89e4d8969a39a2dd4","observation_id":"bf64d97c-13b1-43df-979f-acdf4f64c7c6","resolution":{"observed_at":"2026-08-07T11:25:27.207549Z","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":"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:a9ed8f2be9783e95e8857159fdf326970b68b452b577284816dafab165300cc5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T23:26:57.460137Z","title":"Towards guar- anteed safe ai: A framework for ensuring robust and reliable ai systems","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17846","last_updated":"2025-06-21T22:45:19Z","snapshot_observed_at":"2026-08-07T19:34:31.461439Z","submitted_at":"2025-06-21T22:45:19Z","title":"Out of Control -- Why Alignment Needs Formal Control Theory (and an Alignment Control Stack)","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T23:26:57.460137Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2506.17846"},"observation_digest":"sha256:b8688888f1106ee795a45e1e104b94fa84439930308270caef841b782adf5cf3","observation_id":"4cb71390-ee26-42d7-b8bd-9ba263b7c9da","resolution":{"observed_at":"2026-08-06T23:26:57.460137Z","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-06T23:01:43.174843Z","title":"Dalrymple, J","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.22492","last_updated":"2025-06-24T18:55:29Z","snapshot_observed_at":"2026-08-06T22:57:48.252370Z","submitted_at":"2025-06-24T18:55:29Z","title":"Report on NSF Workshop on Science of Safe AI","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T23:01:43.174843Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2506.22492"},"observation_digest":"sha256:f1ad90dbe20c3941edb2c3133d5f70fec34596dbd29a57f856490c0f60d329bc","observation_id":"20570561-41fe-446a-a647-51ea506d3a0f","resolution":{"observed_at":"2026-08-06T23:01:43.174843Z","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-06T15:30:32.943429Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.15851","last_updated":"2025-07-21T17:59:01Z","snapshot_observed_at":"2026-08-07T07:35:46.479632Z","submitted_at":"2025-07-21T17:59:01Z","title":"The Other Mind: How Language Models Exhibit Human Temporal Cognition","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-06T15:30:32.943429Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2507.15851"},"observation_digest":"sha256:58e33e7675b24a0b49cebcd73deb0675cc2f6d3f84fbe7114544d36d3440888b","observation_id":"aad2bec3-e64f-405a-82e5-8cd7118a3522","resolution":{"observed_at":"2026-08-06T15:30:32.943429Z","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-06T15:20:11.745072Z","title":"Towards guaranteed safe ai: A framework for ensuring robust and reliable ai systems","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.16331","last_updated":"2026-07-03T09:17:03Z","snapshot_observed_at":"2026-08-07T04:15:41.914807Z","submitted_at":"2025-07-22T08:13:01Z","title":"Re:Form -- Reducing Human Annotations in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny","version":4},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T15:20:11.745072Z"},"links":{"cited_paper":"/paper/2405.06624","citing_paper":"/paper/2507.16331"},"observation_digest":"sha256:4d35565e5d730e7597a246c658e97e0f9bcbcb2e61a1ed96b232cd6385fb78b4","observation_id":"4991e340-828a-47c7-89e5-c1ea9f56ce2c","resolution":{"observed_at":"2026-08-06T15:20:11.745072Z","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":"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:d7f86dd610a2aff67eb11d5819a7f8fe02e4aaed2a8c57f7765c5bb59f3ffc3d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:d0d08be0bcf93e48bcc86fe4eb4a124acf3a7ed14ead56442126d279752d6320","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:efc9aaea55b0d93f5558dceef16ba24b6f1e89dd21462b4d2395b5c358ef6d4e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:8f6e7d0b232176d9c7999cceceadaf303dcbfbad63a2ca4115389f1c26d81f2b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:72fdcfd63edaf20ef3e69cae62cd35354117aaf35d88d5dff699be5c69e9026a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:8f2ef1b92928678d3c812cbd6dfcd8054fcd528c5512560f455b5054eef3c5ae","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:b0e5515079997fcff2dde63d81f9e28a80f62fec3186a8fe149f85f63afd8e8c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:fa7db80e5dd8ba249e810b19c5ec1468975044c0366ac22ceb29e4cd1acdd9f2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:10e251e0f734532412ea60f4e614474850d907fa0eb5fc33c8511dae57437ae5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:52c63b55ce54dfebad8ff931b9b0f9341ff5bdceab5fa7252657bcf1adeeb4e4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:0385b5bc9e44fb9e7c7e54d63e81f76583a6b1e5152d6399508e51ef290e2823","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:b334dc820f95c2d2b4022f193f4c6f781db541c8572a710e3d9d646daf627bb2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:3cd823e8c92cdd4113d89e183e4f76bc95e370f75ec69e50420b4af44112c6a1","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:c4d13addb63126cd239335d877830b0578488e9fc4b4d877573fc44b50e9c806","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T10:38:24.939268Z","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:13962cd6075471a4ac8efac1e2fec137f764688252cb6ced8ec3d7cf92e89a5e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08-05T08:25:57.237378Z","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:8fad0071b9f65e6b1ce8cb511d5dc674c48a4a9ce11fb8b675c876cb572f0502","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:11f8fa48c2e602b85f7fc0356713d1cfba02b6a06c20359d37c17e74f0818a7f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:6fd29d17ff55870889687085cc59a8f99e221a3a36f5cf6d1e5a404e74ba6a1f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T14:30:29.744593Z","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:3fa7faa8dce50d55d3811b5f60c1c63db3b776578f9bf9286032cda8b2d8c858","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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"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."}