Paper Citation Record · LEDGER

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation

As of 18 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 1 inbound Pith citation observation for arXiv:2505.05235.

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

pith.paper-citation-record.v1
2505.05235 v1

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T23:19:00.656460Z

measured 29 of 29 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-27T17:20:04.247977Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-03T00:17:29.216079Z

Reference resolution

28 of 28 outbound references displayed

verified exact0
verified fuzzy18
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 076be446-dd22-4f61-be00-8cdb4576d674 · outbound

This paper cites An Introduction to Convolutional Neural Networks.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation An Introduction to Convolutional Neural Networks

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T23:19:00.549397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5335428-e600-46fe-8f8f-c83bda9165d7 · outbound

This paper cites Constrained reinforcement learning and formal verification for safe colonoscopy navigation.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Constrained reinforcement learning and formal verification for safe colonoscopy navigation

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:01.011226Z

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 6dcae021-aa07-435e-85ec-38fa558f959f · outbound

This paper cites an unresolved cited work.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-15T23:19:00.996687Z

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 e333a7bd-79eb-4c10-a02e-cea2227589a9 · outbound

This paper cites Curriculum learning for safe mapless navigation.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Curriculum learning for safe mapless navigation

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.973147Z

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 09a88a6e-84a7-446b-8ff3-a468999ec437 · outbound

This paper cites Intriguing properties of neural networks.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Intriguing properties of neural networks

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T23:19:00.565901Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf836509-d41c-437f-928a-03ea2a339d0d · outbound

This paper cites Verifying learning-based robotic navigation systems.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Verifying learning-based robotic navigation systems

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.960803Z

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 7d31939e-52eb-4ee9-9fa7-8cdd127938a0 · outbound

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

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Reluplex: An efficient smt solver for verifying deep neural networks

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.948112Z

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 b9249a0d-fe2c-49f3-a0bb-d106cdedff77 · outbound

This paper cites An abstract domain for certifying neural networks.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation An abstract domain for certifying neural networks

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.936529Z

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 4dc70e95-c4a6-4e72-93eb-8a3be49cad17 · outbound

This paper cites Algorithms for verifying deep neural networks.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Algorithms for verifying deep neural networks

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.924876Z

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 c420bb1c-5b50-438a-a113-c26cac2a26f5 · outbound

This paper cites Cousot and R.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Cousot and R

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.913398Z

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 7bb55858-86d6-4daf-bb04-3166398f137e · outbound

This paper cites Ai2: Safety and robustness certification of neural networks with abstract interpretation.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Ai2: Safety and robustness certification of neural networks with abstract interpretation

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.901954Z

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 1f52444a-5c60-46df-8123-afd7e1a6ba55 · outbound

This paper cites Efficient neural network robustness certification with general activation functions.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Efficient neural network robustness certification with general activation functions

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T23:19:00.592466Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32e4a1ac-c115-448f-b2ea-c12e1705d74b · outbound

This paper cites Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-15T23:19:00.596042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4168f149-29c0-48e9-a826-b34017a63b8a · outbound

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

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.882796Z

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 0fc3b7fe-00dd-4eea-a9d8-3f804e253d13 · outbound

This paper cites ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T23:19:00.604394Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation feb1f489-0219-4999-bd25-559979c88425 · outbound

This paper cites Formal security analysis of neural networks using symbolic intervals.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Formal security analysis of neural networks using symbolic intervals

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.869085Z

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 7ccfa7eb-a52a-45d8-b90e-b8e9daa87e17 · outbound

This paper cites A unified view of piecewise linear neural network verification.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation A unified view of piecewise linear neural network verification

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.856937Z

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 b0f335ec-6481-4324-b95a-30f30ffeab35 · outbound

This paper cites Habitat 2.0: Training home assistants to rearrange their habitat.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Habitat 2.0: Training home assistants to rearrange their habitat

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T23:19:00.616651Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f474b4d4-1ddd-4a80-adcf-127732094d84 · outbound

This paper cites Habitat: A Platform for Embodied AI Research.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Habitat: A Platform for Embodied AI Research

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.838536Z

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 52cca736-cab3-4e62-a14a-3ffd7481d790 · outbound

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

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T23:19:00.623827Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f9e09f7-c0f3-4c7d-ac08-1f758cd2dcf9 · outbound

This paper cites Learning multiple layers of features from tiny images.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Learning multiple layers of features from tiny images

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T23:19:00.628195Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8784581e-7a86-402c-9378-a75c5fcef0a3 · outbound

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

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Complete verification via multi-neuron relaxation guided branch-and-bound

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.819834Z

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 0d2c4014-94b7-41e8-ad3b-31bdbb890e18 · outbound

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

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Branch and bound for piecewise linear neural network verification

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.805829Z

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 85f88632-afe4-4c30-9fa3-2485620f15f6 · outbound

This paper cites Adversities in abstract interpretation-accommodating robustness by abstract interpretation.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Adversities in abstract interpretation-accommodating robustness by abstract interpretation

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.793852Z

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 79ce5ec4-4d97-4cf6-a175-1f6f7b3088f4 · outbound

This paper cites Enumerating safe regions in deep neural networks with provable probabilistic guarantees.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Enumerating safe regions in deep neural networks with provable probabilistic guarantees

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.781428Z

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 1b67f591-93c1-47d5-96b0-3300eecf1be8 · outbound

This paper cites The #dnn-verification problem: Counting unsafe inputs for deep neural networks.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation The #dnn-verification problem: Counting unsafe inputs for deep neural networks

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.768878Z

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 df7b7835-8839-46cd-85bf-9a0c71ac955d · outbound

This paper cites Natural light can also be dangerous: Traffic sign misinterpretation under adversarial natural light attacks.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation Natural light can also be dangerous: Traffic sign misinterpretation under adversarial natural light attacks

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:19:00.756232Z

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 974d8823-52de-495b-b753-5f9226fbe1b9 · outbound

This paper cites An approach to reachability analysis for feed-forward ReLU neural networks.

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation An approach to reachability analysis for feed-forward ReLU neural networks

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-15T23:19:00.656460Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 135482d7-66aa-413f-b007-5760beae3e81 · inbound

Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism cites this paper.

Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-07-03T00:17:29.217809Z

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.