{"as_of":"2026-08-06T20:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ed0fd3dec01f579766751a9388284ff4d95dc785500b7b4d9dd0bb4133fbdc7b","coverage":[{"denominator":62,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":62,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-26T16:56:29.550587Z","state":"measured"},{"denominator":64,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":64,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-06T06:34:29.942622+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T00:49:47.936349Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-10T18:37:31.192458Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"cited_work":{"arxiv_id":"2606.20510","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.20510","snapshot_observed_at":"2026-07-10T18:37:31.192458Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","venue":"cs.CR","work_id":"eeb2e822-b0d0-44e5-ae97-f061854fe5ba","year":2026},"citing_paper":{"arxiv_id":"2607.07774","last_updated":"2026-07-30T19:01:17Z","snapshot_observed_at":"2026-08-05T23:10:59.079432Z","submitted_at":"2026-07-08T16:46:06Z","title":"ScopeJudge: Cost-Aware Pre-Execution Gating for Offensive Security Agents","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-10T18:29:50.731038Z"},"links":{"cited_paper":"/paper/2606.20510","citing_paper":"/paper/2607.07774"},"observation_digest":"sha256:e8cf762adef13f8c4a5df65a0c17386107ab9e4cf4be38538ceaa3cd7f5b926d","observation_id":"b6f0fbe7-35b8-4a67-93c4-d958f5df9e48","resolution":{"observed_at":"2026-07-10T18:37:31.193706Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.20510","snapshot_observed_at":"2026-08-03T00:49:47.936349Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.07774","last_updated":"2026-07-30T19:01:17Z","snapshot_observed_at":"2026-08-05T23:10:59.079432Z","submitted_at":"2026-07-08T16:46:06Z","title":"ScopeJudge: Cost-Aware Pre-Execution Gating for Offensive Security Agents","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T00:49:47.936349Z"},"links":{"cited_paper":"/paper/2606.20510","citing_paper":"/paper/2607.07774"},"observation_digest":"sha256:dedf2d3e593ba11d3546c7e1646fae44fbd856364b1b515b0114b23f1bce657f","observation_id":"14a50ee6-59d7-4e62-ab48-d45b2ea4b12a","resolution":{"observed_at":"2026-08-03T00:49:47.936349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2606.20510/citation-record","integrity":"/paper/2606.20510/integrity","json":"/paper/2606.20510/citation-record.json","paper":"/paper/2606.20510"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3763058","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Probabilistic Inference for Datalog with Correlated Inputs , year =","venue":"Proceedings of the ACM on Programming Languages","work_id":"f1a93fac-f1c5-4731-936f-4c4eb7211069","year":null},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:9a9f1021b812793dafbd404a3520197ac69207d179a2c1dd65531c67130c068d","observation_id":"96e90d88-8b0f-4fce-bbcd-0d38df55150d","resolution":{"observed_at":"2026-06-26T16:59:35.742814Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"The Eleventh International Conference on Learning Representations , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:704179667c77c2aaf956be013d6c5f9266b982ea19cfaebd986e2fadc75ad613","observation_id":"e8b79341-bda4-4c13-8c2d-ce67918c6b55","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"AutoGen: Enabling Next-Gen","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:8d19cb8f8649487c958f1836fc9913b5cad0dfa2649dc1f86a2cd46fce892575","observation_id":"54555c08-b17d-4fa0-bb6d-90bdf5a1cdc3","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2025 , eprint=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:0849e6063de97912c77b9d5b90379878f58ea4769ca0880d0007c6f9bf435668","observation_id":"570e319d-f1ee-4362-a857-5a1447987fcf","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Operations Research , month = dec, pages =","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:002c843a011a44ec6c40a0ef1b083f0cca6e01a987bb675e0d9210459a50ad48","observation_id":"94aa6b49-72df-4443-be11-d73a57cbd942","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Proceedings of the 37th International Conference on Neural Information Processing Systems , articleno =","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:3f2658c4c0f5acc5c128f9602019ce3c900d741552e658770f5af342436cfb76","observation_id":"ba40accd-5755-400c-ade6-20023bfdedc2","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"NL 2 B ash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:d12b65e835b05064af59445a2479e3ac61f3eee64159c4c11ae8ab8d7787774d","observation_id":"f0cbd5c2-0521-4c2c-a9de-ffca3cdeb2f5","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2024 , eprint=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:e76e004402c4337faddfc4dc524fe3d1ecb5320d7ac1cfc265c58966952d2961","observation_id":"3bf04d20-33e9-4af3-acb4-4c4c47421e0a","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2026 , eprint=","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:25e1e7f6cb4181bd84315472a2e081eca8356b5749de003fc0a88b4a096d9dc2","observation_id":"d635ba0c-83fd-4c4d-9298-84d0687a947a","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Defeating Prompt Injections by Design , url =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:daac7eed4bbae4ce1924099756214855bbe196981fcb159cc095eefc19a4da25","observation_id":"3c2ef198-8c26-4b67-abbf-0743e51744c5","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Forty-second International Conference on Machine Learning , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:523466793006d68cb9e5aca6483a6d40acf75d25bb01592af8150f6a181ee4d6","observation_id":"a94c06fe-d9a5-4019-a347-f4d7e2ea5c49","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2026 , volume =","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:5373c817e31f52361c22cb270d32372642ab05c931d76fce1bf5273a0216308f","observation_id":"7263c3dc-acd9-4f5b-9294-670b973267c9","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2025 , eprint=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:6029b434e165a0ad8f302febc5c7956003fa4cb9be8880dcedd418c0a6752d7c","observation_id":"60ece922-0472-48d9-a0e7-f69dec816138","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2025 , eprint=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:7a375588db4cf4a50e9b3d3b1c87b9640da5bed655875ebe132629e188b87349","observation_id":"3867a4d0-a5d0-47a9-8744-4c9166b63f89","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10957-016-0892-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"O’Donoghue, E","venue":"Journal of Optimization Theory and Applications","work_id":"3e51ff72-2bd2-40e7-bb76-1c0ddf4887be","year":2016},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:a390ec625b210fc575b8ec785314b91d2840d380551fb3bfe39c9a9c6a65b718","observation_id":"4168cb8f-569d-4dfd-817f-dd7bb1b892f6","resolution":{"observed_at":"2026-06-26T16:59:35.735388Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-12T10:49:15.893287+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T10:49:15.893287+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Proceedings of the 20th International Joint Conference on Artifical Intelligence , pages =","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:56157673607dbd5cf97bd11100373521b67844c8b7a995015f975ccef32992b7","observation_id":"c7f3b2c5-3399-4179-aae7-93035e1df40f","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2026 , eprint=","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:5e1f134ad5d20d30f4e6f41df66c1127e3b22e4e5e2d685d3e50d7f3bdae4691","observation_id":"51f3a8d3-7ce8-4ce9-9b32-a6c104150564","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8906.333891","doi":"10.1145/3338906.3338910","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2019 , isbn =","venue":null,"work_id":"23d1c894-6d9f-4a52-9146-0b97a4e58c41","year":2019},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:c709a2d9c0b5dffeac8185f091ced7c887da6cc91591e8773e7bc253cedf780f","observation_id":"827ea2e3-a3ea-49b9-b3d6-77700d9cda32","resolution":{"observed_at":"2026-06-26T16:59:35.714663Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Proceedings of the 20th National Conference on Artificial Intelligence - Volume 1 , pages =","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:a72c9870a949db98b045de3186107efb0bc690fa3ea4584478c55835d6663001","observation_id":"61b1441d-cec1-423c-8fa8-ae31843c9df9","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Workshops at the Thirtieth AAAI Conference on Artificial Intelligence , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:eda2a73e45abd01d7e6700e2840d949a3e82f17c311f05c24e6081105ff46ebb","observation_id":"229d2f55-1e0c-4e9a-b071-be2ea2abd9f8","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3591280","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2023 , issue_date =","venue":"Proceedings of the ACM on Programming Languages","work_id":"464a46d2-983f-4949-bcc2-6f763766c947","year":2023},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:d67d6d1b18799e42d7e6b88123bf9ef2ca932e04dc59af4ae20eb2b8bee73d44","observation_id":"2b75eabb-889e-46ea-8d01-c09eff4ed7ff","resolution":{"observed_at":"2026-06-26T16:59:35.737087Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Proceedings of the 32nd International Conference on Neural Information Processing Systems , pages =","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:b717ca83adf90be80ad7b1da09171815dc808280d89f7e6d1bcdd8cc1d7c3bee","observation_id":"44df9924-43d6-42fd-b5eb-3be25bc00d07","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Theory and Practice of Logic Programming , volume=","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:ca9fe72e3f7c0a0ec79beec8c04baf17fb7a32ab659542448fd38789536a84d1","observation_id":"e5f3418c-2958-42fd-85ab-ac3859c9e184","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3428208","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2020 , issue_date =","venue":"Proceedings of the ACM on Programming Languages","work_id":"d9bcaec0-f2cf-4e46-8ed8-d032c3765f9b","year":2020},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:422de21a8f68d98b2113102c8f8ac5cf5ecd27a847083ac43ef0e352abfb9870","observation_id":"5cc267b3-74e9-453f-aad5-3c147c5bb0ab","resolution":{"observed_at":"2026-06-26T16:59:35.728015Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Decision Support Systems , volume=","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:bf13675a9d36697e6422c51892f5de42f94670ad01554ccba389707f1a482a2c","observation_id":"3695f49b-cd0e-4dba-b7fc-f697a0483460","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Proceedings of the 34th USENIX Conference on Security Symposium , articleno =","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:fdd2080655d528cb1b88df6413032dac5dfc92430c736b2280c335753b642eb0","observation_id":"c92aa5f0-8e97-459f-a49a-9a9edbb8677b","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9027.374483","doi":"10.1145/3719027.3744835","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"URL https: //doi.org/10.1145/3719027.3744835","venue":null,"work_id":"b79879de-86b3-4660-88bd-39ed431563e6","year":2025},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:3bb65d1f7f51465dc292720fdb901a98d18fa389d6f7f4baf498579a8f1f411f","observation_id":"0ba086b0-2fc4-4de8-b94a-dce9aaf70ce7","resolution":{"observed_at":"2026-06-26T16:59:35.723767Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8998.266669","doi":"10.1145/268998.266669","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"and Liskov, Barbara , title =","venue":null,"work_id":"73589d4d-faf3-4474-8ead-4f950526e1de","year":1997},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:95a4924cfae4fd42c3716b550bf183f3535353c11d874c0ffe07e04e69073656","observation_id":"9296a1ae-3a6b-4ef9-9f3f-139c04720376","resolution":{"observed_at":"2026-06-26T16:59:35.749046Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3323.353382","doi":"10.1145/353323.353382","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enforceable Security Policies","venue":"ACM Transactions on Information and System Security","work_id":"fca90ac8-c08e-46a0-b587-cecb983cff53","year":2000},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:d5277543a64ba0c5520aba5d78b9bea79ad789a5574f6b6468b976bfe17dac04","observation_id":"8f0651d3-956c-42d6-b513-13a4c7010021","resolution":{"observed_at":"2026-06-26T16:59:35.721101Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0051.360056","doi":"10.1145/360051.360056","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A lattice model of secure information flow","venue":"Communications of the ACM","work_id":"6cdbea4c-88e9-4d05-a58e-c82a89b4d66b","year":1976},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:77a26c0f3249ca92b33401cbe9b5aa013f700b4dccaeb6818cbe8cf3a8ffa0cc","observation_id":"f59f761d-5cb4-4515-b323-252c78b7b7c2","resolution":{"observed_at":"2026-06-26T16:59:35.718290Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-11T23:19:19.89537+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T23:19:19.89537+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2024 , booktitle =","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:cc7c908b679a87d71701a7debe71d1806f52c2f9ce57117284f31dbd3f50ae4c","observation_id":"e3f3670f-8f6c-4d77-b6b5-8f7ad2c724f8","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Toolformer: language models can teach themselves to use tools , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:7183bfd9e2f653433885b8e448975994e2009422459f1f5a1514d9734dee8d32","observation_id":"a9d71dcc-5f9a-433b-af00-f5f9eb649067","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"IEEE Journal on selected areas in communications , volume=","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:39e901f33bb9c02cf9dca65cfb8640adeb8639a8cca9aaa776c0ef5788da4d58","observation_id":"b8cf767d-900c-47b0-8bdc-38d92cd5668b","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2024 , eprint=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:62ff5c29ddba7f2c90d0e1f90bbe4b40e4b7912626c0dc2fd9381f2f4d67be5d","observation_id":"a075ccf7-2276-47b2-98d7-5b4a2d0991c2","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2026 , eprint=","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:f5483fd9aef8df7b60e609a13fb219b6e559902dc75e15bb18a4562a371ee07b","observation_id":"8bbc04af-4531-473e-8394-37fe0e937a3f","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v34i06.6591","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the AAAI Conference on Artificial Intelligence , author=","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"abbb01ed-cb98-4ebb-ad19-1ecca108ca6a","year":2020},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:6e7adb87915ce8ecaa010b7f4930d4bed1abb0889585526ddb03a9fa9eee667b","observation_id":"083921c9-7c09-45e3-9b87-5fd73d47a657","resolution":{"observed_at":"2026-06-26T16:59:35.754437Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3132700","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Declarative Probabilistic Programming with Datalog , year =","venue":"ACM Transactions on Database Systems","work_id":"7e074cf0-bf69-4b3f-ab65-074309e5bb24","year":null},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:02d7d0ddba6ba78459d506f688b9fbb5bfe21813a2ef1f951b2379ba71c9a788","observation_id":"63c0a940-427a-4125-b409-4bb6250e7572","resolution":{"observed_at":"2026-06-26T16:59:35.726011Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3979.106398","doi":"10.1145/1063979.1063986","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2005 , isbn =","venue":null,"work_id":"3d69e6d3-a8a1-403d-9de3-499bc0271c87","year":2005},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:d7a4a095c50b3bb3dd40290b634745f69ac1c43de95de1f9f62caba0529d25a2","observation_id":"c02dc56c-adfc-42fe-8979-e986af650dd1","resolution":{"observed_at":"2026-06-26T16:59:35.752388Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2023 , eprint=","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:ab6a9444099f9f5aa440116727b22754a7db7bce1f09db994d716ce7e919c79a","observation_id":"5fa067dd-a78b-4d0a-821a-8f16a184c7e0","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18653/v1/2023.emnlp-demo.40","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"N e M o Guardrails: A Toolkit for Controllable and Safe LLM Applications with Programmable Rails","venue":null,"work_id":"345f2355-04ff-4ebf-8263-f5d05bbd22bb","year":2023},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:db85a6d67fb0e62ce6e408d0341ac2b845ddf8f0e2338d8b46c0e74d9e8249dd","observation_id":"6662c5f3-847b-4e4c-b291-29265bf239f9","resolution":{"observed_at":"2026-06-26T16:59:35.739112Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-03T00:38:09.849886+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-03T00:38:09.849886+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2024 , eprint=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:a53502a20a241860ef9c3c06202668324f796dbf8d012d70eec0972cccb0e29c","observation_id":"47dd9a7a-4b24-433d-b6c4-a308487cbc21","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2026 , url=","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:1e71404ee5384291060110f16397baf5346cc5f7160bb2bd3be7f1f8e86fcfa8","observation_id":"253ed3cc-d0e4-4df8-80be-2e3fe3707437","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3082.373037","doi":"10.1145/3713082.3730377","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Several-Dream9346","venue":null,"work_id":"18465ff0-f2fb-40f2-828f-e55c6bb2c212","year":2025},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:f1f2bf47c02e726705ca435e6f0c3628f4827d005776999f78046ebc26c5b624","observation_id":"36c9f982-a572-4efe-bb7f-99f42ad3d812","resolution":{"observed_at":"2026-06-26T16:59:35.745637Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-14T04:20:19.807698+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T04:20:19.807698+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2026 , eprint=","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:87c5edcbdbe3e7e17263d25490328808007c7316416fae1f4d2e2ee6ebb9773a","observation_id":"ec48b337-480c-423b-93d8-133fc572a42a","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2025 , eprint=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:a25477defa3ed9807910395f438a0f8006526b89e03cb570af61b3166bccda26","observation_id":"4c1d1c22-93d7-404e-b383-1d782f6026c3","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Agent Security Bench (","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:d462abbbf9305649e952cf6521f6bd18f82395d6df973b9817c53db76c8def15","observation_id":"75508cd9-57d0-4bba-82f7-4b2a03a4d40a","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Findings of the Association for Computational Linguistics: ACL 2024 , pages=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:3e249375a8b1da7907a5d7ce88229bc826f4e5ba761af3544c6e59b6917c4bdc","observation_id":"8b4a1d05-6917-4cf4-9b49-0994bd9d9e3d","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:d64d7739683f4c8aa9d9ec15adda78dff8245392a91d13e04c5ba151ffce2392","observation_id":"844b4b94-f868-4441-801b-a7730946bfad","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Findings of the Association for Computational Linguistics: EMNLP 2024 , pages=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:040986d645cee151447512e8495bf4a0f5cadce3c27c4bb33d50c3292a4c5fb0","observation_id":"1b6e7466-6b54-4346-94c7-4bfa84d6e690","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Microsoft Security Blog , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:32ec61f868d82d8074ef677458e7d6f3d4e1cc6a7ab69d4fa88bfd94ec9e46fd","observation_id":"ad9694f5-512c-4edd-8e96-d5c6089845aa","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6183.360676","doi":"10.1145/3586183.3606763","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"O'Brien and Carrie Jun Cai and Meredith Ringel Morris and Percy Liang and Michael S","venue":null,"work_id":"b5bf85fe-4fb7-4966-b0b2-9ccf9d3b11b9","year":2023},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:fbbc3a8b945254af07501e84473e5cdce0dc8129210bd4b65e8eff5ec3ed84f7","observation_id":"37537a13-e545-417a-a7fa-bac66d50e61f","resolution":{"observed_at":"2026-06-26T16:59:35.733526Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-18T08:21:12.695495+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T08:21:12.695495+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"The Trail of Bits Blog , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:a3f8e255ca0c55e7049c5a4ff79770765df5e01e31de5bc66f53f87e85bbd531","observation_id":"bbc96dd1-86ff-4463-bc66-965a9bc8461b","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Souffl \\'e : On Synthesis of Program Analyzers","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:98c3b001f4eccb1599a108f4693a4a038c51315d03b3aa579aaff00ea3a22ffd","observation_id":"e6478c4e-e08d-4115-9ae0-7902755ec411","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"The Fourteenth International Conference on Learning Representations , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:7ace44904b3f5db2816386a0e3157914562e84f859b5cbc18594704d21b23a61","observation_id":"095f21ca-b921-439a-b3a2-2e7ff36a02c2","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"2024 , url=","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:494973216fb0a9939ae041caefcef0e87ebdb5544376a5701b7e76784e8f5a55","observation_id":"98e9c368-0aa8-415b-9c6d-a23d50b53225","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems , series =","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:d95c677eb5ce13d25ecd40552f8b29d160d6f276b23e2573dd6f464c6524c0f6","observation_id":"4315b633-1f2f-45a0-876e-3910443a8b72","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Z3: An Efficient SMT Solver","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:fee6bc960d8378459c04624aabfc1aaaa50d1a7c49ac5cd0e0eca819ce7db295","observation_id":"11fa5d95-698c-4960-a244-46ec1c961d36","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6110.586145","doi":"10.1145/586110.586145","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the 9th ACM Conference on Computer and Communications Security , pages =","venue":null,"work_id":"ef7dd1e2-1035-4dba-877c-23fe6988ec18","year":2002},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:49d4c167ec322306470f6f6152daa294734bc3c811acdb7e654f53cc9117d7a7","observation_id":"1743f8be-2ff9-4962-9cb7-4627551df686","resolution":{"observed_at":"2026-06-26T16:59:35.730773Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":", biburl =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:d3a69566af4c6eb2db826eb7935a97cde11feb9d14c5ca31b92bca0884d254a3","observation_id":"e8227703-48ce-4945-829b-56ebad28e9c5","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01580665","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Mathematical Programming 10(1), 147–175 (1976)","venue":"Mathematical Programming","work_id":"bdb541b3-a571-4e38-9038-561e66c64dcb","year":1976},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:7602ca7f8fecd3a9b7698d482423253f8b6a25e0fa13b08236142bfb1bdc72e8","observation_id":"5ece7fe5-20d5-4483-911f-214033d58322","resolution":{"observed_at":"2026-06-26T16:59:35.740779Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-07-15T19:50:48.142708+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T19:50:48.142708+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":"Cryptography and Data Security","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:e03bf4591f7c612be44ddab2fc031a8bbd06ab444f5f3dd4abf79f14cd561bf5","observation_id":"cc24835a-d0ad-40a9-ba69-88bce064975e","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T16:56:29.550587Z","title":", booktitle=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-06-26T16:56:29.550587Z"},"links":{"citing_paper":"/paper/2606.20510"},"observation_digest":"sha256:c562dbc8ec194e4d695a4b95a9346aad570db2af761f17a308f14628db688bcb","observation_id":"64e8ae12-75d0-4ea0-8afe-2998ed46301e","resolution":{"observed_at":"2026-06-26T16:56:29.550587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.20510","last_updated":"2026-06-18T17:27:59Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-07-06T23:55:38.979306Z","submitted_at":"2026-06-18T17:27:59Z","title":"Efficient and Sound Probabilistic Verification for AI Agents"},"reference_resolution":{"displayed":62,"state_counts":{"malformed_identifier":0,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":45,"verified_exact":14,"verified_fuzzy":0},"total_outbound_references":62},"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-06T06:34:29.942622+00:00","source":"crossref"},{"observed_at":"2026-08-06T06:34:23.284952+00:00","source":"retraction_watch"}],"thesis":"As of 6 August 2026, this Paper Citation Record lists 62 of 62 outbound references and 2 inbound Pith citation observations for arXiv:2606.20510."}