Paper Citation Record · LEDGER

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks

As of 17 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 1 inbound Pith citation observation for arXiv:2412.02940.

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

pith.paper-citation-record.v1
2412.02940 v1

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T23:00:51.778828Z

measured 37 of 37 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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-06T20:45:56.783292Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T20:45:57.197580Z

Reference resolution

36 of 36 outbound references displayed

verified exact0
verified fuzzy35
unresolved0
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation abafab9d-d4fa-4ebf-b6d4-0a34af32b02c · outbound

This paper cites Neural lander: Stable drone landing control using learned dynamics,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Neural lander: Stable drone landing control using learned dynamics,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.242966Z

Source-reported events for the cited work

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

Observation f9d4509f-6e00-4549-b595-5cf6145c1079 · outbound

This paper cites Champion-level drone racing using deep reinforcement learning,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Champion-level drone racing using deep reinforcement learning,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.230161Z

Source-reported events for the cited work

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

Observation 0cbe561a-40d5-44ed-b40e-ec8945ef2694 · outbound

This paper cites Survey of state-of-art autonomous driving technologies with deep learning,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Survey of state-of-art autonomous driving technologies with deep learning,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.214555Z

Source-reported events for the cited work

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

Observation e8a7ca0d-2159-4281-8996-18d0a63c19f8 · outbound

This paper cites Policy compression for aircraft collision avoidance systems,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Policy compression for aircraft collision avoidance systems,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.200955Z

Source-reported events for the cited work

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

Observation 7472152a-94ba-44c0-a810-5c14b6088094 · outbound

This paper cites Run-time assurance for learning-based aircraft taxiing,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Run-time assurance for learning-based aircraft taxiing,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.187930Z

Source-reported events for the cited work

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

Observation cc7dcc54-9c13-43f9-9c53-fc8e45e386cc · outbound

This paper cites Ad- versary resistant deep neural networks with an application to malware detection,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Ad- versary resistant deep neural networks with an application to malware detection,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.174605Z

Source-reported events for the cited work

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

Observation 0b967114-1bc2-4be8-a79f-277f0b6c504a · outbound

This paper cites Is ordered weighted𝑙1 regularized regression robust to adversarial perturbation? a case study on oscar,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Is ordered weighted𝑙1 regularized regression robust to adversarial perturbation? a case study on oscar,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.162705Z

Source-reported events for the cited work

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

Observation 3db10204-b7e8-41e4-a702-c9d164e87341 · outbound

This paper cites An approach to reachability analysis for feed- forward relu neural networks,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks An approach to reachability analysis for feed- forward relu neural networks,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.152120Z

Source-reported events for the cited work

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

Observation eb7b1887-ed5e-4ce5-955e-bd6fd6c35fd8 · outbound

This paper cites Measuring neural net robustness with constraints,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Measuring neural net robustness with constraints,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.139621Z

Source-reported events for the cited work

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

Observation 91a05644-ad14-4ab4-be3f-9e36fc403a03 · outbound

This paper cites Maximum resilience of artificial neural networks,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Maximum resilience of artificial neural networks,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.127493Z

Source-reported events for the cited work

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

Observation da6155e6-a0d0-4453-9e88-ecf22afa4427 · outbound

This paper cites Evaluating robustness of neural networks with mixed integer programming,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Evaluating robustness of neural networks with mixed integer programming,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.113336Z

Source-reported events for the cited work

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

Observation e2bca95a-194b-453a-978d-16737e56757e · outbound

This paper cites Challenging SMT solvers to verify neural networks,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Challenging SMT solvers to verify neural networks,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.102073Z

Source-reported events for the cited work

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

Observation 63fb9253-492a-4893-b66c-a76f41d60de1 · outbound

This paper cites Reluplex: An efficient SMT solver for verifying deep neural networks,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Reluplex: An efficient SMT solver for verifying deep neural networks,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.088843Z

Source-reported events for the cited work

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

Observation 0fb1bf6f-5909-49da-9114-49a677d25ade · outbound

This paper cites A unified view of SDP- based neural network verification through completely positive programming,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks A unified view of SDP- based neural network verification through completely positive programming,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.074468Z

Source-reported events for the cited work

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

Observation e4d93217-14ad-4ea0-8564-c0b908620954 · outbound

This paper cites Safety verification and robustness anal- ysis of neural networks via quadratic constraints and semidefinite programming,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Safety verification and robustness anal- ysis of neural networks via quadratic constraints and semidefinite programming,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.055337Z

Source-reported events for the cited work

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

Observation 55ed56db-94df-450e-b366-45aa639b7474 · outbound

This paper cites Efficient neural network verification with exactness characterization,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Efficient neural network verification with exactness characterization,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.043064Z

Source-reported events for the cited work

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

Observation 01e39524-21b3-4ae2-9957-d27abdf72b91 · outbound

This paper cites Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.031342Z

Source-reported events for the cited work

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

Observation d1146cef-38e5-4649-bb33-afa692bd27e9 · outbound

This paper cites Reachable polyhedral marching (RPM): A safety verification algorithm for robotic systems with deep neural network components,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Reachable polyhedral marching (RPM): A safety verification algorithm for robotic systems with deep neural network components,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.019361Z

Source-reported events for the cited work

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

Observation a0a318fa-9bf8-4ee1-8844-9402587da3eb · outbound

This paper cites Universal adver- sarial perturbations,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Universal adver- sarial perturbations,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:52.007033Z

Source-reported events for the cited work

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

Observation b725b9fa-109e-4aeb-86fe-f3ff59576606 · outbound

This paper cites One pixel attack for fooling deep neural networks,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks One pixel attack for fooling deep neural networks,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.996810Z

Source-reported events for the cited work

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

Observation 812f6be6-3b96-4a36-b66d-2d3d2a7419fa · outbound

This paper cites Probabilistic verification and reachability analysis of neural networks via semidefinite programming,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Probabilistic verification and reachability analysis of neural networks via semidefinite programming,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.984688Z

Source-reported events for the cited work

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

Observation e98b09ba-7c44-412b-a3d9-bd098b85248c · outbound

This paper cites Probabilistic verifi- cation of relu neural networks via characteristic functions,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Probabilistic verifi- cation of relu neural networks via characteristic functions,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.974694Z

Source-reported events for the cited work

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

Observation 9bf0e264-a42b-4db2-8d50-6139a1c81327 · outbound

This paper cites PROVEN: Verifying robustness of neural networks with a probabilistic approach,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks PROVEN: Verifying robustness of neural networks with a probabilistic approach,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.964807Z

Source-reported events for the cited work

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

Observation 6965090f-d1ad-4cff-a54a-67a81e1a3548 · outbound

This paper cites CC-CERT: A probabilistic approach to certify general robustness of neural networks,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks CC-CERT: A probabilistic approach to certify general robustness of neural networks,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.953518Z

Source-reported events for the cited work

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

Observation f61a1426-c518-42fc-be42-7658eea1479b · outbound

This paper cites Probabilistic verification of neural networks using branch and bound,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Probabilistic verification of neural networks using branch and bound,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.942406Z

Source-reported events for the cited work

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

Observation 95438add-8f1f-4453-b250-87b071296617 · outbound

This paper cites Data-driven certification of neural networks with random input noise,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Data-driven certification of neural networks with random input noise,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.930857Z

Source-reported events for the cited work

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

Observation 00b0e607-1cf5-411b-9149-b89277f36ff2 · outbound

This paper cites Estimating reachable sets with scenario optimiza- tion,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Estimating reachable sets with scenario optimiza- tion,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.919084Z

Source-reported events for the cited work

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

Observation f17b4bc7-ef83-4b54-8f8e-aac2f892f042 · outbound

This paper cites Asymptotic minimax character of the sample distribution function and of the classical multinomial estimator,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Asymptotic minimax character of the sample distribution function and of the classical multinomial estimator,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.908023Z

Source-reported events for the cited work

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

Observation 65754a87-22f2-4727-9174-2aee90e5afdd · outbound

This paper cites Estimating reachable sets with scenario optimiza- tion,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Estimating reachable sets with scenario optimiza- tion,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.895919Z

Source-reported events for the cited work

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

Observation 14429f79-9fd1-4b7f-a410-0af0de5381f7 · outbound

This paper cites TensorFlow: Large-scale machine learning on heterogeneous systems,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks TensorFlow: Large-scale machine learning on heterogeneous systems,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.883048Z

Source-reported events for the cited work

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

Observation 2ada95df-79d6-4dbf-930e-e8f061fadc2c · outbound

This paper cites PyTorch: an imperative style, high-performance deep learning library,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks PyTorch: an imperative style, high-performance deep learning library,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.870158Z

Source-reported events for the cited work

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

Observation c9857b2c-de36-4044-b1a4-69a1de9c8e28 · outbound

This paper cites 8024–8035.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks 8024–8035

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.858589Z

Source-reported events for the cited work

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

Observation 3180e6b5-acf5-40c5-a555-e3e4f1ad9c1b · outbound

This paper cites JAX: composable transformations of python numpy programs,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks JAX: composable transformations of python numpy programs,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.846402Z

Source-reported events for the cited work

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

Observation b9d34cf2-1cd2-403b-8213-9097e365b07c · outbound

This paper cites Array programming with NumPy,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks Array programming with NumPy,

Reference 34

Resolution: malformed identifier; no resolver link, observed 2026-08-11T23:00:51.771688Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0a3d01e-a4d6-4a2c-aeac-0cee60d9cf70 · outbound

This paper cites The MNIST database of handwritten digit images for machine learning research,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks The MNIST database of handwritten digit images for machine learning research,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.832979Z

Source-reported events for the cited work

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

Observation 542490e4-c9d7-4769-9105-9d5c2fbfafbf · outbound

This paper cites NASA ULI aircraft taxi dataset,.

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks NASA ULI aircraft taxi dataset,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T23:00:51.819714Z

Source-reported events for the cited work

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

Pith citing papers

Observation 3014fab0-f4af-436f-9bd9-554c2ca6d834 · inbound

Responsiveness Verification: Will Predictions Change? How Much? How Often? cites this paper.

Responsiveness Verification: Will Predictions Change? How Much? How Often? SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks

Reference 51

Resolution: verified exact; local_arxiv, observed 2026-08-06T20:45:57.202685Z

Source-reported events for the cited work

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