{"as_of":"2026-08-09T16:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3614777f6d35aa08821f376ed421356e9b7870b92153b07424a7c9e98b590eff","coverage":[{"denominator":10,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":10,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-12T13:46:59.730670Z","state":"measured"},{"denominator":11,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":11,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T19:02:37.598360Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2606.16567","last_updated":"2026-07-09T15:36:14Z","snapshot_observed_at":"2026-08-05T00:58:25.735060Z","submitted_at":"2026-06-15T11:09:06Z","title":"TNODEV: Toolbox for Neural ODE Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.16567","snapshot_observed_at":"2026-07-11T19:02:37.598360Z","title":"Tnodev: Toolbox for neural ODE verification,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.04453","last_updated":"2026-07-05T18:32:59Z","snapshot_observed_at":"2026-08-05T16:31:45.826745Z","submitted_at":"2026-07-05T18:32:59Z","title":"Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-11T19:02:37.598360Z"},"links":{"cited_paper":"/paper/2606.16567","citing_paper":"/paper/2607.04453"},"observation_digest":"sha256:f37b966c36dd19b8ed08bf6ddc2f5423c3c1eccd9255ffc9f8444bccb84c8994","observation_id":"57b8d3ad-9cde-4fc5-a1df-80804c8a773f","resolution":{"observed_at":"2026-07-11T19:02:37.598360Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2606.16567/citation-record","integrity":"/paper/2606.16567/integrity","json":"/paper/2606.16567/citation-record.json","paper":"/paper/2606.16567"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"1810.01367","last_updated":"2018-10-22T17:56:45Z","snapshot_observed_at":"2026-07-06T07:05:41.488600Z","submitted_at":"2018-10-02T16:56:37Z","title":"FFJORD: Free-form Continuous Dynamics for Scalable Reversible Generative Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.01367","snapshot_observed_at":"2026-07-12T13:46:59.730670Z","title":"Ffjord: Free-form continuous dynamics for scalable reversible generative models.arXiv preprint arXiv:1810.01367,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.16567","last_updated":"2026-07-09T15:36:14Z","snapshot_observed_at":"2026-08-05T00:58:25.735060Z","submitted_at":"2026-06-15T11:09:06Z","title":"TNODEV: Toolbox for Neural ODE Verification","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-12T13:46:59.730670Z"},"links":{"cited_paper":"/paper/1810.01367","citing_paper":"/paper/2606.16567"},"observation_digest":"sha256:f4adf325bcc20788bd439a0a86b6024cdd0287f76ff4e284133990d98eed0729","observation_id":"967f2dab-701a-473c-a19c-5df6f3413061","resolution":{"observed_at":"2026-07-12T13:46:59.730670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T13:46:59.730670Z","title":"Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, and Wanwei Liu","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.16567","last_updated":"2026-07-09T15:36:14Z","snapshot_observed_at":"2026-08-05T00:58:25.735060Z","submitted_at":"2026-06-15T11:09:06Z","title":"TNODEV: Toolbox for Neural ODE Verification","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-12T13:46:59.730670Z"},"links":{"citing_paper":"/paper/2606.16567"},"observation_digest":"sha256:266e02dd130e4206c0928f2676b88789f0586726acd486c72a5aba50a0616a09","observation_id":"f56e4dc6-71b0-4ebf-b6ea-857601891dc5","resolution":{"observed_at":"2026-07-12T13:46:59.730670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/6czp","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Zhaozhi Qian, William Zame, Lucas Fleuren, Paul Elbers, and Mihaela van der Schaar","venue":"EPiC series in computing","work_id":"eb02f2fb-f2ce-4a61-a57c-eff746a56111","year":null},"citing_paper":{"arxiv_id":"2606.16567","last_updated":"2026-07-09T15:36:14Z","snapshot_observed_at":"2026-08-05T00:58:25.735060Z","submitted_at":"2026-06-15T11:09:06Z","title":"TNODEV: Toolbox for Neural ODE Verification","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-12T13:46:59.730670Z"},"links":{"citing_paper":"/paper/2606.16567"},"observation_digest":"sha256:77f5605806e37819963813e0b6fd2c7744c4ab6e17aeee6a46e4b897abc2ef38","observation_id":"d6fa7b5a-7e77-4e16-a35f-3977ff2db416","resolution":{"observed_at":"2026-07-12T13:48:51.018933Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T13:46:59.730670Z","title":"Bridging neural ODE and ResNet: A formal error bound for safety verification","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.16567","last_updated":"2026-07-09T15:36:14Z","snapshot_observed_at":"2026-08-05T00:58:25.735060Z","submitted_at":"2026-06-15T11:09:06Z","title":"TNODEV: Toolbox for Neural ODE Verification","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-12T13:46:59.730670Z"},"links":{"citing_paper":"/paper/2606.16567"},"observation_digest":"sha256:36dcb6510e2bd7fea6c4a1b8a9f95d7b9625c34ef09fc3d0937614725d57e5b5","observation_id":"cb7614bb-0839-4a4d-8528-5196d533d47f","resolution":{"observed_at":"2026-07-12T13:46:59.730670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T13:46:59.730670Z","title":"A System description This appendix describes the neural ODE benchmarks used in the experiments, organized by the three model classes introduced in Section","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.16567","last_updated":"2026-07-09T15:36:14Z","snapshot_observed_at":"2026-08-05T00:58:25.735060Z","submitted_at":"2026-06-15T11:09:06Z","title":"TNODEV: Toolbox for Neural ODE Verification","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-12T13:46:59.730670Z"},"links":{"citing_paper":"/paper/2606.16567"},"observation_digest":"sha256:7b158550eb0f2d801be586155d2db72b3c87fd5c4aa1c5977b655f26f5aa14f4","observation_id":"9b89d5d5-7a30-4329-aa5f-8c59fedf1060","resolution":{"observed_at":"2026-07-12T13:46:59.730670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T13:46:59.730670Z","title":"We consider two variants from the literature, anonlinearvariant from Chen et al","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.16567","last_updated":"2026-07-09T15:36:14Z","snapshot_observed_at":"2026-08-05T00:58:25.735060Z","submitted_at":"2026-06-15T11:09:06Z","title":"TNODEV: Toolbox for Neural ODE Verification","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-12T13:46:59.730670Z"},"links":{"citing_paper":"/paper/2606.16567"},"observation_digest":"sha256:fa68b68948fef007ae7fe8f9369f4709192d129a2e9e32192452bb93b613875c","observation_id":"17d96703-e90d-44fb-9c3b-340ae10cba79","resolution":{"observed_at":"2026-07-12T13:46:59.730670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.20546365","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"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","venue":"Zenodo (CERN European Organization for Nuclear Research)","work_id":"317ad5a1-97ed-4909-938d-6d7046610d6b","year":1995},"citing_paper":{"arxiv_id":"2606.16567","last_updated":"2026-07-09T15:36:14Z","snapshot_observed_at":"2026-08-05T00:58:25.735060Z","submitted_at":"2026-06-15T11:09:06Z","title":"TNODEV: Toolbox for Neural ODE Verification","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-12T13:46:59.730670Z"},"links":{"citing_paper":"/paper/2606.16567"},"observation_digest":"sha256:554997c49a104220fbea284168ba51713d0ab44d54be1c7a003cf48b4d1667a8","observation_id":"34dc55ed-5451-436f-867f-76999e7b47f4","resolution":{"observed_at":"2026-07-12T13:48:51.008502Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T13:46:59.730670Z","title":"The exact values of the weight matrices and bias vectors are loaded from the MATLAB data fileplant_3rd_order_tanh.mat","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2606.16567","last_updated":"2026-07-09T15:36:14Z","snapshot_observed_at":"2026-08-05T00:58:25.735060Z","submitted_at":"2026-06-15T11:09:06Z","title":"TNODEV: Toolbox for Neural ODE Verification","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-12T13:46:59.730670Z"},"links":{"citing_paper":"/paper/2606.16567"},"observation_digest":"sha256:4a7522518afb08cd190d70f0e7f5a5c8f20bd0ef3977ad378055c96339442ccb","observation_id":"219d6454-bff8-4e70-ac61-c437110409ce","resolution":{"observed_at":"2026-07-12T13:46:59.730670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T13:46:59.730670Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.16567","last_updated":"2026-07-09T15:36:14Z","snapshot_observed_at":"2026-08-05T00:58:25.735060Z","submitted_at":"2026-06-15T11:09:06Z","title":"TNODEV: Toolbox for Neural ODE Verification","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-12T13:46:59.730670Z"},"links":{"citing_paper":"/paper/2606.16567"},"observation_digest":"sha256:e9906921889a82122122c1dc2f212cf40d3e19bdc3ccbc19610258d894c437c6","observation_id":"762166db-05fc-4cfc-895c-e0942057ecba","resolution":{"observed_at":"2026-07-12T13:46:59.730670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T13:46:59.730670Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.16567","last_updated":"2026-07-09T15:36:14Z","snapshot_observed_at":"2026-08-05T00:58:25.735060Z","submitted_at":"2026-06-15T11:09:06Z","title":"TNODEV: Toolbox for Neural ODE Verification","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-12T13:46:59.730670Z"},"links":{"citing_paper":"/paper/2606.16567"},"observation_digest":"sha256:57d114577c511f0f8a705760302b9c7e707e8ac5d26e21cb2d11af683e4bea85","observation_id":"517d599e-1ee9-4579-9c98-413fecd8490d","resolution":{"observed_at":"2026-07-12T13:46:59.730670Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.16567","last_updated":"2026-07-09T15:36:14Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-05T00:58:25.735060Z","submitted_at":"2026-06-15T11:09:06Z","title":"TNODEV: Toolbox for Neural ODE Verification"},"reference_resolution":{"displayed":10,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":10},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"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."}