Paper Citation Record · LEDGER

Efficient and Sound Probabilistic Verification for AI Agents

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2606.20510 v1

Coverage vector

measured 62 of 62 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-26T16:56:29.550587Z

measured 64 of 64 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-03T00:49:47.936349Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-07-10T18:37:31.192458Z

Reference resolution

62 of 62 outbound references displayed

verified exact14
verified fuzzy0
unresolved45
parse uncertain0
malformed identifier0
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 96e90d88-8b0f-4fce-bbcd-0d38df55150d · outbound

This paper cites Probabilistic Inference for Datalog with Correlated Inputs , year =.

Efficient and Sound Probabilistic Verification for AI Agents Probabilistic Inference for Datalog with Correlated Inputs , year =

Reference 1

Resolution: verified exact; doi, observed 2026-06-26T16:59:35.742814Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation e8b79341-bda4-4c13-8c2d-ce67918c6b55 · outbound

This paper cites The Eleventh International Conference on Learning Representations , year=.

Efficient and Sound Probabilistic Verification for AI Agents The Eleventh International Conference on Learning Representations , year=

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54555c08-b17d-4fa0-bb6d-90bdf5a1cdc3 · outbound

This paper cites AutoGen: Enabling Next-Gen.

Efficient and Sound Probabilistic Verification for AI Agents AutoGen: Enabling Next-Gen

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 570e319d-f1ee-4362-a857-5a1447987fcf · outbound

This paper cites 2025 , eprint=.

Efficient and Sound Probabilistic Verification for AI Agents 2025 , eprint=

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94aa6b49-72df-4443-be11-d73a57cbd942 · outbound

This paper cites Operations Research , month = dec, pages =.

Efficient and Sound Probabilistic Verification for AI Agents Operations Research , month = dec, pages =

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba40accd-5755-400c-ade6-20023bfdedc2 · outbound

This paper cites Proceedings of the 37th International Conference on Neural Information Processing Systems , articleno =.

Efficient and Sound Probabilistic Verification for AI Agents Proceedings of the 37th International Conference on Neural Information Processing Systems , articleno =

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0cbd5c2-0521-4c2c-a9de-ffca3cdeb2f5 · outbound

This paper cites NL 2 B ash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System.

Efficient and Sound Probabilistic Verification for AI Agents NL 2 B ash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3bf04d20-33e9-4af3-acb4-4c4c47421e0a · outbound

This paper cites 2024 , eprint=.

Efficient and Sound Probabilistic Verification for AI Agents 2024 , eprint=

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d635ba0c-83fd-4c4d-9298-84d0687a947a · outbound

This paper cites 2026 , eprint=.

Efficient and Sound Probabilistic Verification for AI Agents 2026 , eprint=

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c2ef198-8c26-4b67-abbf-0743e51744c5 · outbound

This paper cites Defeating Prompt Injections by Design , url =.

Efficient and Sound Probabilistic Verification for AI Agents Defeating Prompt Injections by Design , url =

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a94c06fe-d9a5-4019-a347-f4d7e2ea5c49 · outbound

This paper cites Forty-second International Conference on Machine Learning , year=.

Efficient and Sound Probabilistic Verification for AI Agents Forty-second International Conference on Machine Learning , year=

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7263c3dc-acd9-4f5b-9294-670b973267c9 · outbound

This paper cites 2026 , volume =.

Efficient and Sound Probabilistic Verification for AI Agents 2026 , volume =

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60ece922-0472-48d9-a0e7-f69dec816138 · outbound

This paper cites 2025 , eprint=.

Efficient and Sound Probabilistic Verification for AI Agents 2025 , eprint=

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3867a4d0-a5d0-47a9-8744-4c9166b63f89 · outbound

This paper cites 2025 , eprint=.

Efficient and Sound Probabilistic Verification for AI Agents 2025 , eprint=

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4168cb8f-569d-4dfd-817f-dd7bb1b892f6 · outbound

This paper cites O’Donoghue, E.

Efficient and Sound Probabilistic Verification for AI Agents O’Donoghue, E

Reference 15

Resolution: verified exact; doi, observed 2026-06-26T16:59:35.735388Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation c7f3b2c5-3399-4179-aae7-93035e1df40f · outbound

This paper cites Proceedings of the 20th International Joint Conference on Artifical Intelligence , pages =.

Efficient and Sound Probabilistic Verification for AI Agents Proceedings of the 20th International Joint Conference on Artifical Intelligence , pages =

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51f3a8d3-7ce8-4ce9-9b32-a6c104150564 · outbound

This paper cites 2026 , eprint=.

Efficient and Sound Probabilistic Verification for AI Agents 2026 , eprint=

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 827ea2e3-a3ea-49b9-b3d6-77700d9cda32 · outbound

This paper cites 2019 , isbn =.

Efficient and Sound Probabilistic Verification for AI Agents 2019 , isbn =

Reference 18

Resolution: metadata mismatch; arxiv_id, observed 2026-06-26T16:59:35.714663Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 61b1441d-cec1-423c-8fa8-ae31843c9df9 · outbound

This paper cites Proceedings of the 20th National Conference on Artificial Intelligence - Volume 1 , pages =.

Efficient and Sound Probabilistic Verification for AI Agents Proceedings of the 20th National Conference on Artificial Intelligence - Volume 1 , pages =

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 229d2f55-1e0c-4e9a-b071-be2ea2abd9f8 · outbound

This paper cites Workshops at the Thirtieth AAAI Conference on Artificial Intelligence , year=.

Efficient and Sound Probabilistic Verification for AI Agents Workshops at the Thirtieth AAAI Conference on Artificial Intelligence , year=

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b75eabb-889e-46ea-8d01-c09eff4ed7ff · outbound

This paper cites 2023 , issue_date =.

Efficient and Sound Probabilistic Verification for AI Agents 2023 , issue_date =

Reference 21

Resolution: verified exact; doi, observed 2026-06-26T16:59:35.737087Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 44df9924-43d6-42fd-b5eb-3be25bc00d07 · outbound

This paper cites Proceedings of the 32nd International Conference on Neural Information Processing Systems , pages =.

Efficient and Sound Probabilistic Verification for AI Agents Proceedings of the 32nd International Conference on Neural Information Processing Systems , pages =

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5f3418c-2958-42fd-85ab-ac3859c9e184 · outbound

This paper cites Theory and Practice of Logic Programming , volume=.

Efficient and Sound Probabilistic Verification for AI Agents Theory and Practice of Logic Programming , volume=

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cc267b3-74e9-453f-aad5-3c147c5bb0ab · outbound

This paper cites 2020 , issue_date =.

Efficient and Sound Probabilistic Verification for AI Agents 2020 , issue_date =

Reference 24

Resolution: verified exact; doi, observed 2026-06-26T16:59:35.728015Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 3695f49b-cd0e-4dba-b7fc-f697a0483460 · outbound

This paper cites Decision Support Systems , volume=.

Efficient and Sound Probabilistic Verification for AI Agents Decision Support Systems , volume=

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c92aa5f0-8e97-459f-a49a-9a9edbb8677b · outbound

This paper cites Proceedings of the 34th USENIX Conference on Security Symposium , articleno =.

Efficient and Sound Probabilistic Verification for AI Agents Proceedings of the 34th USENIX Conference on Security Symposium , articleno =

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ba086b0-2fc4-4de8-b94a-dce9aaf70ce7 · outbound

This paper cites URL https: //doi.org/10.1145/3719027.3744835.

Efficient and Sound Probabilistic Verification for AI Agents URL https: //doi.org/10.1145/3719027.3744835

Reference 27

Resolution: metadata mismatch; arxiv_id, observed 2026-06-26T16:59:35.723767Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 9296a1ae-3a6b-4ef9-9f3f-139c04720376 · outbound

This paper cites and Liskov, Barbara , title =.

Efficient and Sound Probabilistic Verification for AI Agents and Liskov, Barbara , title =

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-06-26T16:59:35.749046Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 8f0651d3-956c-42d6-b513-13a4c7010021 · outbound

This paper cites Enforceable Security Policies.

Efficient and Sound Probabilistic Verification for AI Agents Enforceable Security Policies

Reference 29

Resolution: verified exact; arxiv_id, observed 2026-06-26T16:59:35.721101Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation f59f761d-5cb4-4515-b323-252c78b7b7c2 · outbound

This paper cites A lattice model of secure information flow.

Efficient and Sound Probabilistic Verification for AI Agents A lattice model of secure information flow

Reference 30

Resolution: verified exact; arxiv_id, observed 2026-06-26T16:59:35.718290Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation e3f3670f-8f6c-4d77-b6b5-8f7ad2c724f8 · outbound

This paper cites 2024 , booktitle =.

Efficient and Sound Probabilistic Verification for AI Agents 2024 , booktitle =

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9d71dcc-5f9a-433b-af00-f5f9eb649067 · outbound

This paper cites Toolformer: language models can teach themselves to use tools , year =.

Efficient and Sound Probabilistic Verification for AI Agents Toolformer: language models can teach themselves to use tools , year =

Reference 32

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8cf767d-900c-47b0-8bdc-38d92cd5668b · outbound

This paper cites IEEE Journal on selected areas in communications , volume=.

Efficient and Sound Probabilistic Verification for AI Agents IEEE Journal on selected areas in communications , volume=

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a075ccf7-2276-47b2-98d7-5b4a2d0991c2 · outbound

This paper cites 2024 , eprint=.

Efficient and Sound Probabilistic Verification for AI Agents 2024 , eprint=

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bbc04af-4531-473e-8394-37fe0e937a3f · outbound

This paper cites 2026 , eprint=.

Efficient and Sound Probabilistic Verification for AI Agents 2026 , eprint=

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 083921c9-7c09-45e3-9b87-5fd73d47a657 · outbound

This paper cites Proceedings of the AAAI Conference on Artificial Intelligence , author=.

Efficient and Sound Probabilistic Verification for AI Agents Proceedings of the AAAI Conference on Artificial Intelligence , author=

Reference 36

Resolution: verified exact; doi, observed 2026-06-26T16:59:35.754437Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 63c0a940-427a-4125-b409-4bb6250e7572 · outbound

This paper cites Declarative Probabilistic Programming with Datalog , year =.

Efficient and Sound Probabilistic Verification for AI Agents Declarative Probabilistic Programming with Datalog , year =

Reference 37

Resolution: verified exact; doi, observed 2026-06-26T16:59:35.726011Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation c02dc56c-adfc-42fe-8979-e986af650dd1 · outbound

This paper cites 2005 , isbn =.

Efficient and Sound Probabilistic Verification for AI Agents 2005 , isbn =

Reference 38

Resolution: verified exact; arxiv_id, observed 2026-06-26T16:59:35.752388Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 5fa067dd-a78b-4d0a-821a-8f16a184c7e0 · outbound

This paper cites 2023 , eprint=.

Efficient and Sound Probabilistic Verification for AI Agents 2023 , eprint=

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6662c5f3-847b-4e4c-b291-29265bf239f9 · outbound

This paper cites N e M o Guardrails: A Toolkit for Controllable and Safe LLM Applications with Programmable Rails.

Efficient and Sound Probabilistic Verification for AI Agents N e M o Guardrails: A Toolkit for Controllable and Safe LLM Applications with Programmable Rails

Reference 40

Resolution: verified exact; doi, observed 2026-06-26T16:59:35.739112Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 47dd9a7a-4b24-433d-b6c4-a308487cbc21 · outbound

This paper cites 2024 , eprint=.

Efficient and Sound Probabilistic Verification for AI Agents 2024 , eprint=

Reference 41

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 253ed3cc-d0e4-4df8-80be-2e3fe3707437 · outbound

This paper cites 2026 , url=.

Efficient and Sound Probabilistic Verification for AI Agents 2026 , url=

Reference 42

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36c9f982-a572-4efe-bb7f-99f42ad3d812 · outbound

This paper cites Several-Dream9346.

Efficient and Sound Probabilistic Verification for AI Agents Several-Dream9346

Reference 43

Resolution: metadata mismatch; arxiv_id, observed 2026-06-26T16:59:35.745637Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation ec48b337-480c-423b-93d8-133fc572a42a · outbound

This paper cites 2026 , eprint=.

Efficient and Sound Probabilistic Verification for AI Agents 2026 , eprint=

Reference 44

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c1d1c22-93d7-404e-b383-1d782f6026c3 · outbound

This paper cites 2025 , eprint=.

Efficient and Sound Probabilistic Verification for AI Agents 2025 , eprint=

Reference 45

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75508cd9-57d0-4bba-82f7-4b2a03a4d40a · outbound

This paper cites Agent Security Bench (.

Efficient and Sound Probabilistic Verification for AI Agents Agent Security Bench (

Reference 46

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b4a1d05-6917-4cf4-9b49-0994bd9d9e3d · outbound

This paper cites Findings of the Association for Computational Linguistics: ACL 2024 , pages=.

Efficient and Sound Probabilistic Verification for AI Agents Findings of the Association for Computational Linguistics: ACL 2024 , pages=

Reference 47

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 844b4b94-f868-4441-801b-a7730946bfad · outbound

This paper cites AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for.

Efficient and Sound Probabilistic Verification for AI Agents AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for

Reference 48

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b6e7466-6b54-4346-94c7-4bfa84d6e690 · outbound

This paper cites Findings of the Association for Computational Linguistics: EMNLP 2024 , pages=.

Efficient and Sound Probabilistic Verification for AI Agents Findings of the Association for Computational Linguistics: EMNLP 2024 , pages=

Reference 49

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad9694f5-512c-4edd-8e96-d5c6089845aa · outbound

This paper cites Microsoft Security Blog , year =.

Efficient and Sound Probabilistic Verification for AI Agents Microsoft Security Blog , year =

Reference 50

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37537a13-e545-417a-a7fa-bac66d50e61f · outbound

This paper cites O'Brien and Carrie Jun Cai and Meredith Ringel Morris and Percy Liang and Michael S.

Efficient and Sound Probabilistic Verification for AI Agents O'Brien and Carrie Jun Cai and Meredith Ringel Morris and Percy Liang and Michael S

Reference 51

Resolution: verified exact; arxiv_id, observed 2026-06-26T16:59:35.733526Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation bbc96dd1-86ff-4463-bc66-965a9bc8461b · outbound

This paper cites The Trail of Bits Blog , year =.

Efficient and Sound Probabilistic Verification for AI Agents The Trail of Bits Blog , year =

Reference 52

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6478c4e-e08d-4115-9ae0-7902755ec411 · outbound

This paper cites Souffl \'e : On Synthesis of Program Analyzers.

Efficient and Sound Probabilistic Verification for AI Agents Souffl \'e : On Synthesis of Program Analyzers

Reference 53

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 095f21ca-b921-439a-b3a2-2e7ff36a02c2 · outbound

This paper cites The Fourteenth International Conference on Learning Representations , year=.

Efficient and Sound Probabilistic Verification for AI Agents The Fourteenth International Conference on Learning Representations , year=

Reference 54

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98e9c368-0aa8-415b-9c6d-a23d50b53225 · outbound

This paper cites 2024 , url=.

Efficient and Sound Probabilistic Verification for AI Agents 2024 , url=

Reference 55

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4315b633-1f2f-45a0-876e-3910443a8b72 · outbound

This paper cites Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems , series =.

Efficient and Sound Probabilistic Verification for AI Agents Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems , series =

Reference 56

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11fa5d95-698c-4960-a244-46ec1c961d36 · outbound

This paper cites Z3: An Efficient SMT Solver.

Efficient and Sound Probabilistic Verification for AI Agents Z3: An Efficient SMT Solver

Reference 57

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1743f8be-2ff9-4962-9cb7-4627551df686 · outbound

This paper cites Proceedings of the 9th ACM Conference on Computer and Communications Security , pages =.

Efficient and Sound Probabilistic Verification for AI Agents Proceedings of the 9th ACM Conference on Computer and Communications Security , pages =

Reference 58

Resolution: verified exact; arxiv_id, observed 2026-06-26T16:59:35.730773Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation e8227703-48ce-4945-829b-56ebad28e9c5 · outbound

This paper cites , biburl =.

Efficient and Sound Probabilistic Verification for AI Agents , biburl =

Reference 59

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ece7fe5-20d5-4483-911f-214033d58322 · outbound

This paper cites Mathematical Programming 10(1), 147–175 (1976).

Efficient and Sound Probabilistic Verification for AI Agents Mathematical Programming 10(1), 147–175 (1976)

Reference 60

Resolution: verified exact; doi, observed 2026-06-26T16:59:35.740779Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation cc24835a-d0ad-40a9-ba69-88bce064975e · outbound

This paper cites Cryptography and Data Security.

Efficient and Sound Probabilistic Verification for AI Agents Cryptography and Data Security

Reference 61

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64e8ae12-75d0-4ea0-8afe-2998ed46301e · outbound

This paper cites , booktitle=.

Efficient and Sound Probabilistic Verification for AI Agents , booktitle=

Reference 62

Resolution: unresolved; no resolver link, observed 2026-06-26T16:56:29.550587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation b6f0fbe7-35b8-4a67-93c4-d958f5df9e48 · inbound

ScopeJudge: Cost-Aware Pre-Execution Gating for Offensive Security Agents cites this paper.

ScopeJudge: Cost-Aware Pre-Execution Gating for Offensive Security Agents Efficient and Sound Probabilistic Verification for AI Agents

Reference 13

Resolution: verified exact; local_arxiv, observed 2026-07-10T18:37:31.193706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 14a50ee6-59d7-4e62-ab48-d45b2ea4b12a · inbound

ScopeJudge: Cost-Aware Pre-Execution Gating for Offensive Security Agents cites this paper.

ScopeJudge: Cost-Aware Pre-Execution Gating for Offensive Security Agents Efficient and Sound Probabilistic Verification for AI Agents

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T00:49:47.936349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.