Paper Citation Record · LEDGER

Neural Network Verification with Branch-and-Bound for General Nonlinearities

As of 21 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 14 inbound Pith citation observations for arXiv:2405.21063.

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

pith.paper-citation-record.v1
2405.21063 v3

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 14 of 14 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00

measured 14 of 14 inbound itemization

Pith citing papers itemized under the disclosed page cap.

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

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

2
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 50dbaa31-970b-4b29-be9d-af88e86261e9 · inbound

Neural Network Certification Informed Power System Transient Stability Preventive Control with Renewable Energy cites this paper.

Neural Network Certification Informed Power System Transient Stability Preventive Control with Renewable Energy Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-12T21:49:28.062163Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3997a737-b5f7-4432-bec5-697ddf596016 · inbound

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report cites this paper.

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-12T15:31:53.367014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 409016e3-97dc-45a7-ba12-a15eb4dcf128 · inbound

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control cites this paper.

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-23T16:43:11.457148Z

Source-reported events for the cited work

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

Observation 5f2b1eb7-cca3-4c92-b769-4b8b37409c78 · inbound

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

Learning Ensembles of Vision-based Safety Control Filters Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 37

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b7010ce-904a-4c60-8055-0466513b2f37 · inbound

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results cites this paper.

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-10T23:46:42.192595Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 754be986-f506-4ff6-9ca1-f767c5a94198 · inbound

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

A General Framework for Property-Driven Machine Learning Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 58

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab3f89a2-019c-4dfe-b720-6f42759e598f · inbound

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

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 34

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d631dc46-40b4-4e3b-aec4-aaaff1299cb4 · 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 Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-06T14:54:44.260070Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d035957b-3704-40da-9fd8-b719f80e7090 · inbound

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision cites this paper.

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T11:37:01.768386Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51a7b209-9a09-44a2-a23a-354b30e11f41 · inbound

Lipschitz-Based Robustness Certification Under Floating-Point Execution cites this paper.

Lipschitz-Based Robustness Certification Under Floating-Point Execution Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-15T14:07:56.936206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6febac0b-1be7-4f5b-9b7f-8ade59e51231 · inbound

Lipschitz-Based Robustness Certification Under Floating-Point Execution cites this paper.

Lipschitz-Based Robustness Certification Under Floating-Point Execution Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-02T18:47:59.435482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5522124-4ff4-48cd-9dd5-d8742973c42c · inbound

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

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 108

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

Source-reported events for the cited work

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

Observation 658030a6-7fad-439b-a52e-ab80bf4c9310 · inbound

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

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 108

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

Source-reported events for the cited work

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

Observation be345417-296e-498a-b8c4-046135a12db7 · inbound

Neural Network Verification using Partial Multi-Neuron Relaxation cites this paper.

Neural Network Verification using Partial Multi-Neuron Relaxation Neural Network Verification with Branch-and-Bound for General Nonlinearities

Reference 38

Resolution: verified exact; arxiv_id, observed 2026-06-29T00:02:49.697310Z

Source-reported events for the cited work

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