Paper Citation Record · LEDGER

A Formally Verified Robustness Certifier for Neural Networks (Extended Version)

As of 23 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 2 inbound Pith citation observations for arXiv:2505.06958.

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

pith.paper-citation-record.v1
2505.06958 v1

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T22:35:33.748147Z

measured 34 of 34 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T18:47:59.461742Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

32 of 32 outbound references displayed

verified exact0
verified fuzzy22
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7d87e334-c4f6-40ca-8ea4-ec4846a77370 · outbound

This paper cites In: International Conference on Computer Aided Verification (CAV).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: International Conference on Computer Aided Verification (CAV)

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.271549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 86822e16-ffdc-4a54-b8d3-92db2492d626 · outbound

This paper cites In: International Conference on Machine Learning (ICML).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: International Conference on Machine Learning (ICML)

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.254673Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b27301d7-0770-47a9-9b41-4752fc8f0be8 · outbound

This paper cites In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (For- maliSE).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (For- maliSE)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.240365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation fe5cd1c2-246d-4645-8577-e44e3ef5f7a0 · outbound

This paper cites In: International Conference on Computer Aided Verification (CAV).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: International Conference on Computer Aided Verification (CAV)

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.226073Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 148015a2-32a4-49d9-bb39-34846efde196 · outbound

This paper cites In: International Conference on Machine Learning (ICML).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: International Conference on Machine Learning (ICML)

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.212187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e77847c2-abb5-4598-849c-4bee452c8fe6 · outbound

This paper cites In: International Conference on Machine Learning (ICML).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: International Conference on Machine Learning (ICML)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.196032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 053eef12-2508-4fe0-8f23-e853da5cc28f · outbound

This paper cites In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.181280Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 756b111c-d275-4b79-811b-f71b70c697b8 · outbound

This paper cites In: International Workshop on Numerical Software Verification.

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: International Workshop on Numerical Software Verification

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.166176Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e4059944-b8a8-4eb9-af03-ba122141fcb2 · outbound

This paper cites In: International Conference on Learning Representations (ICLR).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: International Conference on Learning Representations (ICLR)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.150454Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d94f5c45-ea61-4a38-9c4f-24cb8ee1ac5c · outbound

This paper cites an unresolved cited work.

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-15T22:35:34.134901Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 7084a848-d8ce-43cf-9e8c-215d068177c9 · outbound

This paper cites In: International Conference on Learning Representations (ICLR) (2015).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: International Conference on Learning Representations (ICLR) (2015)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.117891Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation fd3ade2f-22f5-4012-9132-97783cd4243a · outbound

This paper cites an unresolved cited work.

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T22:35:33.647519Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ced49dec-c01f-4b45-b86b-5c4975a99595 · outbound

This paper cites In: International Conference on Learning Representations (ICLR) (2024).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: International Conference on Learning Representations (ICLR) (2024)

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.100569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f334dad3-309d-4d94-80f8-15c097ea3088 · outbound

This paper cites In: Proceedings of the 2024 Workshop on Artificial Intelligence and Security.

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: Proceedings of the 2024 Workshop on Artificial Intelligence and Security

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.085574Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e64137f7-100f-4065-9a94-d42c5f83deeb · outbound

This paper cites Pro- ceedings of the ACM on Programming Languages8(OOPSLA1), 1010–1039 (2024).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) Pro- ceedings of the ACM on Programming Languages8(OOPSLA1), 1010–1039 (2024)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.068240Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 82a991a4-62b9-429a-ad21-83054624836c · outbound

This paper cites In: International Conference on Computer Aided Verification (CAV).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: International Conference on Computer Aided Verification (CAV)

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.052907Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b05490bb-2904-40a4-bb3a-d4bcb561f397 · outbound

This paper cites ACM Trans- actions on Computer Systems (TOCS)32(1), 1–70 (2014).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) ACM Trans- actions on Computer Systems (TOCS)32(1), 1–70 (2014)

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.038155Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 3d6bf72b-7bf3-49c7-94fc-a68826372e47 · outbound

This paper cites an unresolved cited work.

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T22:35:33.676120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5aca69c7-e2dc-409d-bf50-6a9d9c137024 · outbound

This paper cites Proceedings of the IEEE86(11), 2278–2324 (1998).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) Proceedings of the IEEE86(11), 2278–2324 (1998)

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T22:35:33.680628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df468a2d-1d60-499c-b806-4406389f3d3a · outbound

This paper cites In: IEEE Symposium on Security and Privacy.

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: IEEE Symposium on Security and Privacy

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:34.002477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d857c6a7-f21f-4854-8160-717242fbd85b · outbound

This paper cites Advances in Neural Information Processing Systems (NeurIPS)33, 16891–16902 (2020).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) Advances in Neural Information Processing Systems (NeurIPS)33, 16891–16902 (2020)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:33.985161Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation cbaa2230-60cb-492e-bacf-d7d46783debe · outbound

This paper cites In: International Conference on Logic for Programming, Artificial Intelligence and Reasoning.

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:33.968622Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 2afba2fc-08b0-46c9-a85b-c69a8294efb1 · outbound

This paper cites In: International Conference on Machine Learning (ICML).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: International Conference on Machine Learning (ICML)

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:33.952121Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ae6e44c7-bc93-4590-b567-5cde91af10ac · outbound

This paper cites In: International Conference on Learning Representations (ICLR) (2018).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: International Conference on Learning Representations (ICLR) (2018)

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-15T22:35:33.704830Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9aef8c3b-5219-46c2-922d-a1790643f88b · outbound

This paper cites Is Certifying $\ell_p$ Robustness Still Worthwhile?.

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) Is Certifying $\ell_p$ Robustness Still Worthwhile?

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-15T22:35:33.709730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd82a324-c402-4495-830e-e91f565c0895 · outbound

This paper cites IEEE Transactions on Dependable and Secure Computing (2022).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) IEEE Transactions on Dependable and Secure Computing (2022)

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:33.927045Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f2d38a77-3ab1-4724-a2fe-fabbd77f2ae7 · outbound

This paper cites In: IEEE Symposium on Security and Privacy.

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) In: IEEE Symposium on Security and Privacy

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:33.909985Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 5be281d7-7f6c-4ba6-ac28-61de3f0152bc · outbound

This paper cites Adversarial Robustness Toolbox v1.0.0.

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) Adversarial Robustness Toolbox v1.0.0

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-15T22:35:33.725871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 525d8511-41ba-430a-8b1c-50a2a8e49f03 · outbound

This paper cites an unresolved cited work.

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-15T22:35:33.892939Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 9dc0f760-1dba-418e-87c7-1992d5a67bfe · outbound

This paper cites Proceedings of the ACM on Programming Languages3(POPL), 1–30 (2019).

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) Proceedings of the ACM on Programming Languages3(POPL), 1–30 (2019)

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T22:35:33.875422Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 454da1f3-3e9f-45c0-ac51-499fdbbd6a82 · outbound

This paper cites Intriguing properties of neural networks.

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) Intriguing properties of neural networks

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-15T22:35:33.742397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fd26699-a11d-4005-a94a-624d77e93d1a · outbound

This paper cites Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms.

A Formally Verified Robustness Certifier for Neural Networks (Extended Version) Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-15T22:35:33.748147Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation cfdb9c01-7a82-420c-9905-88d3dafddf7a · inbound

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

Lipschitz-Based Robustness Certification Under Floating-Point Execution A Formally Verified Robustness Certifier for Neural Networks (Extended Version)

Reference 44

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 4ac7ebf0-b3b9-4620-bd09-79f994360109 · inbound

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

Lipschitz-Based Robustness Certification Under Floating-Point Execution A Formally Verified Robustness Certifier for Neural Networks (Extended Version)

Reference 44

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.