Paper Citation Record · LEDGER

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

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

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

pith.paper-citation-record.v1
2212.10376 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 8 of 8 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 8 of 8 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T00:44:03.129488Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

28
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 3f0b95e3-04db-43e9-9b1d-6870c49e6c2c · inbound

Position: Certified Robustness Does Not (Yet) Imply Model Security cites this paper.

Position: Certified Robustness Does Not (Yet) Imply Model Security The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-07T00:44:03.129488Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a4a9049-a355-4f78-a263-b974bec88754 · 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 The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

Reference 34

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27ff35f6-6ebb-4856-ba7b-c62815747ffe · inbound

Analyzing Symbolic Properties for DRL Agents in Systems and Networking cites this paper.

Analyzing Symbolic Properties for DRL Agents in Systems and Networking The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

Reference 43

Resolution: verified exact; arxiv_id, observed 2026-05-11T00:10:51.220717Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ee6d7089-9b7b-4012-a447-6e088d92f2f9 · inbound

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

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

Reference 97

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation e8ded354-4a8b-4f63-84a3-1eb4877f7c68 · inbound

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

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

Reference 97

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ea37b0f6-4de1-4afe-b65e-fd1a8cf8662d · 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 Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

Reference 4

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d1c7426a-55c6-4d58-8c20-bb2137be203e · inbound

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

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

Reference 34

Resolution: verified exact; arxiv_id, observed 2026-07-04T03:39:29.730825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0f76bff9-0b22-4059-b292-21ca6ec4c09e · inbound

A Survey on the Verification of Reinforcement Learning Policies cites this paper.

A Survey on the Verification of Reinforcement Learning Policies The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-02T14:02:55.508412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.