{"as_of":"2026-08-22T23:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7058508073a7c619cdf43eba75b8fa5e9c817fc46fdb6927b0f3881a4cd9b035","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":5,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":5,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+00:00","state":"measured"},{"denominator":5,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":5,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T20:47:20.640887Z","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-03T14:18:22.514797Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2503.19599","last_updated":"2025-08-23T07:26:21Z","snapshot_observed_at":"2026-08-16T12:47:00.332382Z","submitted_at":"2025-03-25T12:30:30Z","title":"HoarePrompt: Structural Reasoning About Program Correctness in Natural Language","version":2},"cited_work":{"arxiv_id":"2503.19599","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.19599","snapshot_observed_at":"2026-07-03T14:18:22.514797Z","title":"arXiv preprint arXiv:2503.19599 , year=","venue":null,"work_id":"80f5a157-37db-4fa4-bc51-8a08b73cb1b5","year":2025},"citing_paper":{"arxiv_id":"2512.14917","last_updated":"2026-04-23T22:42:11Z","snapshot_observed_at":"2026-08-14T18:38:40.452738Z","submitted_at":"2025-12-16T21:12:53Z","title":"Evaluating Code Reasoning Abilities of Large Language Models Under Real-World Settings","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-16T21:23:44.762007Z"},"links":{"cited_paper":"/paper/2503.19599","citing_paper":"/paper/2512.14917"},"observation_digest":"sha256:c28e9e87c847d31914d4dddb7368a85948deb6e7bfc19d0e26b4b3acb53c27ab","observation_id":"261a49ac-a746-42e5-9bfa-6d1ba86ee69a","resolution":{"observed_at":"2026-05-16T21:28:34.254417Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.19599","last_updated":"2025-08-23T07:26:21Z","snapshot_observed_at":"2026-08-16T12:47:00.332382Z","submitted_at":"2025-03-25T12:30:30Z","title":"HoarePrompt: Structural Reasoning About Program Correctness in Natural Language","version":2},"cited_work":{"arxiv_id":"2503.19599","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.19599","snapshot_observed_at":"2026-07-03T14:18:22.514797Z","title":"arXiv preprint arXiv:2503.19599 , year=","venue":null,"work_id":"80f5a157-37db-4fa4-bc51-8a08b73cb1b5","year":2025},"citing_paper":{"arxiv_id":"2605.14972","last_updated":"2026-05-14T15:36:44Z","snapshot_observed_at":"2026-08-15T09:53:13.465649Z","submitted_at":"2026-05-14T15:36:44Z","title":"Viverra: Text-to-Code with Guarantees","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-05-15T03:15:11.893095Z"},"links":{"cited_paper":"/paper/2503.19599","citing_paper":"/paper/2605.14972"},"observation_digest":"sha256:e1d3bf40dee1ea589afc4b03540ad9ee1031c58429b1dd825fb14e3bd3ba21cb","observation_id":"be237666-62d6-4caa-b95f-924858d81b6b","resolution":{"observed_at":"2026-05-15T03:19:44.295616Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.19599","last_updated":"2025-08-23T07:26:21Z","snapshot_observed_at":"2026-08-16T12:47:00.332382Z","submitted_at":"2025-03-25T12:30:30Z","title":"HoarePrompt: Structural Reasoning About Program Correctness in Natural Language","version":2},"cited_work":{"arxiv_id":"2503.19599","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.19599","snapshot_observed_at":"2026-07-03T14:18:22.514797Z","title":"arXiv preprint arXiv:2503.19599 , year=","venue":null,"work_id":"80f5a157-37db-4fa4-bc51-8a08b73cb1b5","year":2025},"citing_paper":{"arxiv_id":"2605.29822","last_updated":"2026-05-28T12:04:51Z","snapshot_observed_at":"2026-07-29T16:18:16.189748Z","submitted_at":"2026-05-28T12:04:51Z","title":"Inferring Code Correctness from Specification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-29T06:33:36.835860Z"},"links":{"cited_paper":"/paper/2503.19599","citing_paper":"/paper/2605.29822"},"observation_digest":"sha256:187a69c8cd102129a292ef3be661e2eef8cedb4540fc6f0276676b66a0ab0997","observation_id":"7da32e0a-1e08-4ebd-95bb-5d4b647f2826","resolution":{"observed_at":"2026-06-29T14:33:31.507421Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.19599","last_updated":"2025-08-23T07:26:21Z","snapshot_observed_at":"2026-08-16T12:47:00.332382Z","submitted_at":"2025-03-25T12:30:30Z","title":"HoarePrompt: Structural Reasoning About Program Correctness in Natural Language","version":2},"cited_work":{"arxiv_id":"2503.19599","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2503.19599","snapshot_observed_at":"2026-07-03T14:18:22.514797Z","title":"arXiv preprint arXiv:2503.19599 , year=","venue":null,"work_id":"80f5a157-37db-4fa4-bc51-8a08b73cb1b5","year":2025},"citing_paper":{"arxiv_id":"2607.01903","last_updated":"2026-07-02T09:02:08Z","snapshot_observed_at":"2026-08-08T21:00:56.316778Z","submitted_at":"2026-07-02T09:02:08Z","title":"Rethinking Complexity Metrics for LLM-Integrated Applications: Beyond Source Code","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-03T14:12:56.873452Z"},"links":{"cited_paper":"/paper/2503.19599","citing_paper":"/paper/2607.01903"},"observation_digest":"sha256:1b17e08805653ad3c9f5da374fa9616b0e47fda0c2c0d2e255365868346285f2","observation_id":"533a3d94-acdd-42bd-b6bc-bd9099604ffd","resolution":{"observed_at":"2026-07-03T14:18:22.516207Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.19599","last_updated":"2025-08-23T07:26:21Z","snapshot_observed_at":"2026-08-16T12:47:00.332382Z","submitted_at":"2025-03-25T12:30:30Z","title":"HoarePrompt: Structural Reasoning About Program Correctness in Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.19599","snapshot_observed_at":"2026-07-11T20:47:20.640887Z","title":"Hoareprompt: Structural reasoning about program correctness in natural language,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.04232","last_updated":"2026-07-05T11:09:30Z","snapshot_observed_at":"2026-08-20T22:11:29.278100Z","submitted_at":"2026-07-05T11:09:30Z","title":"Teaching Code LLMs to Reason with Intermediate Formal Specifications","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-11T20:47:20.640887Z"},"links":{"cited_paper":"/paper/2503.19599","citing_paper":"/paper/2607.04232"},"observation_digest":"sha256:356c56abc3a8f142af915528b9d64173a05cb5f39acec6e671cdef66c647e72d","observation_id":"bd26cde0-332b-463e-ba7b-18b9015c4dda","resolution":{"observed_at":"2026-07-11T20:47:20.640887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2503.19599/citation-record","integrity":"/paper/2503.19599/integrity","json":"/paper/2503.19599/citation-record.json","paper":"/paper/2503.19599"},"outbound":[],"paper":{"arxiv_id":"2503.19599","last_updated":"2025-08-23T07:26:21Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-16T12:47:00.332382Z","submitted_at":"2025-03-25T12:30:30Z","title":"HoarePrompt: Structural Reasoning About Program Correctness in Natural Language"},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 5 inbound Pith citation observations for arXiv:2503.19599."}