Paper Citation Record · LEDGER

Forall-Exists Relational Verification by Filtering to Forall-Forall

As of 19 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 1 inbound Pith citation observation for arXiv:2509.04777.

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

pith.paper-citation-record.v1
2509.04777 v1

Coverage vector

measured 61 of 61 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T16:32:47.188801Z

measured 62 of 62 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T15:18:51.440068Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-15T15:18:51.658452Z

Reference resolution

61 of 61 outbound references displayed

verified exact8
verified fuzzy6
unresolved45
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 956443d3-a79a-4676-8ae5-8380d64492f8 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:46.967183Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31c3b2fd-c2a2-46d5-a8b6-a7a85469cd77 · outbound

This paper cites Naumann, and Minh Ngo.

Forall-Exists Relational Verification by Filtering to Forall-Forall Naumann, and Minh Ngo

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:32:48.413123Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e9330a36-f417-4130-8f3c-88be3741b83f · outbound

This paper cites Apt, Frank S.

Forall-Exists Relational Verification by Filtering to Forall-Forall Apt, Frank S

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:46.979949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8df17c73-b671-4ee2-b62b-028230da4762 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:46.983515Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be99ec63-a8e9-435b-8626-536eb4483205 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:46.987053Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14ca6067-40de-444a-bce1-f2a57a8e4309 · outbound

This paper cites Naumann, and Mohammad Nikouei.

Forall-Exists Relational Verification by Filtering to Forall-Forall Naumann, and Mohammad Nikouei

Reference 6

Resolution: verified exact; doi, observed 2026-08-15T16:32:47.595372Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 033cdee8-f080-4492-8e42-c3c5bd7959db · outbound

This paper cites Naumann, and Mohammad Nikouei.

Forall-Exists Relational Verification by Filtering to Forall-Forall Naumann, and Mohammad Nikouei

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:32:48.402272Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 8ae7cdd4-0aae-4318-a971-c89ced8eec76 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:32:48.390736Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation eae0ee30-1b27-474b-b564-c632ad9baf25 · outbound

This paper cites D’Argenio, and Tamara Rezk.

Forall-Exists Relational Verification by Filtering to Forall-Forall D’Argenio, and Tamara Rezk

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.002094Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48619f7e-4292-41dd-aa9d-c494d8aecb9a · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.005634Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8fbf286-6cf9-4c81-afd5-e16df3973085 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.009214Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93e499ee-f421-4b09-9a9c-9481e86d7222 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:32:48.379465Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 01b91e23-84b8-425b-b178-85649d5ec583 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.015954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad839d63-1818-4a05-b50a-d8b7310224b2 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.019177Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e8ffd5d-8289-492d-9096-96bfd29decdd · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.029085Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47a5049d-78ea-4065-ac45-5d5c4a326d09 · outbound

This paper cites Churchill, Oded Padon, Rahul Sharma, and Alex Aiken.

Forall-Exists Relational Verification by Filtering to Forall-Forall Churchill, Oded Padon, Rahul Sharma, and Alex Aiken

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.032453Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5c98827-90bc-420f-a52b-b151e37f9a2b · outbound

This paper cites Cohen and Philip Johnson-Freyd.

Forall-Exists Relational Verification by Filtering to Forall-Forall Cohen and Philip Johnson-Freyd

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.036145Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 047739e0-f04b-453c-825a-591a99b5a8d7 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 20

Resolution: verified exact; doi, observed 2026-08-15T16:32:47.517914Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation cc77b04c-c85b-4a9b-801c-9e7f49b8d47f · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.042498Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6077547-cd97-49a8-bb13-1c02645477d2 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.045849Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23d26ac8-7fc2-45be-8606-14d601db57cd · outbound

This paper cites Summers, and Peter Müller.

Forall-Exists Relational Verification by Filtering to Forall-Forall Summers, and Peter Müller

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.049358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e2640d8-e7c6-45b0-9eaa-5c113bfad7a8 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 24

Resolution: verified exact; doi, observed 2026-08-15T16:32:47.481575Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 33867fa9-d4bd-4e40-b52e-47f96cb1ec15 · outbound

This paper cites Zhang, and Benjamin Delaware.

Forall-Exists Relational Verification by Filtering to Forall-Forall Zhang, and Benjamin Delaware

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.056432Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e9fffcc-a75b-40f1-b704-e7bdafc79763 · outbound

This paper cites Dijkstra.

Forall-Exists Relational Verification by Filtering to Forall-Forall Dijkstra

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:32:48.368110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b21cf7d5-8494-4e29-842b-0d05682a144d · outbound

This paper cites Dijkstra and Carel S.

Forall-Exists Relational Verification by Filtering to Forall-Forall Dijkstra and Carel S

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.062993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6080954-7ad3-4cee-99cf-86499fb452f2 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.066336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48469f87-3b5f-43c0-bf55-c75a7b8879ac · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 29

Resolution: verified exact; doi, observed 2026-08-15T16:32:47.444912Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ac57f94b-751b-49d2-8293-6381bad51e83 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:32:48.356921Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 86ba0c13-aa1a-429f-b5d9-4f4763f16d70 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:32:48.345333Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a78c92b9-0336-43b9-b494-cd2d0eda7027 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.080223Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d086e4b-e083-4d0f-9cf0-97d04d6c74b8 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.083276Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03abe73c-dc18-4270-8002-867f936d6e8c · outbound

This paper cites Amarasinghe, and Ilya Sergey.

Forall-Exists Relational Verification by Filtering to Forall-Forall Amarasinghe, and Ilya Sergey

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:32:48.333407Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ef29dad5-74ed-42b0-8237-70480ca05d6b · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.090484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7632fe1-b1b7-476a-aeaa-52e849d560ef · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.094210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ccd4515-9077-4b2b-b359-19a04c435cdf · outbound

This paper cites Haselwarter, Joseph Tassarotti, and Lars Birkedal.

Forall-Exists Relational Verification by Filtering to Forall-Forall Haselwarter, Joseph Tassarotti, and Lars Birkedal

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.097641Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa15d840-67f8-40f8-a928-257776085c8e · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.101210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b01ee29-a039-4c78-a9d5-f56204121726 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:32:48.319546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation dcb4b052-86e4-4934-827f-1bf09c26605f · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.111477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bb01ae0-9a0f-480e-bc3e-77501908cb44 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.115052Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89a385d5-1cba-43cc-b198-b2d955ed26ae · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.118696Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0d281a0-4bae-4b11-91d4-18aa7e68db69 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.122115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a706616-2f4c-4040-a0dd-12ec791354f3 · outbound

This paper cites Schneider.

Forall-Exists Relational Verification by Filtering to Forall-Forall Schneider

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.125485Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24d0f284-6410-47eb-afd0-7490d71f6fcd · outbound

This paper cites Rustan M.

Forall-Exists Relational Verification by Filtering to Forall-Forall Rustan M

Reference 46

Resolution: malformed identifier; no resolver link, observed 2026-08-15T16:32:47.129026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da436cac-8092-4ad9-a95d-c07f7fb69442 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.132226Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb924013-63e1-4c66-ba09-9d4b86c2556c · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 48

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:32:48.305454Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 4cd6a0ac-593d-421b-be0f-003beced8d11 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 49

Resolution: malformed identifier; no resolver link, observed 2026-08-15T16:32:47.138693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5e6df4d-6507-429b-9d5d-ec0f11a8b9ac · outbound

This paper cites Nagasamudram, A.

Forall-Exists Relational Verification by Filtering to Forall-Forall Nagasamudram, A

Reference 50

Resolution: verified exact; doi, observed 2026-08-15T16:32:47.369477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 794abcaf-3851-46eb-b7b9-ac5b44ba14b2 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 52

Resolution: verified exact; doi, observed 2026-08-15T16:32:47.355589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c81a3f86-0022-4768-ab08-c8895aa552fb · outbound

This paper cites 1992.Semantics with Applications - a Formal Introduction.

Forall-Exists Relational Verification by Filtering to Forall-Forall 1992.Semantics with Applications - a Formal Introduction

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:32:48.293053Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d0fe2055-8f53-491f-8916-1cf2c35e254d · outbound

This paper cites Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Andrew Tolmach, and Brent Yorgey.

Forall-Exists Relational Verification by Filtering to Forall-Forall Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Andrew Tolmach, and Brent Yorgey

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:32:48.281331Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 408302c2-2bac-4429-839b-ecd4bc0d64ef · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.158383Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99294996-6d50-4a78-8ef9-5a142f6b67be · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.161922Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5b0167f-6746-4e4c-8b58-e150a50318cc · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 57

Resolution: unresolved; raw_fallback, observed 2026-08-15T16:32:48.268611Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2771177e-caef-4f20-8bee-d88cd225c8db · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.168727Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2256ab91-35f8-4ac4-b2d9-e2099de91456 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 59

Resolution: verified exact; doi, observed 2026-08-15T16:32:47.256396Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 73592b74-2d5f-498a-be75-56eab497dedf · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 60

Resolution: verified exact; doi, observed 2026-08-15T16:32:47.244746Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 38ceca70-5855-4ebe-8efb-24ec9e189cf2 · outbound

This paper cites Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic.

Forall-Exists Relational Verification by Filtering to Forall-Forall Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.178890Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5efeb55-40cc-46d2-b8ea-d578c6cdc2cd · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.182398Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8abb513-f766-4ddc-926c-31e87d9bf7aa · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.185560Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84798eab-1f27-42d6-afee-a46833e1dd95 · outbound

This paper cites an unresolved cited work.

Forall-Exists Relational Verification by Filtering to Forall-Forall Unresolved cited work

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:47.188801Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4bfdd40-69fc-4207-862f-c66ad5cb4345 · outbound

This paper cites An algebra of alignment for relational verification.

Forall-Exists Relational Verification by Filtering to Forall-Forall An algebra of alignment for relational verification

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-15T16:32:46.975703Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation ce991fc2-70b6-498c-84cf-c3b2aee5402c · inbound

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI cites this paper.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI Forall-Exists Relational Verification by Filtering to Forall-Forall

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-08-15T15:18:51.664316Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.