Paper Citation Record · LEDGER

TNODEV: Toolbox for Neural ODE Verification

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

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

pith.paper-citation-record.v1
2606.16567 v2

Coverage vector

measured 10 of 10 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-12T13:46:59.730670Z

measured 11 of 11 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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-07-11T19:02:37.598360Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

10 of 10 outbound references displayed

verified exact1
verified fuzzy0
unresolved7
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 967f2dab-701a-473c-a19c-5df6f3413061 · outbound

This paper cites FFJORD: Free-form Continuous Dynamics for Scalable Reversible Generative Models.

TNODEV: Toolbox for Neural ODE Verification FFJORD: Free-form Continuous Dynamics for Scalable Reversible Generative Models

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-12T13:46:59.730670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f56e4dc6-71b0-4ebf-b6ea-857601891dc5 · outbound

This paper cites Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, and Wanwei Liu.

TNODEV: Toolbox for Neural ODE Verification Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, and Wanwei Liu

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-12T13:46:59.730670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6fa7b5a-7e77-4e16-a35f-3977ff2db416 · outbound

This paper cites Zhaozhi Qian, William Zame, Lucas Fleuren, Paul Elbers, and Mihaela van der Schaar.

TNODEV: Toolbox for Neural ODE Verification Zhaozhi Qian, William Zame, Lucas Fleuren, Paul Elbers, and Mihaela van der Schaar

Reference 3

Resolution: malformed identifier; doi_truncated, observed 2026-07-12T13:48:51.018933Z

Source-reported events for the cited work

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

Observation cb7614bb-0839-4a4d-8528-5196d533d47f · outbound

This paper cites Bridging neural ODE and ResNet: A formal error bound for safety verification.

TNODEV: Toolbox for Neural ODE Verification Bridging neural ODE and ResNet: A formal error bound for safety verification

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-12T13:46:59.730670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b89d5d5-7a30-4329-aa5f-8c59fedf1060 · outbound

This paper cites A System description This appendix describes the neural ODE benchmarks used in the experiments, organized by the three model classes introduced in Section.

TNODEV: Toolbox for Neural ODE Verification A System description This appendix describes the neural ODE benchmarks used in the experiments, organized by the three model classes introduced in Section

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-12T13:46:59.730670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17d96703-e90d-44fb-9c3b-340ae10cba79 · outbound

This paper cites We consider two variants from the literature, anonlinearvariant from Chen et al.

TNODEV: Toolbox for Neural ODE Verification We consider two variants from the literature, anonlinearvariant from Chen et al

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-12T13:46:59.730670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34dc55ed-5451-436f-867f-76999e7b47f4 · outbound

This paper cites Since the hidden layer applies no activation, the dynamics reduce to a 2-dimensional linear ODE˙x=Ax+bwithA=W 2W1∈R2×2 andb=W 2b1 +b 2∈R2.

TNODEV: Toolbox for Neural ODE Verification Since the hidden layer applies no activation, the dynamics reduce to a 2-dimensional linear ODE˙x=Ax+bwithA=W 2W1∈R2×2 andb=W 2b1 +b 2∈R2

Reference 7

Resolution: verified exact; doi, observed 2026-07-12T13:48:51.008502Z

Source-reported events for the cited work

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

Observation 219d6454-bff8-4e70-ac61-c437110409ce · outbound

This paper cites The exact values of the weight matrices and bias vectors are loaded from the MATLAB data fileplant_3rd_order_tanh.mat.

TNODEV: Toolbox for Neural ODE Verification The exact values of the weight matrices and bias vectors are loaded from the MATLAB data fileplant_3rd_order_tanh.mat

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-12T13:46:59.730670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 762166db-05fc-4cfc-895c-e0942057ecba · outbound

This paper cites an unresolved cited work.

TNODEV: Toolbox for Neural ODE Verification Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-12T13:46:59.730670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 517d599e-1ee9-4579-9c98-413fecd8490d · outbound

This paper cites an unresolved cited work.

TNODEV: Toolbox for Neural ODE Verification Unresolved cited work

Reference 10

Resolution: malformed identifier; no resolver link, observed 2026-07-12T13:46:59.730670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 57b8d3ad-9cde-4fc5-a1df-80804c8a773f · inbound

Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier cites this paper.

Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier TNODEV: Toolbox for Neural ODE Verification

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-11T19:02:37.598360Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.