Paper Citation Record · LEDGER

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks

As of 8 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 3 inbound Pith citation observations for arXiv:2506.01054.

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

pith.paper-citation-record.v1
2506.01054 v1

Coverage vector

measured 41 of 41 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T12:00:46.733872Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-04T09:41:51.221476Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

41 of 41 outbound references displayed

verified exact4
verified fuzzy21
unresolved16
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 840b782d-7708-4e5b-9a65-94d9bb34e65c · outbound

This paper cites write newline.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks write newline

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T12:00:42.817143Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbb25258-f365-43a7-a4cb-0f6608595c27 · outbound

This paper cites Introduction to neural network verification.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Introduction to neural network verification

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T12:00:42.939341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1f3cabb-65e9-400d-b04a-35101748f776 · outbound

This paper cites and Herzberger, J.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks and Herzberger, J

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.814504Z

Source-reported events for the cited work

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

Observation 89974be4-67ac-4afc-84b7-3d5ea26f303b · outbound

This paper cites an unresolved cited work.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:00:47.797948Z

Source-reported events for the cited work

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

Observation 06e723f2-8cbb-4ab1-bc2e-f8954da3c839 · outbound

This paper cites C., Daggitt, M.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks C., Daggitt, M

Reference 5

Resolution: verified exact; doi, observed 2026-08-07T12:00:47.780726Z

Source-reported events for the cited work

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

Observation bfe4526a-39c0-44e4-bc5a-811e1b59ef09 · outbound

This paper cites an unresolved cited work.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T12:00:43.494167Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d78fc0d-8a30-4a48-9277-b0881565238e · outbound

This paper cites Output range analysis for deep feedforward neural networks.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Output range analysis for deep feedforward neural networks

Reference 7

Resolution: verified exact; doi, observed 2026-08-07T12:00:47.037015Z

Source-reported events for the cited work

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

Observation 1871c1a4-bad3-4408-a8a4-29dd96905437 · outbound

This paper cites Formal verification of piece-wise linear feed-forward neural networks.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Formal verification of piece-wise linear feed-forward neural networks

Reference 8

Resolution: verified exact; doi, observed 2026-08-07T12:00:47.025926Z

Source-reported events for the cited work

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

Observation 67eaa2fe-f0a4-44e6-a28b-6ef3477c2c70 · outbound

This paper cites N., Jovanovic, N., and Vechev, M.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks N., Jovanovic, N., and Vechev, M

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.766824Z

Source-reported events for the cited work

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

Observation 63a7d9af-d04b-4fbe-9a55-9d7c5739b507 · outbound

This paper cites The zonotope abstract domain taylor1+.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks The zonotope abstract domain taylor1+

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.754737Z

Source-reported events for the cited work

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

Observation 2549995c-24fe-4f47-a375-00a884e6b58e · outbound

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

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T12:00:44.007259Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0823970-c5d6-4b15-96c2-15560212e491 · outbound

This paper cites A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T12:00:44.075841Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41b56926-89ad-4d98-8b5d-7db1d926ccd3 · outbound

This paper cites and Rinard, M.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks and Rinard, M

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.740553Z

Source-reported events for the cited work

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

Observation fb80e53a-58b1-47f5-ac2d-351e93863711 · outbound

This paper cites and Wang, J.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks and Wang, J

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.724386Z

Source-reported events for the cited work

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

Observation 36229d61-84b6-41b5-bd35-1761ebd405b2 · outbound

This paper cites L., Julian, K., and Kochenderfer, M.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks L., Julian, K., and Kochenderfer, M

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.709154Z

Source-reported events for the cited work

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

Observation ca98b070-c54a-4de4-b432-7561c7cc4ad5 · outbound

This paper cites J., and Bengio, S.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks J., and Bengio, S

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.695159Z

Source-reported events for the cited work

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

Observation 1bbb77c3-2611-46a0-abb5-34fcf10cd2f0 · outbound

This paper cites Sok: Certified robustness for deep neural networks.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Sok: Certified robustness for deep neural networks

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T12:00:44.524476Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f93e53e7-1771-42ca-bb8c-209f93f7eb29 · outbound

This paper cites A., Barrett, C.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks A., Barrett, C

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T12:00:44.615387Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4114db3-3ef6-4cbd-93fb-446e41e03fba · outbound

This paper cites Sound mixed fixed-point quantization of neural networks.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Sound mixed fixed-point quantization of neural networks

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T12:00:44.690030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68bfcb56-1d5e-4564-8e18-894731a27b31 · outbound

This paper cites Towards deep learning models resistant to adversarial attacks.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Towards deep learning models resistant to adversarial attacks

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.681024Z

Source-reported events for the cited work

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

Observation bea3ede0-523c-4dd4-a690-670c35e212b9 · outbound

This paper cites Relational abstract domains for the detection of floating-point run-time errors.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Relational abstract domains for the detection of floating-point run-time errors

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.665627Z

Source-reported events for the cited work

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

Observation 3c8d7df1-0367-4e23-b226-feaa9a7fd565 · outbound

This paper cites Differentiable abstract interpretation for provably robust neural networks.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Differentiable abstract interpretation for provably robust neural networks

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.652333Z

Source-reported events for the cited work

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

Observation 34afbd3a-3e96-43b7-a1fc-acec2e453947 · outbound

This paper cites D., Behl, H.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks D., Behl, H

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.636264Z

Source-reported events for the cited work

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

Observation 2e3c0e7b-8ef3-4b33-b506-aaf2de7e2c11 · outbound

This paper cites an unresolved cited work.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:00:47.618738Z

Source-reported events for the cited work

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

Observation 6ab2b81f-b578-4f42-b01e-a2dbda15c8f1 · outbound

This paper cites o gl, A., Hofer, N., and B \.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks o gl, A., Hofer, N., and B \

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.602512Z

Source-reported events for the cited work

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

Observation 10df825c-9b29-43df-9cb2-b685244b8c3e · outbound

This paper cites R., Coletti, M., and Sedova, A.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks R., Coletti, M., and Sedova, A

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T12:00:45.327431Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa780e96-fa14-47a2-a733-e180d01d36e8 · outbound

This paper cites Robustness of deep learning classification to adversarial input on GPUs: asynchronous parallel accumulation is a source of vulnerability.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Robustness of deep learning classification to adversarial input on GPUs: asynchronous parallel accumulation is a source of vulnerability

Reference 27

Resolution: verified exact; local_arxiv, observed 2026-08-07T12:00:46.988368Z

Source-reported events for the cited work

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

Observation 0784e130-4422-450b-a5de-8546c059ca98 · outbound

This paper cites an unresolved cited work.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:00:47.584945Z

Source-reported events for the cited work

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

Observation 912be65e-7cec-4519-a1fb-699f6808016a · outbound

This paper cites An abstract domain for certifying neural networks.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks An abstract domain for certifying neural networks

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T12:00:45.583208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e8c86da-62ce-42fa-9f1e-5f8a33e7775c · outbound

This paper cites Boosting robustness certification of neural networks.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Boosting robustness certification of neural networks

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.569246Z

Source-reported events for the cited work

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

Observation ee778f79-19a4-4048-aa49-250bc5f1634d · outbound

This paper cites uller, C., Maurer, J., Hoffmann, A., Baader, M., Mirman, M., Gehr, T., Tsankov, P., Drachsler Cohen, D., P\.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks uller, C., Maurer, J., Hoffmann, A., Baader, M., Mirman, M., Gehr, T., Tsankov, P., Drachsler Cohen, D., P\

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.550576Z

Source-reported events for the cited work

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

Observation 21054a58-c4b3-45a6-91fd-4a3c11a72f9a · outbound

This paper cites Intriguing properties of neural networks.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Intriguing properties of neural networks

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-07T12:00:45.794547Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89685e76-1773-4940-8419-fae7bc995964 · outbound

This paper cites Y., and Tedrake, R.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Y., and Tedrake, R

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.534221Z

Source-reported events for the cited work

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

Observation 19365a3d-414c-4310-8a77-a773c8eab4c9 · outbound

This paper cites Effects of floating-point non-associativity on numerical computations on massively multithreaded systems.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Effects of floating-point non-associativity on numerical computations on massively multithreaded systems

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.519959Z

Source-reported events for the cited work

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

Observation d5fcd98c-4c1f-4238-9a47-dec704547cea · outbound

This paper cites an unresolved cited work.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:00:47.506236Z

Source-reported events for the cited work

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

Observation d1cef670-493d-43a5-a6c9-f1c25724e3d3 · outbound

This paper cites and Kolter, Z.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks and Kolter, Z

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.492082Z

Source-reported events for the cited work

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

Observation 958f67ed-9dbb-408e-b715-bbd94c5e93cd · outbound

This paper cites Automatic perturbation analysis for scalable certified robustness and beyond.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Automatic perturbation analysis for scalable certified robustness and beyond

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.478667Z

Source-reported events for the cited work

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

Observation c8b7b090-a0b5-4ea3-a9d1-8b9484499419 · outbound

This paper cites Fast and Complete : Enabling complete neural network verification with rapid and massively parallel incomplete verifiers.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Fast and Complete : Enabling complete neural network verification with rapid and massively parallel incomplete verifiers

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.465801Z

Source-reported events for the cited work

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

Observation b412a8a7-f16e-4d16-a6c9-9e8f856dc243 · outbound

This paper cites Efficient neural network robustness certification with general activation functions.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Efficient neural network robustness certification with general activation functions

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.452217Z

Source-reported events for the cited work

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

Observation d249868f-c543-4d0a-8ae1-dba35e2ebc62 · outbound

This paper cites an unresolved cited work.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:00:47.437038Z

Source-reported events for the cited work

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

Observation e97f118a-9dc1-4cf3-a5d5-6a7b6f2ab6c5 · outbound

This paper cites Fooling a complete neural network verifier.

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks Fooling a complete neural network verifier

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:00:47.422880Z

Source-reported events for the cited work

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

Pith citing papers

Observation f7bde2a3-4ada-4258-98a0-84924621886c · inbound

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks cites this paper.

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-04T09:41:51.221476Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9516165-647b-4359-889a-4d2e34761cb9 · inbound

Lipschitz-Based Robustness Certification Under Floating-Point Execution cites this paper.

Lipschitz-Based Robustness Certification Under Floating-Point Execution No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-15T14:07:56.936206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e46537c2-79e8-46cc-bc0e-966c54b9096c · inbound

Lipschitz-Based Robustness Certification Under Floating-Point Execution cites this paper.

Lipschitz-Based Robustness Certification Under Floating-Point Execution No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.452883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.