Paper Citation Record · LEDGER

Towards Stable and Efficient Training of Verifiably Robust Neural Networks

As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 11 inbound Pith citation observations for arXiv:1906.06316.

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

pith.paper-citation-record.v1
1906.06316 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 11 of 11 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 11 of 11 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T01:07:51.157776Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-06-29T22:13:59.827170Z

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 d2701931-d100-4a43-b797-951253a0b1b7 · inbound

Towards Generalized Certified Robustness with Multi-Norm Training cites this paper.

Towards Generalized Certified Robustness with Multi-Norm Training Towards Stable and Efficient Training of Verifiably Robust Neural Networks

Reference 56

Resolution: verified exact; arxiv_id, observed 2026-05-23T20:03:24.456677Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6f3ce5a2-2d51-4d41-a385-802616195dbb · inbound

Compression Aware Certified Training cites this paper.

Compression Aware Certified Training Towards Stable and Efficient Training of Verifiably Robust Neural Networks

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:51.157776Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e026bc7-219d-48e8-8936-3668d2e2f9ba · inbound

TriGuard: Testing Model Safety with Attribution Entropy, Verification, and Drift cites this paper.

TriGuard: Testing Model Safety with Attribution Entropy, Verification, and Drift Towards Stable and Efficient Training of Verifiably Robust Neural Networks

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T00:23:55.459642Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbbe465d-e3a9-4791-bc59-af40ec400c53 · inbound

Robustifying Diffusion-Denoised Smoothing Against Covariate Shift cites this paper.

Robustifying Diffusion-Denoised Smoothing Against Covariate Shift Towards Stable and Efficient Training of Verifiably Robust Neural Networks

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-04T17:30:02.302865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b18e55a9-c1e6-4b9c-abc1-cfdbc0311c1b · inbound

SAIL: Sound Abstract Interpreters with LLMs cites this paper.

SAIL: Sound Abstract Interpreters with LLMs Towards Stable and Efficient Training of Verifiably Robust Neural Networks

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-03T21:50:15.820172Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff0a7ba3-3427-4c78-8391-8a557d6b44fd · inbound

On the Extreme Variance of Certified Local Robustness Across Model Seeds cites this paper.

On the Extreme Variance of Certified Local Robustness Across Model Seeds Towards Stable and Efficient Training of Verifiably Robust Neural Networks

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-05-16T12:57:54.073561Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 0e287e2d-522c-44f9-a7b8-d62ba9459f2a · inbound

Learning to Optimize by Differentiable Programming cites this paper.

Learning to Optimize by Differentiable Programming Towards Stable and Efficient Training of Verifiably Robust Neural Networks

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-03T08:39:46.309784Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9178336a-3e82-4db0-96ab-7cd74364f1f9 · inbound

Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations cites this paper.

Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations Towards Stable and Efficient Training of Verifiably Robust Neural Networks

Reference 43

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T03:05:53.057100Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6ad4d507-469e-499c-a643-1add21e0f431 · inbound

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers cites this paper.

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers Towards Stable and Efficient Training of Verifiably Robust Neural Networks

Reference 70

Resolution: verified exact; arxiv_id, observed 2026-06-29T22:13:59.829575Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 252d9504-ece1-4166-a74d-eb42da363833 · inbound

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial cites this paper.

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial Towards Stable and Efficient Training of Verifiably Robust Neural Networks

Reference 99

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:23:39.365407Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2072c42f-330d-41b3-b122-b5707e950865 · inbound

Certified Training for Convolutional Perturbations cites this paper.

Certified Training for Convolutional Perturbations Towards Stable and Efficient Training of Verifiably Robust Neural Networks

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-01T15:48:14.171431Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.