Paper Citation Record · LEDGER

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation

As of 6 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2604.21556.

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

pith.paper-citation-record.v1
2604.21556 v1

Coverage vector

measured 24 of 24 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-09T21:10:18.557475Z

measured 24 of 24 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+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

24 of 24 outbound references displayed

verified exact2
verified fuzzy18
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 851a1000-1692-49be-ba30-cf8bc9752804 · outbound

This paper cites Cengage Learning (1992).

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation Cengage Learning (1992)

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:11.041736Z

Source-reported events for the cited work

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

Observation c1a04d68-f32f-44f1-8865-c8ae916f4b27 · outbound

This paper cites Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound.

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-05-11T14:41:37.960137Z

Source-reported events for the cited work

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

Observation 3734997c-68d6-4a87-9a24-121785289618 · outbound

This paper cites In: Proceed- ings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16.

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation In: Proceed- ings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:11.044974Z

Source-reported events for the cited work

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

Observation 79b319b8-f90a-4d3d-a917-8774eaf018c7 · outbound

This paper cites an unresolved cited work.

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-05-23T16:18:11.056501Z

Source-reported events for the cited work

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

Observation 2dcc13fc-eebc-4638-ba53-6e9ffedca126 · outbound

This paper cites (eds.) Proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis.

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation (eds.) Proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:10.994035Z

Source-reported events for the cited work

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

Observation 9b2f63e2-af0c-4c4e-b1f0-ff57a3d77269 · outbound

This paper cites Springer (2001).

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation Springer (2001)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:10.984490Z

Source-reported events for the cited work

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

Observation 5f801492-80d3-4597-98ed-092a3f5bb5f1 · outbound

This paper cites In: The 29th International Conference on Computer Aided Verification (CAV 2017).

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation In: The 29th International Conference on Computer Aided Verification (CAV 2017)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:10.990813Z

Source-reported events for the cited work

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

Observation dfad1972-400c-4cb7-9dbb-d40406783f5e · outbound

This paper cites In: 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC).

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation In: 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:11.004119Z

Source-reported events for the cited work

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

Observation af0cae61-92b2-4671-8c9b-47b0a6a76eec · outbound

This paper cites In: Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2019, Canada.

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation In: Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2019, Canada

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:10.997586Z

Source-reported events for the cited work

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

Observation aa94c9bb-4101-4b3d-ae16-8b4153784f5e · outbound

This paper cites Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective.

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-05-11T14:41:38.105619Z

Source-reported events for the cited work

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

Observation fe435693-3e6b-48a1-af11-114a9e747d17 · outbound

This paper cites McGraw-Hill Education (1997).

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation McGraw-Hill Education (1997)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:11.000735Z

Source-reported events for the cited work

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

Observation a8f5c131-5b21-4eb1-a0ac-4d414a6c7847 · outbound

This paper cites In: Learning for Dynamics and Control Conference, L4DC 2023, 15-16 June 2023, Philadelphia, PA, USA.

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation In: Learning for Dynamics and Control Conference, L4DC 2023, 15-16 June 2023, Philadelphia, PA, USA

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:10.987757Z

Source-reported events for the cited work

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

Observation 8ab26fb3-4a8c-442c-8dfe-d0b55b9c9654 · outbound

This paper cites an unresolved cited work.

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-05-23T16:18:11.007133Z

Source-reported events for the cited work

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

Observation 4eaae9c5-a744-4dca-9ba1-c7de4d02bc08 · outbound

This paper cites In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Con- trol, HSCC 2023, USA.

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Con- trol, HSCC 2023, USA

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:11.052138Z

Source-reported events for the cited work

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

Observation 8ce8e397-869a-4bbe-8ef0-b65fa590f702 · outbound

This paper cites In: 34th Annual Conference on Neural Information Processing Systems, (NeurIPS 2021).

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation In: 34th Annual Conference on Neural Information Processing Systems, (NeurIPS 2021)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:11.030983Z

Source-reported events for the cited work

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

Observation dff0ecb6-f34b-4cd7-9a36-eac367a22a4a · outbound

This paper cites In: 7th International Conference on Learning Representations, USA (2019).

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation In: 7th International Conference on Learning Representations, USA (2019)

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:11.035264Z

Source-reported events for the cited work

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

Observation f4485231-6604-481c-86a9-a9d2bc272cbe · outbound

This paper cites an unresolved cited work.

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-05-23T16:18:11.024591Z

Source-reported events for the cited work

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

Observation 2b7ae4ae-8811-4ddf-a996-a6bd3e1df000 · outbound

This paper cites an unresolved cited work.

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-05-23T16:18:11.027852Z

Source-reported events for the cited work

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

Observation bbfcde8d-5259-4921-a3e1-6769ff629f9b · outbound

This paper cites In: Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I.

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation In: Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:11.038622Z

Source-reported events for the cited work

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

Observation 75b132a0-9761-4eb7-9e89-151d4c6ed109 · outbound

This paper cites In: Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II.

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation In: Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:11.048425Z

Source-reported events for the cited work

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

Observation a71b32a4-9855-4432-9d27-11bca94d43ce · outbound

This paper cites In: Advances in Neural Information Processing Systems 33: Annual Con- ference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual (2020).

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation In: Advances in Neural Information Processing Systems 33: Annual Con- ference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual (2020)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:11.021437Z

Source-reported events for the cited work

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

Observation 6624f70f-f7ae-4e62-b869-f1363396ef20 · outbound

This paper cites In: Formal Modeling and Analy- sis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings.

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation In: Formal Modeling and Analy- sis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:11.014467Z

Source-reported events for the cited work

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

Observation 2284ed72-7c68-4a06-900d-fe7199be78cb · outbound

This paper cites In: 31st Annual Conference on Neural Information Processing Systems 2018, (NeurIPS 2018).

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation In: 31st Annual Conference on Neural Information Processing Systems 2018, (NeurIPS 2018)

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:11.010570Z

Source-reported events for the cited work

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

Observation 45af4efe-95b3-455d-8d75-20bf34e4f742 · outbound

This paper cites Each point represents a distinct configura- tion.

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation Each point represents a distinct configura- tion

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-05-23T16:18:11.017926Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.