Paper Citation Record · LEDGER

Branch and Bound for Relational Verification of Neural Networks

As of 18 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 0 inbound Pith citation observations for arXiv:2608.13118.

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

pith.paper-citation-record.v1
2608.13118 v1

Coverage vector

measured 48 of 48 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T16:31:55.118164Z

measured 48 of 48 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

48 of 48 outbound references displayed

verified exact1
verified fuzzy38
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e9334d9e-b530-48c2-8a76-c942ac2d68eb · outbound

This paper cites Evasion attacks against machine learning at test time,.

Branch and Bound for Relational Verification of Neural Networks Evasion attacks against machine learning at test time,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.610682Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation fe747551-1c6a-4173-8ddd-37e1195e4768 · outbound

This paper cites Explaining and harnessing adversarial examples,.

Branch and Bound for Relational Verification of Neural Networks Explaining and harnessing adversarial examples,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.598901Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a1e39e57-e6f2-4c5d-9016-c623e19d5632 · outbound

This paper cites Reluplex: An efficient SMT solver for verifying deep neural networks,.

Branch and Bound for Relational Verification of Neural Networks Reluplex: An efficient SMT solver for verifying deep neural networks,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.587084Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ea9098c7-b99b-49c3-b806-02862cf0a213 · outbound

This paper cites Safety verification of deep neural networks,.

Branch and Bound for Relational Verification of Neural Networks Safety verification of deep neural networks,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.576114Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4fd497b2-b792-48dd-b676-2bb1edcbe774 · outbound

This paper cites Deepsplit: An efficient splitting method for neural network verification via indirect effect analysis.

Branch and Bound for Relational Verification of Neural Networks Deepsplit: An efficient splitting method for neural network verification via indirect effect analysis

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.564946Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7335ca11-5804-40c8-aaa2-b8bb46364c74 · outbound

This paper cites An abstract domain for certifying neural networks,.

Branch and Bound for Relational Verification of Neural Networks An abstract domain for certifying neural networks,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.554481Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation aa311fdf-757b-48ff-9fd1-eb9b0ab0a88f · outbound

This paper cites Branch and bound for piecewise linear neural network verification,.

Branch and Bound for Relational Verification of Neural Networks Branch and bound for piecewise linear neural network verification,

Reference 7

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03941f4f-f59c-474d-a8b4-51d326b03937 · outbound

This paper cites Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification,.

Branch and Bound for Relational Verification of Neural Networks Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.537899Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2c2a3e20-85ef-4b1a-9879-2dd24c119102 · outbound

This paper cites Fast and effective robustness certification,.

Branch and Bound for Relational Verification of Neural Networks Fast and effective robustness certification,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.527092Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1f263552-1ac7-4c84-a4dc-da412eb798fe · outbound

This paper cites Falsifai: Falsification of ai-enabled hybrid control systems guided by time-aware coverage criteria,.

Branch and Bound for Relational Verification of Neural Networks Falsifai: Falsification of ai-enabled hybrid control systems guided by time-aware coverage criteria,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.517270Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bca5a502-da7f-4871-a429-8630e56f1ee6 · outbound

This paper cites Efficient global robustness certifi- cation of neural networks via interleaving twin-network encoding,.

Branch and Bound for Relational Verification of Neural Networks Efficient global robustness certifi- cation of neural networks via interleaving twin-network encoding,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.507227Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation cffa7bb9-1380-4b83-8385-1e96c96969d9 · outbound

This paper cites Input-relational verification of deep neural networks,.

Branch and Bound for Relational Verification of Neural Networks Input-relational verification of deep neural networks,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.496965Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

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

This paper cites Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition.

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.

Observation b44b11cb-dbcc-4c8f-a51e-8c1ca9bddf70 · outbound

This paper cites Neural network verification with branch-and-bound for general nonlinearities,.

Branch and Bound for Relational Verification of Neural Networks Neural network verification with branch-and-bound for general nonlinearities,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.486645Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6e93713e-353f-447f-b8fc-b163576ccbb4 · outbound

This paper cites Neural Network Branching for Neural Network Verification.

Branch and Bound for Relational Verification of Neural Networks Neural Network Branching for Neural Network Verification

Reference 15

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9196a315-4259-4f3d-81d7-bd1ae86ed978 · outbound

This paper cites Complete verification via multi-neuron relaxation guided branch-and-bound,.

Branch and Bound for Relational Verification of Neural Networks Complete verification via multi-neuron relaxation guided branch-and-bound,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.476368Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1f506a87-f480-49b7-a67b-0a6117e00453 · outbound

This paper cites Relational verification leaps forward with RABBit,.

Branch and Bound for Relational Verification of Neural Networks Relational verification leaps forward with RABBit,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.465345Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 20129d2f-c68c-44ad-b94b-36c46a4986e2 · outbound

This paper cites Algorithms for verifying deep neural networks,.

Branch and Bound for Relational Verification of Neural Networks Algorithms for verifying deep neural networks,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.455273Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2426b50c-6691-46d3-adca-d68c1bf71bce · outbound

This paper cites Improving neural network verification through spurious region guided refinement,.

Branch and Bound for Relational Verification of Neural Networks Improving neural network verification through spurious region guided refinement,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.445251Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 14a79e80-cb79-40a6-922d-9f2cc6de204d · outbound

This paper cites Optimization and abstraction: a synergistic approach for analyzing neural network robustness,.

Branch and Bound for Relational Verification of Neural Networks Optimization and abstraction: a synergistic approach for analyzing neural network robustness,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.434509Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation dc31cdc8-00f6-444f-84ae-542524cd0c0c · outbound

This paper cites Cleverest: accelerating cegar-based neural network verification via adversarial attacks,.

Branch and Bound for Relational Verification of Neural Networks Cleverest: accelerating cegar-based neural network verification via adversarial attacks,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.423475Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a60bff34-5411-427a-b835-71d058d62cad · outbound

This paper cites Hyperproperties,.

Branch and Bound for Relational Verification of Neural Networks Hyperproperties,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.413050Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation eb32c99f-b83c-45c6-b241-1d947ffffb58 · outbound

This paper cites Deepgemini: verifying dependency fairness for deep neural network,.

Branch and Bound for Relational Verification of Neural Networks Deepgemini: verifying dependency fairness for deep neural network,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.402211Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 9a5bb3a8-b1e8-4f92-ac74-414f6fc2854c · outbound

This paper cites Provable defenses against adversarial examples via the convex outer adversarial polytope,.

Branch and Bound for Relational Verification of Neural Networks Provable defenses against adversarial examples via the convex outer adversarial polytope,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.392425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 05f191f3-2946-4a56-ac8f-c9203a4cbb0b · outbound

This paper cites Artifact for the paper “Branch and Bound for Relational Verification of Neural Networks.

Branch and Bound for Relational Verification of Neural Networks Artifact for the paper “Branch and Bound for Relational Verification of Neural Networks

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.382505Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 22c75061-35a6-4489-bc57-6c15a04f271e · outbound

This paper cites Gurobi Optimizer Reference Manual,.

Branch and Bound for Relational Verification of Neural Networks Gurobi Optimizer Reference Manual,

Reference 26

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f708b52-28ca-474e-9a61-b99e9d961798 · outbound

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

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

Reference 27

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ecc3607-f2de-4eb2-86ff-311e2f5e2dc6 · outbound

This paper cites Cohen,Statistical power analysis for the behavioral sciences.

Branch and Bound for Relational Verification of Neural Networks Cohen,Statistical power analysis for the behavioral sciences

Reference 28

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae26bcea-bc2f-40ff-86a6-302f1c61f439 · outbound

This paper cites Evaluating robustness of neural networks with mixed integer programming,.

Branch and Bound for Relational Verification of Neural Networks Evaluating robustness of neural networks with mixed integer programming,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.355221Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ccf13dff-dc77-4a9e-8275-cf6219bcc319 · outbound

This paper cites Formal verification of piece-wise linear feed-forward neural networks,.

Branch and Bound for Relational Verification of Neural Networks Formal verification of piece-wise linear feed-forward neural networks,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.344848Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

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

This paper cites Scaling Polyhedral Neural Network Verification on GPUs.

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.

Observation 9e5082b2-61aa-4929-b7c0-3d9103c7f7e6 · outbound

This paper cites Efficient formal safety analysis of neural networks,.

Branch and Bound for Relational Verification of Neural Networks Efficient formal safety analysis of neural networks,

Reference 32

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8dd08cdd-4807-4464-8b88-e3192311bbf9 · outbound

This paper cites Efficiently computing local lipschitz constants of neural networks via bound prop- agation,.

Branch and Bound for Relational Verification of Neural Networks Efficiently computing local lipschitz constants of neural networks via bound prop- agation,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.328528Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d80c5a91-c0f7-43ae-98d0-6c9b9d368a9c · outbound

This paper cites Strong convex relaxations and mixed-integer programming formulations for trained neural networks (2018),.

Branch and Bound for Relational Verification of Neural Networks Strong convex relaxations and mixed-integer programming formulations for trained neural networks (2018),

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.319029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f8989998-b535-4831-aade-577033300122 · outbound

This paper cites The convex relaxation barrier, revisited: Tightened single- neuron relaxations for neural network verification,.

Branch and Bound for Relational Verification of Neural Networks The convex relaxation barrier, revisited: Tightened single- neuron relaxations for neural network verification,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.309031Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 3125565a-4c65-47c5-ab94-72c9cf3f9dee · outbound

This paper cites Beyond the single neuron convex barrier for neural network certification,.

Branch and Bound for Relational Verification of Neural Networks Beyond the single neuron convex barrier for neural network certification,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.299496Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 44321bab-411c-4ba2-9334-ea5fbe34f64b · outbound

This paper cites Prima: general and precise neural network certification via scalable convex hull approximations,.

Branch and Bound for Relational Verification of Neural Networks Prima: general and precise neural network certification via scalable convex hull approximations,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.289748Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 710ee02f-e787-4de4-bd7d-adbd41d2c224 · outbound

This paper cites Semidefinite relaxations for certifying robustness to adversarial examples,.

Branch and Bound for Relational Verification of Neural Networks Semidefinite relaxations for certifying robustness to adversarial examples,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.280384Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b4290dc1-c857-471d-97ba-1f3546067c0f · outbound

This paper cites Relational dnn verification with cross executional bound refinement,.

Branch and Bound for Relational Verification of Neural Networks Relational dnn verification with cross executional bound refinement,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.270406Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation c3ca0de2-cbc9-4121-a3c5-497d6a81cc5c · outbound

This paper cites Neurodiff: scalable differ- ential verification of neural networks using fine-grained approximation,.

Branch and Bound for Relational Verification of Neural Networks Neurodiff: scalable differ- ential verification of neural networks using fine-grained approximation,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.260614Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 259c6c8f-2a8d-439a-8e61-9bdb98c4f497 · outbound

This paper cites Reludiff: Differential verification of deep neural networks,.

Branch and Bound for Relational Verification of Neural Networks Reludiff: Differential verification of deep neural networks,

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.250331Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 5093f959-154b-48b6-9816-feca748bb436 · outbound

This paper cites Revisiting differential verification: Equivalence verification with confidence,.

Branch and Bound for Relational Verification of Neural Networks Revisiting differential verification: Equivalence verification with confidence,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.239529Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 62c36e24-084b-4558-93ee-9dc661475df3 · outbound

This paper cites Shared certificates for neural network verification,.

Branch and Bound for Relational Verification of Neural Networks Shared certificates for neural network verification,

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.229404Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 66d81cc9-3f45-4b66-b190-d59fd6a92987 · outbound

This paper cites Proof transfer for fast certifica- tion of multiple approximate neural networks,.

Branch and Bound for Relational Verification of Neural Networks Proof transfer for fast certifica- tion of multiple approximate neural networks,

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.218818Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bce28aa3-e971-47b2-b3f5-b9f1513e44d7 · outbound

This paper cites Incremental verification of neural networks,.

Branch and Bound for Relational Verification of Neural Networks Incremental verification of neural networks,

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.207686Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6cb6f49e-c725-4ee8-b6f3-b91993376c75 · outbound

This paper cites Efficient incremental verification of neural networks guided by coun- terexample potentiality,.

Branch and Bound for Relational Verification of Neural Networks Efficient incremental verification of neural networks guided by coun- terexample potentiality,

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T16:31:55.196733Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d07cb244-9aed-4cb1-b635-98e53d5c9b37 · outbound

This paper cites Available: https://www.gurobi.com.

Branch and Bound for Relational Verification of Neural Networks Available: https://www.gurobi.com

Reference 2023

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa54cd1c-305d-4b5d-a50d-bf49149d704a · outbound

This paper cites Available: https://doi.org/10.5281/zenodo.21536550.

Branch and Bound for Relational Verification of Neural Networks Available: https://doi.org/10.5281/zenodo.21536550

Reference 2026

Resolution: verified exact; doi, observed 2026-08-15T16:31:55.148839Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Pith citing papers

No inbound Pith citation observations are available.