Paper Citation Record · LEDGER

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

As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 20 inbound Pith citation observations for arXiv:2412.19985.

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

pith.paper-citation-record.v1
2412.19985 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

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

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T06:07:52.141476Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-10T06:15:00.866473Z

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 245119e4-4b6e-47cc-b4a7-4c84799b2f55 · inbound

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming cites this paper.

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T06:07:52.141476Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7caee1c-ab5a-4df4-89da-b7922f5f0070 · inbound

Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification cites this paper.

Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:59.970837Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfd3aa81-6861-4e73-924b-e3fbb248d9ab · inbound

Efficient Certified Reasoning for Binarized Neural Networks cites this paper.

Efficient Certified Reasoning for Binarized Neural Networks The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T22:55:08.135713Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fccdc5f-0fb5-4861-a579-6f19c07f34f8 · 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 The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 64

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37f73ada-51c7-4417-bada-cf13ceb45a0e · inbound

SAIL: Sound Abstract Interpreters with LLMs cites this paper.

SAIL: Sound Abstract Interpreters with LLMs The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T21:50:15.576772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a1217d6-b45d-4437-bc00-050519d95895 · inbound

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification cites this paper.

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T17:06:48.445732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed3e6dfe-c932-42ee-b003-a3db41677e95 · inbound

Synthesis and Verification of Transformer Programs (Technical Report) cites this paper.

Synthesis and Verification of Transformer Programs (Technical Report) The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-05-21T13:00:09.992608Z

Source-reported events for the cited work

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

Observation dc87308d-4288-4ed2-980a-257d92456704 · inbound

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

IoUCert: Robustness Verification for Anchor-based Object Detectors The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 10

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8d02b89-a16c-4826-810f-529051e0c881 · inbound

The Luna Bound Propagator for Formal Analysis of Neural Networks cites this paper.

The Luna Bound Propagator for Formal Analysis of Neural Networks The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 3

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T00:58:25.506277Z

Source-reported events for the cited work

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

Observation dc391c81-0634-4ea8-a345-7b3b787e07d4 · inbound

Certified geometric robustness -- Super-DeepG cites this paper.

Certified geometric robustness -- Super-DeepG The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-05-11T22:06:14.808357Z

Source-reported events for the cited work

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

Observation f1176308-0f33-4972-af1b-aa62a9032d0b · inbound

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

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 19

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

Source-reported events for the cited work

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

Observation eb39b6d7-53dc-4156-9119-644831743f28 · inbound

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

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 19

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

Source-reported events for the cited work

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

Observation 1d1b9ad9-1d67-4571-8d24-74a077b21cf1 · inbound

Viverra: Text-to-Code with Guarantees cites this paper.

Viverra: Text-to-Code with Guarantees The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 57

Resolution: metadata mismatch; arxiv_id, observed 2026-05-15T03:19:44.260279Z

Source-reported events for the cited work

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

Observation 557e1721-f3dc-48ba-8142-2c13459bbfea · inbound

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers cites this paper.

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 6

Resolution: metadata mismatch; arxiv_id, observed 2026-06-29T22:13:59.864902Z

Source-reported events for the cited work

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

Observation 33d1aa0e-471d-42f0-906d-bc0f4b58978e · inbound

The Complexity of Verifying Feedforward Neural Networks in Quantised Settings cites this paper.

The Complexity of Verifying Feedforward Neural Networks in Quantised Settings The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-06-29T00:12:49.986785Z

Source-reported events for the cited work

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

Observation 1cb5f54e-491a-4107-8f3a-2695de25e30c · 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 The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 7

Resolution: metadata mismatch; arxiv_id, observed 2026-07-03T00:17:29.231293Z

Source-reported events for the cited work

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

Observation 09ce9bbc-636d-47a0-a67c-f7fc1c0df3fc · inbound

Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study) cites this paper.

Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study) The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-07-04T02:59:25.895098Z

Source-reported events for the cited work

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

Observation d7a0d94a-7ed6-409f-8fb2-bb9f5e0ce5fb · inbound

Shifting-based Optimizable Linear Relaxations for General Activation Functions cites this paper.

Shifting-based Optimizable Linear Relaxations for General Activation Functions The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 36

Resolution: metadata mismatch; arxiv_id, observed 2026-07-04T03:39:29.748325Z

Source-reported events for the cited work

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

Observation 275828b3-e35c-4283-9efe-6e28a943e025 · inbound

Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks cites this paper.

Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-06-25T22:38:32.930776Z

Source-reported events for the cited work

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

Observation 49e9e3be-fae3-45f2-8ccb-80cc01102ef0 · inbound

Learning Lookahead Lemmas for Neural Network Verification cites this paper.

Learning Lookahead Lemmas for Neural Network Verification The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 4

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.