{"as_of":"2026-08-11T19:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0919654366e7d58fd85880fa314e9f69d45065f4078b6653a1928ecbbeab915f","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":4,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":4,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":4,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T22:46:05.622737Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-12T06:16:24.956187Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2404.05424","last_updated":"2025-04-17T14:33:17Z","snapshot_observed_at":"2026-08-10T21:05:30.184057Z","submitted_at":"2024-04-08T11:47:46Z","title":"What Are the Odds? Improving the foundations of Statistical Model Checking","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.05424","snapshot_observed_at":"2026-08-10T22:46:05.622737Z","title":"What are the odds? improving the foundations of statistical model checking","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-11T16:17:10.242690Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.622737Z"},"links":{"cited_paper":"/paper/2404.05424","citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:0322fa19d5c1a90855f269273b05c4335949af638d3c3476b901d7166f56d31e","observation_id":"0fed0301-0f8e-400f-961a-145f4f69857a","resolution":{"observed_at":"2026-08-10T22:46:05.622737Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.05424","last_updated":"2025-04-17T14:33:17Z","snapshot_observed_at":"2026-08-10T21:05:30.184057Z","submitted_at":"2024-04-08T11:47:46Z","title":"What Are the Odds? Improving the foundations of Statistical Model Checking","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.05424","snapshot_observed_at":"2026-08-06T15:42:40.196787Z","title":"Meggendorfer, M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.15532","last_updated":"2025-08-18T18:41:23Z","snapshot_observed_at":"2026-08-10T21:07:57.755331Z","submitted_at":"2025-07-21T12:00:03Z","title":"Data-Efficient Safe Policy Improvement Using Parametric Structure","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T15:42:40.196787Z"},"links":{"cited_paper":"/paper/2404.05424","citing_paper":"/paper/2507.15532"},"observation_digest":"sha256:c7cbb5b355ed2a5fe84d3b4fcc13244ecf14de58060284fc76a2ff2e3479ba88","observation_id":"34d19de4-970d-4d7f-a950-5fb8d3241eaa","resolution":{"observed_at":"2026-08-06T15:42:40.196787Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.05424","last_updated":"2025-04-17T14:33:17Z","snapshot_observed_at":"2026-08-10T21:05:30.184057Z","submitted_at":"2024-04-08T11:47:46Z","title":"What Are the Odds? Improving the foundations of Statistical Model Checking","version":2},"cited_work":{"arxiv_id":"2404.05424","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2404.05424","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2025 (to appear, preprint at https://arxiv.org/abs/2404.05424)","venue":null,"work_id":"13c57d97-efe2-452c-a9cc-7d19ae391464","year":2025},"citing_paper":{"arxiv_id":"2605.06087","last_updated":"2026-05-07T12:10:07Z","snapshot_observed_at":"2026-07-06T23:18:36.537416Z","submitted_at":"2026-05-07T12:10:07Z","title":"Safety Certification is Classification","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-05-08T10:39:28.215469Z"},"links":{"cited_paper":"/paper/2404.05424","citing_paper":"/paper/2605.06087"},"observation_digest":"sha256:1aa4986bcca51d750d6b07038ad2060fdfbe35b77c820b457c96a6369eaf7b1c","observation_id":"c7a542bb-b2c1-4d81-b687-faf16186749e","resolution":{"observed_at":"2026-05-11T19:56:09.163905Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.05424","last_updated":"2025-04-17T14:33:17Z","snapshot_observed_at":"2026-08-10T21:05:30.184057Z","submitted_at":"2024-04-08T11:47:46Z","title":"What Are the Odds? Improving the foundations of Statistical Model Checking","version":2},"cited_work":{"arxiv_id":"2404.05424","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2404.05424","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2025 (to appear, preprint at https://arxiv.org/abs/2404.05424)","venue":null,"work_id":"13c57d97-efe2-452c-a9cc-7d19ae391464","year":2025},"citing_paper":{"arxiv_id":"2605.10293","last_updated":"2026-05-11T09:54:30Z","snapshot_observed_at":"2026-08-11T15:43:01.416125Z","submitted_at":"2026-05-11T09:54:30Z","title":"Robust Probabilistic Shielding for Safe Offline Reinforcement Learning","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-12T04:28:30.722268Z"},"links":{"cited_paper":"/paper/2404.05424","citing_paper":"/paper/2605.10293"},"observation_digest":"sha256:0ed31e3fdb1f27ff6f96acaa40f7ba90e29319e3bbf7af0d555f92b886eaa9ba","observation_id":"9405cccf-dfc8-46fc-925f-b6206280bdd8","resolution":{"observed_at":"2026-05-12T06:16:24.963391Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2404.05424/citation-record","integrity":"/paper/2404.05424/integrity","json":"/paper/2404.05424/citation-record.json","paper":"/paper/2404.05424"},"outbound":[],"paper":{"arxiv_id":"2404.05424","last_updated":"2025-04-17T14:33:17Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-10T21:05:30.184057Z","submitted_at":"2024-04-08T11:47:46Z","title":"What Are the Odds? Improving the foundations of Statistical Model Checking"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 4 inbound Pith citation observations for arXiv:2404.05424."}