Paper Citation Record · LEDGER

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation

As of 5 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 1 inbound Pith citation observation for arXiv:2507.11827.

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

pith.paper-citation-record.v1
2507.11827 v2

Coverage vector

measured 55 of 55 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-19T05:07:32.559472Z

measured 56 of 56 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+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-03T21:50:15.640858Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

55 of 55 outbound references displayed

verified exact21
verified fuzzy2
unresolved27
parse uncertain0
malformed identifier2
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation cb2f4d7f-fd0a-4fe1-9726-33879afd445b · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.166094Z

Source-reported events for the cited work

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

Observation 90aa89e2-8c7c-4ef2-9a29-1f1926073c5f · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.161890Z

Source-reported events for the cited work

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

Observation 174653e4-f000-4c6e-942f-b772d67f0030 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.170303Z

Source-reported events for the cited work

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

Observation b7a9d88a-1dd4-451d-8f65-b5e60d7c7ecf · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.173331Z

Source-reported events for the cited work

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

Observation 6aa400b2-1105-43cb-bb1f-394f6d20ade5 · outbound

This paper cites Input-relational verification of deep neural networks.Proc.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Input-relational verification of deep neural networks.Proc

Reference 5

Resolution: verified exact; doi, observed 2026-05-19T05:12:04.719214Z

Source-reported events for the cited work

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

Observation ece17319-e167-4f4e-a291-eec7dfe1d770 · outbound

This paper cites Bertsekas.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Bertsekas

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T05:13:00.176070Z

Source-reported events for the cited work

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

Observation 91474492-0e95-483f-8f0a-4366820ecd9a · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.191606Z

Source-reported events for the cited work

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

Observation 19079302-4a9b-4fa5-b552-d13550c8959a · outbound

This paper cites Springer-Verlag, Berlin, Heidelberg, 887–904.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Springer-Verlag, Berlin, Heidelberg, 887–904

Reference 8

Resolution: verified exact; doi, observed 2026-05-19T05:12:04.734721Z

Source-reported events for the cited work

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

Observation c4741654-d653-426f-a2a8-580614ff14e3 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.179248Z

Source-reported events for the cited work

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

Observation 11cf9117-efa0-4dba-b8af-20f6eaf571ea · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.183660Z

Source-reported events for the cited work

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

Observation 6097d62c-a8b6-4a55-ae02-8d8473537f0d · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 11

Resolution: verified exact; doi, observed 2026-05-19T05:12:04.777507Z

Source-reported events for the cited work

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

Observation 79e0b2a4-9258-4d98-8029-583631a19ba1 · outbound

This paper cites Abstract interpretation: A un iﬁed lattice model for static analysis of programs by construction or app roximation of ﬁxpoints.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Abstract interpretation: A un iﬁed lattice model for static analysis of programs by construction or app roximation of ﬁxpoints

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-05-19T05:12:04.743307Z

Source-reported events for the cited work

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

Observation 1b48e616-6a28-4718-9548-a653b7d89c08 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-05-19T05:12:04.789680Z

Source-reported events for the cited work

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

Observation 410db6d0-0836-40ad-bb09-4c85edad2604 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.136782Z

Source-reported events for the cited work

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

Observation 167de45f-ecb2-49ae-b502-cd957e92ff90 · outbound

This paper cites In Proceedings of the 14th European Conference on Programming Languages and Systems (Edinburgh, UK) (ESOP’05).

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation In Proceedings of the 14th European Conference on Programming Languages and Systems (Edinburgh, UK) (ESOP’05)

Reference 15

Resolution: verified exact; doi, observed 2026-05-19T05:12:04.716597Z

Source-reported events for the cited work

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

Observation 0551b62e-36da-4f29-ae01-eefb632f15da · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 16

Resolution: verified exact; doi, observed 2026-05-19T05:12:04.779871Z

Source-reported events for the cited work

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

Observation 25621451-5a0b-49ae-afa1-6e019f56c480 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-05-19T05:12:04.762688Z

Source-reported events for the cited work

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

Observation 1a65a8dd-e667-431d-b0cd-92eecb4ed43c · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.140034Z

Source-reported events for the cited work

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

Observation 2570b786-4dcf-4b91-a508-6b666f41a937 · outbound

This paper cites Navas, Peter Schachte, Harald Søndergaard, and Peter J.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Navas, Peter Schachte, Harald Søndergaard, and Peter J

Reference 20

Resolution: verified exact; doi, observed 2026-05-19T05:12:04.775030Z

Source-reported events for the cited work

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

Observation b8993e99-2d17-4f74-a636-7db2c0003920 · outbound

This paper cites Navas, Peter Schachte, Harald Søndergaard, and Peter J.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Navas, Peter Schachte, Harald Søndergaard, and Peter J

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T05:13:00.125018Z

Source-reported events for the cited work

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

Observation ed1707c9-0d7a-4840-bd97-13ca9dd84ad2 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.121218Z

Source-reported events for the cited work

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

Observation 9441ea9b-80da-458c-904c-e12996b3debc · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 23

Resolution: verified exact; arxiv_id, observed 2026-05-19T05:12:05.342098Z

Source-reported events for the cited work

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

Observation 23913411-0267-4498-8593-357ec1117a8c · outbound

This paper cites Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock

Reference 24

Resolution: metadata mismatch; arxiv_id, observed 2026-05-19T05:12:04.759187Z

Source-reported events for the cited work

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

Observation b938db68-4ba9-4e26-b479-935bb0b89913 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.128981Z

Source-reported events for the cited work

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

Observation 9cea48e3-02d1-46a2-a133-075fe9718dbc · outbound

This paper cites In: ICSE.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation In: ICSE

Reference 26

Resolution: malformed identifier; doi_truncated, observed 2026-05-19T05:12:04.769733Z

Source-reported events for the cited work

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

Observation 8d0f7f5a-6bae-40be-b817-4df4c7fa05f5 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.143127Z

Source-reported events for the cited work

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

Observation 7dc99d9a-2366-44f5-9842-3edcc8f2766d · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.187800Z

Source-reported events for the cited work

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

Observation 5aa55f6e-1ccb-4f5b-b7a2-b597222ac05b · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 29

Resolution: verified exact; doi, observed 2026-05-19T05:12:04.727925Z

Source-reported events for the cited work

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

Observation 3f0596d1-fafc-42df-b18a-e14944582eb9 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 30

Resolution: verified exact; doi, observed 2026-05-19T05:12:04.782433Z

Source-reported events for the cited work

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

Observation 15aa9bd3-e99e-4db6-8e6b-f13747f5a23f · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.109678Z

Source-reported events for the cited work

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

Observation 48f73b15-985e-48ec-af25-ec00e8d20a8d · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 32

Resolution: malformed identifier; raw_fallback, observed 2026-05-19T05:13:00.097967Z

Source-reported events for the cited work

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

Observation ee11743f-87f3-4615-a452-038d0eb8adc3 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.102275Z

Source-reported events for the cited work

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

Observation f888c410-7b73-48fd-8768-9842a56ac729 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 34

Resolution: metadata mismatch; arxiv_id, observed 2026-05-19T05:12:05.349161Z

Source-reported events for the cited work

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

Observation 9349bd7e-2eb7-4140-95e3-4c784a28fdc1 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 35

Resolution: verified exact; arxiv_id, observed 2026-05-19T05:12:04.747148Z

Source-reported events for the cited work

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

Observation 8e3af996-0690-4700-b643-1344a7b1e98e · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.087788Z

Source-reported events for the cited work

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

Observation dc16812c-7fe9-4389-bc6d-0cd0307429f9 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.091133Z

Source-reported events for the cited work

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

Observation a3a896ba-4b4f-4054-a257-a12e15e60f55 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 38

Resolution: verified exact; arxiv_id, observed 2026-05-19T05:12:04.731802Z

Source-reported events for the cited work

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

Observation 21c59d3e-a854-4db8-8b55-515a3d203f53 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.094685Z

Source-reported events for the cited work

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

Observation 3a84f4f8-d5e2-4292-9e0c-a986cbd1b033 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.106124Z

Source-reported events for the cited work

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

Observation 58f1bade-9c83-4c92-8430-3b228aceca58 · outbound

This paper cites Maximal sound predictive race detection with control ﬂow abstraction.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Maximal sound predictive race detection with control ﬂow abstraction

Reference 41

Resolution: metadata mismatch; arxiv_id, observed 2026-05-19T05:12:04.766327Z

Source-reported events for the cited work

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

Observation 11ded7a7-39e3-4da9-895b-6ff978947613 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 42

Resolution: verified exact; arxiv_id, observed 2026-05-19T05:12:04.750798Z

Source-reported events for the cited work

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

Observation 22a71060-364b-4c46-8c18-c17e7e0c8ff3 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.113471Z

Source-reported events for the cited work

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

Observation 5c4e41b8-35db-475d-ae42-952447c8f1d6 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 44

Resolution: verified exact; arxiv_id, observed 2026-05-19T05:12:04.739164Z

Source-reported events for the cited work

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

Observation 6924e937-0351-4233-b1bd-2c2ea10ad138 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.194922Z

Source-reported events for the cited work

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

Observation 091b6169-6421-4b68-bb9f-1b54d899fc67 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 46

Resolution: verified exact; doi, observed 2026-05-19T05:12:04.722655Z

Source-reported events for the cited work

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

Observation 7fd47736-3d0b-46b3-9088-9a1144ad8640 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.132851Z

Source-reported events for the cited work

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

Observation 84411e67-9d94-47d0-946a-fb0f710ed0af · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 48

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.158249Z

Source-reported events for the cited work

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

Observation fbc9c69d-ebc4-4ad8-b654-a2757cfe6259 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 49

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.154726Z

Source-reported events for the cited work

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

Observation 97a6da1c-8fe7-4b5f-8233-6858b9df6661 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 50

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.146726Z

Source-reported events for the cited work

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

Observation 8d01d48b-a53d-45f6-a5a6-9af7f69d9b6c · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 51

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.117594Z

Source-reported events for the cited work

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

Observation cf0a02d2-bd51-4088-95a3-dd060305e8a8 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 52

Resolution: unresolved; raw_fallback, observed 2026-05-19T05:13:00.150131Z

Source-reported events for the cited work

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

Observation 11ee2445-d4be-4a27-8870-4eb4e2df815c · outbound

This paper cites Program analysis via efficient symbolic abstraction.Proc.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Program analysis via efficient symbolic abstraction.Proc

Reference 53

Resolution: verified exact; doi, observed 2026-05-19T05:12:04.725282Z

Source-reported events for the cited work

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

Observation 9ea4ddac-8787-4cc9-9ca2-a7266b584b5e · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 54

Resolution: verified exact; doi, observed 2026-05-19T05:12:04.772471Z

Source-reported events for the cited work

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

Observation 50dfff1f-e6b9-4661-a936-ffd0a1072e1f · outbound

This paper cites SIGPLAN Not.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation SIGPLAN Not

Reference 55

Resolution: verified exact; arxiv_id, observed 2026-05-19T05:12:04.785845Z

Source-reported events for the cited work

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

Observation 64ef2deb-6732-4db8-b7dd-02adf4481636 · outbound

This paper cites an unresolved cited work.

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation Unresolved cited work

Reference 56

Resolution: verified exact; arxiv_id, observed 2026-05-19T05:12:04.755150Z

Source-reported events for the cited work

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

Pith citing papers

Observation 349a726c-6116-4fac-bc44-9a0b92120371 · inbound

SAIL: Sound Abstract Interpreters with LLMs cites this paper.

SAIL: Sound Abstract Interpreters with LLMs Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T21:50:15.640858Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.