Paper Citation Record · LEDGER

Abstraction-Based Proof Production in Formal Verification of Neural Networks

As of 10 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 0 inbound Pith citation observations for arXiv:2506.09455.

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

pith.paper-citation-record.v1
2506.09455 v1

Coverage vector

measured 50 of 50 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T04:56:21.017651Z

measured 50 of 50 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

50 of 50 outbound references displayed

verified exact1
verified fuzzy44
unresolved5
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1eeca6c3-44f3-4894-ba57-b8ffab13431c · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:27.324922Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 183f8a6c-9965-4716-a467-0e038c9a7cc7 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:27.152972Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0ddd142c-4b8f-4549-96fd-2815507124b8 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:26.982266Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c887aa38-17d5-458d-bba7-aba6fa015c02 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:26.822145Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a3de754e-82cf-485e-8622-a6f37ed0ca2a · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:26.636371Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e9c26a4b-b27a-44dc-b1c0-1063fc54b5d0 · outbound

This paper cites In: All about Proofs, Proofs for All, pp.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: All about Proofs, Proofs for All, pp

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:26.487238Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation cd55e7f5-0ee0-49af-9f42-21d63be1dc62 · outbound

This paper cites an unresolved cited work.

Abstraction-Based Proof Production in Formal Verification of Neural Networks Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-07T04:56:26.302582Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 51ac00af-02f4-4123-a950-f4ae3de36a32 · outbound

This paper cites Macmillan (1983).

Abstraction-Based Proof Production in Formal Verification of Neural Networks Macmillan (1983)

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:26.169490Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 88398c4e-9f7d-4ec9-876c-d9716bc2d22f · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:26.004539Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d47e92f2-cecc-4059-80dc-f3ade02d92d2 · outbound

This paper cites ACM Trans- actions on Programming Languages and Systems (TOPLAS) p.

Abstraction-Based Proof Production in Formal Verification of Neural Networks ACM Trans- actions on Programming Languages and Systems (TOPLAS) p

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:25.871036Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a3518517-b97e-49ae-8b3a-87b408100a61 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:25.754748Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d78aeca2-9065-47f6-82f2-e0ddac9cf4f3 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:25.606142Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 642d5e75-0723-490b-a757-ea10cb80b6a0 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:25.487943Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 55a8d3b9-d62c-4187-97b5-dc4cd0f92770 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:25.369237Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 85f2f0b5-2507-4c4b-ac84-ff630d499cd2 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:25.223375Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 60bcd1db-53d8-41e7-809d-b935667d35cf · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:25.096532Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 19eecadb-7ae3-4747-b299-eb7c20296179 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:24.937288Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation eab31f5d-fc49-48b7-90af-59088ba6afe1 · outbound

This paper cites MIT press Cambridge (2016).

Abstraction-Based Proof Production in Formal Verification of Neural Networks MIT press Cambridge (2016)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:24.696068Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d1bcc0b4-3470-4752-8db9-dda71cd4c5fa · outbound

This paper cites On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models.

Abstraction-Based Proof Production in Formal Verification of Neural Networks On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T04:56:20.857214Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e84cec5d-675f-487a-81c9-177d4a6141c7 · outbound

This paper cites Formal Methods in System Design (FMSD) pp.

Abstraction-Based Proof Production in Formal Verification of Neural Networks Formal Methods in System Design (FMSD) pp

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:24.535395Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 61d0735a-5171-44f5-827c-855e32f4e3be · outbound

This paper cites an unresolved cited work.

Abstraction-Based Proof Production in Formal Verification of Neural Networks Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T04:56:20.867450Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cd867e7-0411-4408-ab50-1c8f9acd9f74 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:24.322332Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f6fa3f91-255c-4840-a17e-e5db63c63ecd · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:24.052691Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c3568ab6-7af8-4835-9687-40a2d270e451 · outbound

This paper cites an unresolved cited work.

Abstraction-Based Proof Production in Formal Verification of Neural Networks Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T04:56:20.883098Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b07cabf-475c-4862-b8f2-246ec67d9dcf · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:23.852343Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 3ec1dcce-dc21-4039-929f-71264d765620 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:23.649681Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5a1288bc-7c2f-4031-80a7-b93239434d48 · outbound

This paper cites Formal Methods in System Design (FMSD) (2021).

Abstraction-Based Proof Production in Formal Verification of Neural Networks Formal Methods in System Design (FMSD) (2021)

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:23.408237Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 4fbfcd37-21fe-4943-bd10-9d8b23fdb4d4 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:23.230954Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 62c61115-8b7d-49d7-9768-c9c00740bcfe · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:23.034905Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f0e1ca8d-0802-400c-9e9c-ae58d89bc1a1 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:22.819087Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation dbf0d21c-87b2-402c-8b51-cb4e473c01ff · outbound

This paper cites Fully Automatic Neural Network Reduction for Formal Verification.

Abstraction-Based Proof Production in Formal Verification of Neural Networks Fully Automatic Neural Network Reduction for Formal Verification

Reference 31

Resolution: verified exact; local_arxiv, observed 2026-08-07T04:56:21.077119Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a5902d73-e2c7-4b0c-81db-536f8cb3d9a7 · outbound

This paper cites Nature pp.

Abstraction-Based Proof Production in Formal Verification of Neural Networks Nature pp

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:22.565277Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ec37a194-beb0-4de7-b3f2-4f03b2f1fbff · outbound

This paper cites Queue pp.

Abstraction-Based Proof Production in Formal Verification of Neural Networks Queue pp

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:22.307990Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 602757b6-a23f-4734-b2cb-0b48e980155c · outbound

This paper cites Foundations and Trends in Optimiza- tion pp.

Abstraction-Based Proof Production in Formal Verification of Neural Networks Foundations and Trends in Optimiza- tion pp

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:22.124662Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f0b72693-ddd2-4d6e-abc7-92d7a690a6d5 · outbound

This paper cites ACM Transactions on Software Engineering and Methodology (TOSEM) pp.

Abstraction-Based Proof Production in Formal Verification of Neural Networks ACM Transactions on Software Engineering and Methodology (TOSEM) pp

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:21.922641Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 967da367-0ed7-45e5-bcd2-c5326efec027 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:21.696324Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 956fe5f4-f681-489d-b5de-0fe85ae333d8 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:21.540915Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 515edd94-4998-4889-90ed-0d0e24f7259f · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:21.463050Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 74b330ff-2c6e-44ba-a290-a8bab20ddcd6 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:21.443589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 44ed44d1-a0df-48bd-b946-31df36c4414e · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:21.424507Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1349a1a0-e6f5-44bd-adab-6ed4a06f2f6f · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:21.407585Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 48b9e2e7-c8ef-48cb-ad5b-ed89dc014f47 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:21.389119Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 33d4ebcd-90d6-4b8c-ac35-d9b24bcf6237 · outbound

This paper cites Nature Machine Intelligence pp.

Abstraction-Based Proof Production in Formal Verification of Neural Networks Nature Machine Intelligence pp

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:21.371239Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 4abf5f4e-6d9f-4aa8-8367-2cabe384d713 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:21.354207Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 2ca7054a-6306-4f32-9d55-f951292a462f · outbound

This paper cites an unresolved cited work.

Abstraction-Based Proof Production in Formal Verification of Neural Networks Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-07T04:56:21.335248Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d1e54948-26cf-44f3-a84c-48c34d7aa7f2 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:21.313177Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d806ed16-923e-46cb-a642-14b6e7fbab9c · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:21.295888Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation cb414d60-cdfb-4bb8-ab3c-8b70ad15d91c · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:21.278041Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 9a2e7824-7a96-427b-b08c-fcb2e489c5f9 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:21.257270Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0d56452a-c5db-4047-9904-0db76d802009 · outbound

This paper cites In: Proc.

Abstraction-Based Proof Production in Formal Verification of Neural Networks In: Proc

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:56:21.232768Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Pith citing papers

No inbound Pith citation observations are available.