Paper Citation Record · LEDGER

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison

As of 11 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2604.02953.

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

pith.paper-citation-record.v1
2604.02953 v1

Coverage vector

measured 30 of 30 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-13T19:39:25.571660Z

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

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

30 of 30 outbound references displayed

verified exact2
verified fuzzy26
unresolved1
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8316bb83-15b8-4dc7-aa5f-8cf53d87ebfd · outbound

This paper cites Data-Driven Reachability Analysis for Gaussian Process State Space Models.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Data-Driven Reachability Analysis for Gaussian Process State Space Models

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.661989Z

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 d21f0f0d-1560-41b5-a3f4-dcba21b9be3b · outbound

This paper cites Data- Driven Reachability Analysis From Noisy Data.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Data- Driven Reachability Analysis From Noisy Data

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.588652Z

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 b496c392-2d91-46bc-a211-6187a690f97d · outbound

This paper cites Data-driven Reachability using Christoffel Functions and Conformal Prediction.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Data-driven Reachability using Christoffel Functions and Conformal Prediction

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.634705Z

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 56b04acd-bc4c-42f0-a7b8-492cffef139d · outbound

This paper cites Formal Verification and Control with Conformal Prediction.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Formal Verification and Control with Conformal Prediction

Reference 4

Resolution: metadata mismatch; arxiv_id, observed 2026-05-13T19:43:11.316970Z

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 47e06743-ef42-4e87-b537-05bd634656e5 · outbound

This paper cites Nonconvex Scenario Optimization for Data-Driven Reachability.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Nonconvex Scenario Optimization for Data-Driven Reachability

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.646497Z

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 be06db6f-71bf-4656-949a-823328e35ddd · outbound

This paper cites Verification of neural reachable tubes via scenario optimization and conformal prediction.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Verification of neural reachable tubes via scenario optimization and conformal prediction

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.593720Z

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 f8bb8c9f-9d0b-421c-ba22-0aac53a0baa0 · outbound

This paper cites Reachability-based safe learning with Gaussian processes.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Reachability-based safe learning with Gaussian processes

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.665753Z

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 8ab3b7a8-e5bf-49ea-9c94-1a7ed9767441 · outbound

This paper cites Data- Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Data- Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.650569Z

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 dde8abd7-032a-4b41-85b0-672ff20924e9 · outbound

This paper cites Data-Driven Reachability Analysis for Nonlinear Systems.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Data-Driven Reachability Analysis for Nonlinear Systems

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.626618Z

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 257a1295-bd08-42fd-837d-b7e68c30ee4e · outbound

This paper cites A theory of the learnable.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison A theory of the learnable

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.658239Z

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 75beb27c-1b94-405f-a27b-be31fbaa5efb · outbound

This paper cites A Gentle Introduction to Conformal Prediction and Distribution-Free Uncertainty Quantification.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison A Gentle Introduction to Conformal Prediction and Distribution-Free Uncertainty Quantification

Reference 11

Resolution: verified exact; local_arxiv, observed 2026-05-13T19:43:11.313401Z

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 56c3a133-089c-4753-9031-fbfc6404dd68 · outbound

This paper cites A Tutorial on Conformal Prediction.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison A Tutorial on Conformal Prediction

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.642061Z

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 7054f114-6f59-4bd3-bd99-1b5a47bbd6e8 · outbound

This paper cites Scenario optimization.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Scenario optimization

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.653953Z

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 c6ea6130-11b3-44f1-89a3-97cd750a778d · outbound

This paper cites Non-convex scenario optimization.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Non-convex scenario optimization

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.638171Z

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 e84bb49f-4404-44e9-b122-f7dc10879631 · outbound

This paper cites an unresolved cited work.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-05-14T02:49:57.622547Z

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 e4d90349-c92a-48ea-ba90-7ee24455a422 · outbound

This paper cites A sampling-and-discarding approach to chance-constrained optimization: Feasibility and optimality.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison A sampling-and-discarding approach to chance-constrained optimization: Feasibility and optimality

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.687751Z

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 7ffb337c-923e-4eeb-bb01-207615f55c26 · outbound

This paper cites Tempo, G.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Tempo, G

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.695928Z

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 a22c9c6c-ed2c-42d0-ba65-890144a55853 · outbound

This paper cites Tutorial on practical prediction theory for classification.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Tutorial on practical prediction theory for classification

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.674706Z

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 b0db9ce3-988a-4089-84c7-a5b9cba889fc · outbound

This paper cites Hastie, R.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Hastie, R

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.597841Z

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 46c3a0d7-46a7-4294-ad5e-1520049e9676 · outbound

This paper cites Conditional validity of inductive conformal predictors.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Conditional validity of inductive conformal predictors

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.691893Z

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 5755ee93-17cb-4ec9-bf45-475df7f52cb3 · outbound

This paper cites Bridging conformal prediction and scenario optimization.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Bridging conformal prediction and scenario optimization

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.669913Z

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 2b3b8ce8-9b66-49c2-a562-da3e130cb177 · outbound

This paper cites Scenario ap- proach and conformal prediction for verification of unknown systems via data-driven abstractions.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Scenario ap- proach and conformal prediction for verification of unknown systems via data-driven abstractions

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.679227Z

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 eeb7ce4e-ae96-4be7-81ce-cf650a623d7a · outbound

This paper cites Estimating reachable sets with scenario optimization.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Estimating reachable sets with scenario optimization

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.700910Z

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 8eaef2ad-33af-4e2d-bb70-e4fd1398bd43 · outbound

This paper cites Data-Driven Reachability Analysis with Christoffel Functions.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Data-Driven Reachability Analysis with Christoffel Functions

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.606707Z

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 31abef85-bb32-4b99-b93c-3b491e85c9a5 · outbound

This paper cites Theoretical Foundations of Conformal Prediction.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Theoretical Foundations of Conformal Prediction

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-05-16T07:32:23.876280Z

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 73ccc198-7b29-4bd9-a7dd-c8591fc0d124 · outbound

This paper cites Hardt and B.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Hardt and B

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.683053Z

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 a04632f7-ba3e-4174-81e2-d71c893e4bbb · outbound

This paper cites Data-driven reach- ability with scenario optimization and the holdout method.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Data-driven reach- ability with scenario optimization and the holdout method

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.630489Z

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 82d59c1d-fd4c-4d4b-a8bc-28bbb3d5a07f · outbound

This paper cites Post-design verification in the scenario approach.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Post-design verification in the scenario approach

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.618485Z

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 0f57ffd1-a053-403c-a25f-718a39e1bcb2 · outbound

This paper cites Scenario optimization with constraint relaxation in a non-convex setup: A flexible and general framework for data-driven design.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison Scenario optimization with constraint relaxation in a non-convex setup: A flexible and general framework for data-driven design

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.602696Z

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 bcf60971-c1bc-4adb-9652-35af3df0ae2f · outbound

This paper cites The relationship between the binomial and F dis- tributions.

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison The relationship between the binomial and F dis- tributions

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-05-14T02:49:57.614488Z

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.

Pith citing papers

No inbound Pith citation observations are available.