{"as_of":"2026-08-15T04:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f14993bc9e685a731005b1ae3020babd2af89bca2fcffdfcbd16c9597060474d","coverage":[{"denominator":8,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":8,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T02:57:46.929908Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":6,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":6,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T05:11:01.444016Z","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-25T04:55:23.820463Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"cited_work":{"arxiv_id":"2602.09464","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2602.09464","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Veeravalli, Aarti Gupta, and Sanjeev Arora","venue":null,"work_id":"88f6b1d1-ec49-4736-9a8f-ad399575ccf4","year":2026},"citing_paper":{"arxiv_id":"2605.08553","last_updated":"2026-05-08T23:25:05Z","snapshot_observed_at":"2026-08-13T04:52:24.109699Z","submitted_at":"2026-05-08T23:25:05Z","title":"VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-12T01:21:42.562823Z"},"links":{"cited_paper":"/paper/2602.09464","citing_paper":"/paper/2605.08553"},"observation_digest":"sha256:066fa5e57fb64e2891baf769cf9af228c5a2d7781a2fba80e123849105939834","observation_id":"f5ecb91e-bf5f-41ae-bd2e-e3d56eb78aa4","resolution":{"observed_at":"2026-06-04T02:07:08.734881Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"cited_work":{"arxiv_id":"2602.09464","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2602.09464","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Veeravalli, Aarti Gupta, and Sanjeev Arora","venue":null,"work_id":"88f6b1d1-ec49-4736-9a8f-ad399575ccf4","year":2026},"citing_paper":{"arxiv_id":"2605.23109","last_updated":"2026-05-22T00:05:36Z","snapshot_observed_at":"2026-07-06T23:33:24.215365Z","submitted_at":"2026-05-22T00:05:36Z","title":"Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-05-25T04:52:06.456555Z"},"links":{"cited_paper":"/paper/2602.09464","citing_paper":"/paper/2605.23109"},"observation_digest":"sha256:060d6618c69335c51619961ee8ecdda65ff695c9af85c45ccf254dc484a40ed8","observation_id":"15eb66c3-f0e2-4ec7-a00a-f64642bbdb13","resolution":{"observed_at":"2026-06-04T02:07:08.734881Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2602.09464","snapshot_observed_at":"2026-08-01T08:15:19.304043Z","title":"Veeravalli, Aarti Gupta & Sanjeev Arora (2026): AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algo- rithms","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21196","last_updated":"2026-07-23T11:17:58Z","snapshot_observed_at":"2026-08-10T04:05:44.429954Z","submitted_at":"2026-07-23T11:17:58Z","title":"Case study: solving P-99 with LPTP and an LLM","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T08:15:19.304043Z"},"links":{"cited_paper":"/paper/2602.09464","citing_paper":"/paper/2607.21196"},"observation_digest":"sha256:3deb98a869a052607124d89774eed61554f988263d8b43a8fe81fcde0de8ee2b","observation_id":"bb5c82b6-e2af-4ea3-be40-4400cf040af8","resolution":{"observed_at":"2026-08-01T08:15:19.304043Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2602.09464","snapshot_observed_at":"2026-08-01T06:32:24.932873Z","title":"Veeravalli, Aarti Gupta, and Sanjeev Arora","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21856","last_updated":"2026-07-23T22:50:23Z","snapshot_observed_at":"2026-08-07T15:15:19.846490Z","submitted_at":"2026-07-23T22:50:23Z","title":"LeAct: Learning to Reason from Expert Actions","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-01T06:32:24.932873Z"},"links":{"cited_paper":"/paper/2602.09464","citing_paper":"/paper/2607.21856"},"observation_digest":"sha256:a5cd43beb96a4b4ffab24fdaf88f397b518cd7c5f6cbd206e1f93d73759932ca","observation_id":"e6d6991a-47de-40cf-b65e-fb3d84d828ac","resolution":{"observed_at":"2026-08-01T06:32:24.932873Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2602.09464","snapshot_observed_at":"2026-08-11T20:22:28.377810Z","title":"Algoveri: An aligned benchmark for verified code generation on classical algorithms.arXiv preprint arXiv:2602.09464, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.09277","last_updated":"2026-08-10T08:33:18Z","snapshot_observed_at":"2026-08-13T23:42:31.805006Z","submitted_at":"2026-08-10T08:33:18Z","title":"P$^{3}$: Joint Program-and-Proof Planning for Verified Code Generation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T20:22:28.377810Z"},"links":{"cited_paper":"/paper/2602.09464","citing_paper":"/paper/2608.09277"},"observation_digest":"sha256:9f588a9387d544cb55c93afca3287361a330aad10923f16a4d3b28906a8d2090","observation_id":"74c6f477-bbeb-4501-abc7-b5562accd79c","resolution":{"observed_at":"2026-08-11T20:22:28.377810Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2602.09464","snapshot_observed_at":"2026-08-14T05:11:01.444016Z","title":"Algoveri: An aligned benchmark for verified code generation on classical algorithms.arXiv preprint arXiv:2602.09464, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.13522","last_updated":"2026-08-13T17:41:27Z","snapshot_observed_at":"2026-08-15T04:17:52.784601Z","submitted_at":"2026-08-13T17:41:27Z","title":"Vero: Can AI Agents Build Formally Verified Software Repositories?","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T05:11:01.444016Z"},"links":{"cited_paper":"/paper/2602.09464","citing_paper":"/paper/2608.13522"},"observation_digest":"sha256:bd6d2e96f5549314326adc7b52a5a79909272e3e426403bfde0f574fc18ef358","observation_id":"32488a48-c167-4da1-8484-a9101d8a2a4f","resolution":{"observed_at":"2026-08-14T05:11:01.444016Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2602.09464/citation-record","integrity":"/paper/2602.09464/integrity","json":"/paper/2602.09464/citation-record.json","paper":"/paper/2602.09464"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T02:57:46.656041Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T02:57:46.656041Z"},"links":{"citing_paper":"/paper/2602.09464"},"observation_digest":"sha256:7cea37335cba9262e40fd4ae0419e7ef99cf4b60c9b7010c262e7e94f3d6d2f0","observation_id":"5551e660-8582-43b2-afaf-9bcf99762de2","resolution":{"observed_at":"2026-08-03T02:57:46.656041Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T02:57:46.759630Z","title":"You should not cheat: even if you cannot implement or verify the code, you should not try to bypass the compiler (e.g, writing ’assume’, ’admit’, or ’#[verifier::]’)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T02:57:46.759630Z"},"links":{"citing_paper":"/paper/2602.09464"},"observation_digest":"sha256:5c3d9b970d2ba99e797275bdadc9bdc8b81c156aee62ce7fff5f081516cbf400","observation_id":"de9db96e-ca6d-4b4a-b98b-ddcd05550fc5","resolution":{"observed_at":"2026-08-03T02:57:46.759630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T02:57:46.791634Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T02:57:46.791634Z"},"links":{"citing_paper":"/paper/2602.09464"},"observation_digest":"sha256:52494b8524484badb38a64a92de697dbb4d2a405088cd17b348d81945b9777cd","observation_id":"527020bb-bc6f-4dd6-be42-3651dad8a18b","resolution":{"observed_at":"2026-08-03T02:57:46.791634Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T02:57:46.822071Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T02:57:46.822071Z"},"links":{"citing_paper":"/paper/2602.09464"},"observation_digest":"sha256:615fb39aa6c3f3047abd9bc2cada6ce63698f7d6301714410c8eae6824179460","observation_id":"9e731eea-716b-402d-907b-9c18511c2e97","resolution":{"observed_at":"2026-08-03T02:57:46.822071Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T02:57:46.865524Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T02:57:46.865524Z"},"links":{"citing_paper":"/paper/2602.09464"},"observation_digest":"sha256:a30b7e8bf737d6661fcb662e81773196f9c5ff1c441f3c8526c5e930322474d2","observation_id":"985cf052-eb8c-4e81-b6be-e67282e951d5","resolution":{"observed_at":"2026-08-03T02:57:46.865524Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T02:57:46.893395Z","title":"safety-only","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T02:57:46.893395Z"},"links":{"citing_paper":"/paper/2602.09464"},"observation_digest":"sha256:9f9f12ad5062ad5da7ab362484391e1c581badb054ee02833b20bc6fd79b31f6","observation_id":"86a13952-e86c-4f2c-9949-d6e077efd671","resolution":{"observed_at":"2026-08-03T02:57:46.893395Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T02:57:46.929908Z","title":"lucky guess","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T02:57:46.929908Z"},"links":{"citing_paper":"/paper/2602.09464"},"observation_digest":"sha256:21a1aed9c49b727754f18471129db369365b9d7bb93a2bc7bad68451063b1577","observation_id":"62fa6475-ec13-4e8b-93db-728ea92ab4df","resolution":{"observed_at":"2026-08-03T02:57:46.929908Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T02:57:46.564844Z","title":"contract","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","version":2},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-03T02:57:46.564844Z"},"links":{"citing_paper":"/paper/2602.09464"},"observation_digest":"sha256:b969d2f8b47039cea7bfaba0e161d43b4f4ca40752c9c11d1935ed533d4b199c","observation_id":"2b9ea0c9-c54a-4055-b66c-56f877982538","resolution":{"observed_at":"2026-08-03T02:57:46.564844Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2602.09464","last_updated":"2026-06-03T00:07:52Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-03T02:57:45.754840Z","submitted_at":"2026-02-10T06:58:26Z","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms"},"reference_resolution":{"displayed":8,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":8},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 8 of 8 outbound references and 6 inbound Pith citation observations for arXiv:2602.09464."}