Pith. sign in

Paper Citation Record · LEDGER

Scaling Polyhedral Neural Network Verification on GPUs

As of 19 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:2007.10868.

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

pith.paper-citation-record.v1
2007.10868 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 3 of 3 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-16T04:37:12.827446Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T14:54:44.889705Z

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 800273c3-4017-43d2-bc71-196f18a59a3d · inbound

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification cites this paper.

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Scaling Polyhedral Neural Network Verification on GPUs

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-16T04:37:12.827446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T04:37:12.827446Z digest=sha256:a2c23334f310ed7d3d37271bf5e3015de4c87c9107e8bbc569bc0948d26f37f0

Observation 43d2691c-555d-4678-84a5-a805b1e605a3 · inbound

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees cites this paper.

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees Scaling Polyhedral Neural Network Verification on GPUs

Reference 33

Resolution
metadata mismatch
local_arxiv, observed 2026-08-06T14:54:44.893792Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=arxiv_source observed=2026-08-06T14:54:44.231117Z digest=sha256:2032c5f89465f772393f605853c7e3684a1154ce25e0de954692867544e3c944

Observation cbecefb3-5b59-41d7-94fe-f342017177fc · inbound

Branch and Bound for Relational Verification of Neural Networks cites this paper.

Branch and Bound for Relational Verification of Neural Networks Scaling Polyhedral Neural Network Verification on GPUs

Reference 31

Resolution
unresolved
no resolver link, observed 2026-08-15T16:31:55.067176Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T16:31:55.067176Z digest=sha256:3b2daf9ed1e0cf97fffb0c0a8738f36662a9c1671578ee8f656d229451e67add