Paper Citation Record · LEDGER

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

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

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

pith.paper-citation-record.v1
2312.16760 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

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

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T00:43:54.903149Z

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

9
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 b189dd80-5ad6-4fd1-85fb-97f93a9c2fe7 · inbound

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

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

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T00:43:54.903149Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccf14abb-4368-468a-8a54-7482bef97ed5 · 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 Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results

Reference 8

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

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 76a8e3e8-e37a-4bbd-a4a0-fc7f316b41f0 · inbound

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

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

Reference 21

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

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 24b311b0-9138-4e82-a76e-043c02017e40 · inbound

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

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

Reference 21

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

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 726f3744-ea44-41de-b863-0f52cb2a694f · inbound

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

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

Reference 58

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

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 3540f83e-8265-4997-a307-e614314a56a1 · 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 Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results

Reference 5

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

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 edc363e0-8d03-4596-9325-786355cd8c39 · inbound

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

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

Reference 35

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

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 59233193-e98d-450a-9add-ccb3a88c43bc · inbound

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

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

Reference 94

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59aa38d0-ebed-43d7-9f76-ab8a1bdc3de8 · inbound

Mining Verdict Boundaries for Neural Network Verification cites this paper.

Mining Verdict Boundaries for Neural Network Verification The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T16:43:37.529936Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b8cfc58-f714-4007-9542-8bb9d1ef693f · inbound

Learning Lookahead Lemmas for Neural Network Verification cites this paper.

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

Reference 5

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.