Paper Citation Record · LEDGER

Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

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

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

pith.paper-citation-record.v1
2104.06718 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 10 of 10 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 10 of 10 inbound itemization

Pith citing papers itemized under the disclosed page cap.

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

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-03T10:07:55.786931Z

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 b941eae5-2021-43d6-9276-855ae932927e · inbound

BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics cites this paper.

BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-11T16:57:34.138511Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b0f6ecb-b834-44a4-b2d2-be8b578064ba · inbound

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

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

Reference 15

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 024baced-ad56-48f9-aaf9-e4d28adf75fe · 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 Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

Reference 11

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c919df03-248c-48e4-accb-55d306fe93ee · inbound

Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification cites this paper.

Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T11:04:59.538322Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d504316d-5301-4c71-8023-7be006c713b6 · inbound

Faster Verified Explanations for Neural Networks cites this paper.

Faster Verified Explanations for Neural Networks Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

Reference 5

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b7cfa4bf-4616-4454-93c9-0f2c2f34b5db · inbound

IoUCert: Robustness Verification for Anchor-based Object Detectors cites this paper.

IoUCert: Robustness Verification for Anchor-based Object Detectors Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T19:17:08.510534Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ff28550-66a6-4a22-b8cf-eb5e525b07df · inbound

Robustness Verification of Recurrent Neural Networks with Abstraction Refinement cites this paper.

Robustness Verification of Recurrent Neural Networks with Abstraction Refinement Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

Reference 26

Resolution: verified exact; arxiv_id, observed 2026-07-03T10:07:55.788358Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 258d3cb9-e43d-42ad-a4c8-7e870b446953 · inbound

Certified Training for Convolutional Perturbations cites this paper.

Certified Training for Convolutional Perturbations Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

Reference 7

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48e319a8-17b7-4dfb-89ed-5746860dac22 · inbound

Mining Verdict Boundaries for Neural Network Verification cites this paper.

Mining Verdict Boundaries for Neural Network Verification Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T16:43:38.046439Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3185a667-871f-4408-815f-e46a987f60b3 · inbound

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

Branch and Bound for Relational Verification of Neural Networks Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

Reference 13

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.