{"as_of":"2026-08-08T09:53:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:088f5f06da1b7bdb6772692cb3cc221c2dd9e13ace982d89607debef035f9639","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-08T06:32:00.761636+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-07T14:34:08.629079Z","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-07-04T19:10:04.243666Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.04528","last_updated":"2025-05-07T16:02:14Z","snapshot_observed_at":"2026-08-07T23:35:11.507218Z","submitted_at":"2025-05-07T16:02:14Z","title":"Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.04528","snapshot_observed_at":"2026-08-07T14:34:08.629079Z","title":"Beyond theorem proving: Formulation, framework and benchmark for formal problem-solving","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.18492","last_updated":"2026-06-30T15:33:33Z","snapshot_observed_at":"2026-08-07T23:35:26.397590Z","submitted_at":"2025-05-24T03:52:25Z","title":"Formally Solving Answer-Construction Problems in Lean","version":6},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T14:34:08.629079Z"},"links":{"cited_paper":"/paper/2505.04528","citing_paper":"/paper/2505.18492"},"observation_digest":"sha256:6162c08c611ca013147a84be59627bd3bf2806de551b3fb603ec54c0882283c2","observation_id":"3f836ffe-d164-49e4-8ea9-e08592dd5a5b","resolution":{"observed_at":"2026-08-07T14:34:08.629079Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.04528","last_updated":"2025-05-07T16:02:14Z","snapshot_observed_at":"2026-08-07T23:35:11.507218Z","submitted_at":"2025-05-07T16:02:14Z","title":"Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving","version":1},"cited_work":{"arxiv_id":"2505.04528","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.04528","snapshot_observed_at":"2026-07-04T19:10:04.243666Z","title":"Beyond theorem proving: Formulation, framework and benchmark for formal problem-solving, 2025","venue":null,"work_id":"ecfd2ce6-b1d2-4861-b02d-84302c899aaf","year":2025},"citing_paper":{"arxiv_id":"2606.02588","last_updated":"2026-05-20T08:15:43Z","snapshot_observed_at":"2026-07-06T23:42:58.036516Z","submitted_at":"2026-05-20T08:15:43Z","title":"Lean-GAP: A Dataset of Formalized Graduate Algebra Problems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-30T17:32:00.411535Z"},"links":{"cited_paper":"/paper/2505.04528","citing_paper":"/paper/2606.02588"},"observation_digest":"sha256:4cf5009e6b885c71bda24eadb867b6e0d9cc94747c87a11271e9712366873817","observation_id":"162b27ef-19e0-4214-9344-137c7a2d2bdb","resolution":{"observed_at":"2026-06-30T17:34:57.531714Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.04528","last_updated":"2025-05-07T16:02:14Z","snapshot_observed_at":"2026-08-07T23:35:11.507218Z","submitted_at":"2025-05-07T16:02:14Z","title":"Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving","version":1},"cited_work":{"arxiv_id":"2505.04528","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.04528","snapshot_observed_at":"2026-07-04T19:10:04.243666Z","title":"Beyond theorem proving: Formulation, framework and benchmark for formal problem-solving, 2025","venue":null,"work_id":"ecfd2ce6-b1d2-4861-b02d-84302c899aaf","year":2025},"citing_paper":{"arxiv_id":"2606.24443","last_updated":"2026-06-23T11:24:49Z","snapshot_observed_at":"2026-08-06T03:49:18.465012Z","submitted_at":"2026-06-23T11:24:49Z","title":"Verifiable Auto-Formalization of Mathematics Using a Relaxed Natural Formal Language","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-25T21:59:02.948726Z"},"links":{"cited_paper":"/paper/2505.04528","citing_paper":"/paper/2606.24443"},"observation_digest":"sha256:8e031262b4853b8a904d8148222234e95a437fe7841d5ef36dff14f64ac84193","observation_id":"921a8cca-7cc6-4b8d-a867-419cadd3d7cc","resolution":{"observed_at":"2026-07-04T19:10:04.245578Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.04528/citation-record","integrity":"/paper/2505.04528/integrity","json":"/paper/2505.04528/citation-record.json","paper":"/paper/2505.04528"},"outbound":[],"paper":{"arxiv_id":"2505.04528","last_updated":"2025-05-07T16:02:14Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T23:35:11.507218Z","submitted_at":"2025-05-07T16:02:14Z","title":"Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:2505.04528."}