Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
As of 15 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 5 inbound Pith citation observations for arXiv:1712.08163.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-14T12:58:19.809251Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-02T06:06:40.932464Z
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 90e293be-2aa9-4282-86d3-0b882d6a2ba3 · inbound
Computing Linear Restrictions of Neural Networks cites this paper.
Computing Linear Restrictions of Neural Networks Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T12:58:19.809251Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 981fac8f-60b6-484e-b1fc-218ca0dfe747 · inbound
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks cites this paper.
A Symbolic Neural Network Representation and its Application to Understanding, Verifying, and Patching Networks Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T12:57:49.820943Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d5040e84-1f54-45d5-a148-9646c6f77bf1 · inbound
Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach cites this paper.
Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T20:00:27.538357Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 572b1a04-7855-4130-bb59-65580f2d9be6 · inbound
Exact and Asymptotically Complete Robust Verifications of Neural Networks via Ising Solvers cites this paper.
Exact and Asymptotically Complete Robust Verifications of Neural Networks via Ising Solvers Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T20:01:25.486693Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4ef62345-b69f-4780-a7b2-f7c670518c70 · inbound
MLSkip: Data Skipping for ML Filters via Lightweight Metadata cites this paper.
MLSkip: Data Skipping for ML Filters via Lightweight Metadata Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
Reference 44
- Resolution
- verified exact
- local_arxiv, observed 2026-07-02T06:06:40.934006Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.