Paper Citation Record · LEDGER

Introduction to Neural Network Verification

As of 18 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 9 inbound Pith citation observations for arXiv:2109.10317.

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

pith.paper-citation-record.v1
2109.10317 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 9 of 9 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 9 of 9 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-16T04:48:45.046682Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-10T06:15:00.866473Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation bc6b6b73-23b8-410d-9fec-a8ba98ad4a0d · inbound

Learning Ensembles of Vision-based Safety Control Filters cites this paper.

Learning Ensembles of Vision-based Safety Control Filters Introduction to Neural Network Verification

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-11T23:59:13.526378Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0087426a-5adb-4775-9eff-a0d84644d822 · inbound

Neural Network Verification is a Programming Language Challenge cites this paper.

Neural Network Verification is a Programming Language Challenge Introduction to Neural Network Verification

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T21:09:21.852691Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23bdc485-ec28-49a6-bc5b-b0dd6dd51494 · inbound

A General Framework for Property-Driven Machine Learning cites this paper.

A General Framework for Property-Driven Machine Learning Introduction to Neural Network Verification

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-16T04:48:45.046682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d137c6f5-58ef-44e9-b975-19c13db64437 · inbound

Faster Verified Explanations for Neural Networks cites this paper.

Faster Verified Explanations for Neural Networks Introduction to Neural Network Verification

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-05-17T03:31:28.432254Z

Source-reported events for the cited work

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

Observation 2e0fad8b-fe94-4dbb-8d26-a2b275c499ff · inbound

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification cites this paper.

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification Introduction to Neural Network Verification

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-05-14T17:32:30.226097Z

Source-reported events for the cited work

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

Observation 06f5d160-186d-4cf7-9f83-c50972c6fe81 · inbound

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification cites this paper.

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification Introduction to Neural Network Verification

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-05-15T05:45:05.495769Z

Source-reported events for the cited work

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

Observation 07bcc4bc-2fe4-4f6e-b7db-632634993295 · inbound

MLSkip: Data Skipping for ML Filters via Lightweight Metadata cites this paper.

MLSkip: Data Skipping for ML Filters via Lightweight Metadata Introduction to Neural Network Verification

Reference 2

Resolution: metadata mismatch; arxiv_id, observed 2026-07-02T06:06:40.921705Z

Source-reported events for the cited work

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

Observation 15aa12f0-5521-433c-bc91-1bf28f055695 · inbound

The Role of Rigor in Artificial Intelligence cites this paper.

The Role of Rigor in Artificial Intelligence Introduction to Neural Network Verification

Reference 99

Resolution: unresolved; no resolver link, observed 2026-07-12T16:22:39.179665Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6617323-bef7-4628-86d4-dbd5c4f2fb2f · inbound

Ceci n'est pas une pipe: AI systems as semantic abstractions cites this paper.

Ceci n'est pas une pipe: AI systems as semantic abstractions Introduction to Neural Network Verification

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-13T02:40:34.279112Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.