Paper Citation Record · LEDGER

Lookahead Branching for Neural Network Verification

As of 9 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 1 inbound Pith citation observation for arXiv:2607.17290.

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

pith.paper-citation-record.v1
2607.17290 v1

Coverage vector

measured 21 of 21 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T18:33:09.984579Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

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

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-03T14:41:46.348287Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

21 of 21 outbound references displayed

verified exact0
verified fuzzy0
unresolved21
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 16f2a40b-890c-45e1-b3f9-27f1b754ee63 · outbound

This paper cites Branch and bound for piecewise linear neural network verification.Journal of Machine Learning Research, 21(42):1–39,.

Lookahead Branching for Neural Network Verification Branch and bound for piecewise linear neural network verification.Journal of Machine Learning Research, 21(42):1–39,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:07.297588Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5893956e-e1a6-4ec2-aa1c-828ba756c787 · outbound

This paper cites Playing Atari with Deep Reinforcement Learning.

Lookahead Branching for Neural Network Verification Playing Atari with Deep Reinforcement Learning

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:08.378098Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3863884-215d-4777-84e2-55d36b8473f0 · outbound

This paper cites Neural net- work verification with branch-and-bound for general non- linearities.

Lookahead Branching for Neural Network Verification Neural net- work verification with branch-and-bound for general non- linearities

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:08.653818Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0315e125-c372-4133-9d25-338d908ad843 · outbound

This paper cites an unresolved cited work.

Lookahead Branching for Neural Network Verification Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:08.894433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db3e512f-c763-4121-bddf-86a6690e2fe6 · outbound

This paper cites Parallelization techniques for verifying neural networks.

Lookahead Branching for Neural Network Verification Parallelization techniques for verifying neural networks

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:09.069582Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 936868bc-e77f-401c-a53a-8919c567b2fe · outbound

This paper cites Efficient neural network analysis with sum-of-infeasibilities.

Lookahead Branching for Neural Network Verification Efficient neural network analysis with sum-of-infeasibilities

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:09.216759Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ccef03b-bf71-45a0-82b9-e8e633e39f10 · outbound

This paper cites Fast and Complete: Enabling complete neural network verifica- tion with rapid and massively parallel incomplete verifiers.

Lookahead Branching for Neural Network Verification Fast and Complete: Enabling complete neural network verifica- tion with rapid and massively parallel incomplete verifiers

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:09.447339Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5bda7b3-440f-48ed-8406-0ccb9b148f9a · outbound

This paper cites Efficient neu- ral network robustness certification with general activa- tion functions.Advances in Neural Information Process- ing Systems, 31:4939–4948,.

Lookahead Branching for Neural Network Verification Efficient neu- ral network robustness certification with general activa- tion functions.Advances in Neural Information Process- ing Systems, 31:4939–4948,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:09.618663Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3fb8b28c-716d-4b1a-ac92-27499dc05bd0 · outbound

This paper cites Scalable neural net- work verification with branch-and-bound inferred cutting planes.

Lookahead Branching for Neural Network Verification Scalable neural net- work verification with branch-and-bound inferred cutting planes

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:09.822304Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d968a23-7013-4fa4-921b-10860119438b · outbound

This paper cites Hanasusanto, and Huan Zhang.

Lookahead Branching for Neural Network Verification Hanasusanto, and Huan Zhang

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:09.984579Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02bae840-fb27-42c3-a065-c6542b75ab1b · outbound

This paper cites Delving deep into rectifiers: Surpass- ing human-level performance on imagenet classification.

Lookahead Branching for Neural Network Verification Delving deep into rectifiers: Surpass- ing human-level performance on imagenet classification

Reference 2006

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:07.939453Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00c10090-a4fa-4d45-9f03-b244f668feb3 · outbound

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

Lookahead Branching for Neural Network Verification Reluplex: An efficient smt solver for verifying deep neural networks

Reference 2009

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:07.971755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3455dd9a-18fd-4ae3-a655-50796db6e928 · outbound

This paper cites Deep Reinforcement Learning framework for Autonomous Driving.

Lookahead Branching for Neural Network Verification Deep Reinforcement Learning framework for Autonomous Driving

Reference 2013

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:08.540488Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3398c2f-52fb-4fa8-b088-803a3c4e1229 · outbound

This paper cites Heule and Hans van Maaren.

Lookahead Branching for Neural Network Verification Heule and Hans van Maaren

Reference 2015

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:07.965628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2273c949-c609-42ac-83b8-321c6a8bc83b · outbound

This paper cites Huang, Duligur Ibel- ing, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zelji ´c, David L.

Lookahead Branching for Neural Network Verification Huang, Duligur Ibel- ing, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zelji ´c, David L

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:08.052637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b95695b-8320-4b4e-b735-0237572bcbd2 · outbound

This paper cites Neural Network Branching for Neural Network Verification.

Lookahead Branching for Neural Network Verification Neural Network Branching for Neural Network Verification

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:08.225944Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbeb0346-049a-47d2-a86d-91ce38de650d · outbound

This paper cites Scal- ing the convex barrier with active sets.

Lookahead Branching for Neural Network Verification Scal- ing the convex barrier with active sets

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:07.520543Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58434ef7-28f5-4fe4-9362-dc49f65d5183 · outbound

This paper cites Lookahead branching for mixed integer programming.

Lookahead Branching for Neural Network Verification Lookahead branching for mixed integer programming

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:07.728110Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0dd0004-9846-444a-85d7-865b6a6d7398 · outbound

This paper cites Marabou 2.0: A versatile formal analyzer of neural networks.

Lookahead Branching for Neural Network Verification Marabou 2.0: A versatile formal analyzer of neural networks

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:09.283433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 631a0315-52ca-4efb-ab65-f869bcfb789a · outbound

This paper cites [Xuet al., 2020 ] Kaidi Xu, Zhouxing Shi, Huan Zhang, Yihan Wang, Kai-Wei Chang, Minlie Huang, Bhavya Kailkhura, Xue Lin, and Cho-Jui Hsieh.

Lookahead Branching for Neural Network Verification [Xuet al., 2020 ] Kaidi Xu, Zhouxing Shi, Huan Zhang, Yihan Wang, Kai-Wei Chang, Minlie Huang, Bhavya Kailkhura, Xue Lin, and Cho-Jui Hsieh

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:09.353257Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a91063a-7255-42e5-b634-651bc3f4cb25 · outbound

This paper cites An abstract domain for cer- tifying neural networks.Proceedings of the ACM on Pro- gramming Languages, 3(POPL):1–30,.

Lookahead Branching for Neural Network Verification An abstract domain for cer- tifying neural networks.Proceedings of the ACM on Pro- gramming Languages, 3(POPL):1–30,

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-01T18:33:08.749423Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 04c93efd-b9dc-4b35-ae41-904c12db718f · inbound

Learning Lookahead Lemmas for Neural Network Verification cites this paper.

Learning Lookahead Lemmas for Neural Network Verification Lookahead Branching for Neural Network Verification

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T14:41:46.348287Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.