{"as_of":"2026-08-24T01:10:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a774a9fa2f799810aaa99bfdea868d89eb6169e1a464d4eec787cbec6c44ac31","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":3,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":3,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T05:30:13.575285Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-02T08:36:48.557970Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2503.19605","last_updated":"2026-05-24T18:17:33Z","snapshot_observed_at":"2026-08-22T03:42:40.126598Z","submitted_at":"2025-03-25T12:40:43Z","title":"Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.19605","snapshot_observed_at":"2026-08-03T05:30:13.575285Z","title":"Lean Formalization of Generalization Error Bound by Rademacher Complexity.arXiv preprint arXiv:2503.19605,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.02285","last_updated":"2026-06-10T14:35:31Z","snapshot_observed_at":"2026-08-21T09:29:14.774323Z","submitted_at":"2026-02-02T16:24:53Z","title":"AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory","version":2},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-03T05:30:13.575285Z"},"links":{"cited_paper":"/paper/2503.19605","citing_paper":"/paper/2602.02285"},"observation_digest":"sha256:b2ef7aa8b73184ae8630eb9d4d7f78affdc0569c8f6642ee822f55d5c5a7ccf2","observation_id":"00fdd80c-6ca4-4cd3-9008-4d93a5676aa0","resolution":{"observed_at":"2026-08-03T05:30:13.575285Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.19605","last_updated":"2026-05-24T18:17:33Z","snapshot_observed_at":"2026-08-22T03:42:40.126598Z","submitted_at":"2025-03-25T12:40:43Z","title":"Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral","version":5},"cited_work":{"arxiv_id":"2503.19605","doi":null,"metadata_source":"pith","pith_arxiv_id":"2503.19605","snapshot_observed_at":"2026-07-02T08:36:48.557970Z","title":"Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral","venue":"cs.LG","work_id":"b004afcb-e402-488b-8497-681a84b50084","year":2025},"citing_paper":{"arxiv_id":"2606.20642","last_updated":"2026-06-03T20:03:38Z","snapshot_observed_at":"2026-08-07T20:40:20.986106Z","submitted_at":"2026-06-03T20:03:38Z","title":"Hypothesis-Disciplined Multi-Agent Automated Formalization of Asymptotic Statistical Theory","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-28T05:52:05.192897Z"},"links":{"cited_paper":"/paper/2503.19605","citing_paper":"/paper/2606.20642"},"observation_digest":"sha256:b899e79a933129f38989261a6b97d76ed943f90f6cdd2f2dadd0272094e2ef0d","observation_id":"a54189a7-b196-4b0f-8fe3-c4d7778aebda","resolution":{"observed_at":"2026-07-02T08:36:48.559514Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.19605","last_updated":"2026-05-24T18:17:33Z","snapshot_observed_at":"2026-08-22T03:42:40.126598Z","submitted_at":"2025-03-25T12:40:43Z","title":"Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.19605","snapshot_observed_at":"2026-08-01T04:34:00.421465Z","title":"Lean formal- ization of generalization error bound by Rademacher complexity and Dudley’s entropy integral","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22511","last_updated":"2026-08-04T17:10:35Z","snapshot_observed_at":"2026-08-21T05:49:06.786925Z","submitted_at":"2026-07-24T17:32:35Z","title":"CausalForge: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T04:34:00.421465Z"},"links":{"cited_paper":"/paper/2503.19605","citing_paper":"/paper/2607.22511"},"observation_digest":"sha256:69b44bb432a621a068290079a82d43efa483993716bb5419914db9d1c356a07b","observation_id":"35579fc7-f1d0-49c8-b859-f76d4bae25f8","resolution":{"observed_at":"2026-08-01T04:34:00.421465Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2503.19605/citation-record","integrity":"/paper/2503.19605/integrity","json":"/paper/2503.19605/citation-record.json","paper":"/paper/2503.19605"},"outbound":[],"paper":{"arxiv_id":"2503.19605","last_updated":"2026-05-24T18:17:33Z","latest_version":5,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-22T03:42:40.126598Z","submitted_at":"2025-03-25T12:40:43Z","title":"Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral"},"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-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 24 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:2503.19605."}