Paper Citation Record · LEDGER

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

As of 14 August 2026, this Paper Citation Record lists 8 of 8 outbound references and 6 inbound Pith citation observations for arXiv:2602.09464.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2602.09464 v2

Coverage vector

measured 8 of 8 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T02:57:46.929908Z

measured 14 of 14 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 6 of 6 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-14T05:11:01.444016Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-25T04:55:23.820463Z

Reference resolution

8 of 8 outbound references displayed

verified exact0
verified fuzzy0
unresolved7
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5551e660-8582-43b2-afaf-9bcf99762de2 · outbound

This paper cites an unresolved cited work.

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T02:57:46.656041Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de9db96e-ca6d-4b4a-b98b-ddcd05550fc5 · outbound

This paper cites 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::]’).

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms 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::]’)

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T02:57:46.759630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 527020bb-bc6f-4dd6-be42-3651dad8a18b · outbound

This paper cites an unresolved cited work.

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T02:57:46.791634Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e731eea-716b-402d-907b-9c18511c2e97 · outbound

This paper cites an unresolved cited work.

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T02:57:46.822071Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 985cf052-eb8c-4e81-b6be-e67282e951d5 · outbound

This paper cites an unresolved cited work.

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T02:57:46.865524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86a13952-e86c-4f2c-9949-d6e077efd671 · outbound

This paper cites safety-only.

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms safety-only

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T02:57:46.893395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62fa6475-ec13-4e8b-93db-728ea92ab4df · outbound

This paper cites lucky guess.

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms lucky guess

Reference 12

Resolution: malformed identifier; no resolver link, observed 2026-08-03T02:57:46.929908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b9ea0c9-c54a-4055-b66c-56f877982538 · outbound

This paper cites contract.

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms contract

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-03T02:57:46.564844Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation f5ecb91e-bf5f-41ae-bd2e-e3d56eb78aa4 · inbound

VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation cites this paper.

VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

Reference 53

Resolution: metadata mismatch; arxiv_id, observed 2026-06-04T02:07:08.734881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 15eb66c3-f0e2-4ec7-a00a-f64642bbdb13 · inbound

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems cites this paper.

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

Reference 62

Resolution: verified exact; arxiv_id, observed 2026-06-04T02:07:08.734881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation bb5c82b6-e2af-4ea3-be40-4400cf040af8 · inbound

Case study: solving P-99 with LPTP and an LLM cites this paper.

Case study: solving P-99 with LPTP and an LLM AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T08:15:19.304043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6d6991a-47de-40cf-b65e-fb3d84d828ac · inbound

LeAct: Learning to Reason from Expert Actions cites this paper.

LeAct: Learning to Reason from Expert Actions AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-01T06:32:24.932873Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74c6f477-bbeb-4501-abc7-b5562accd79c · inbound

P$^{3}$: Joint Program-and-Proof Planning for Verified Code Generation cites this paper.

P$^{3}$: Joint Program-and-Proof Planning for Verified Code Generation AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-11T20:22:28.377810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32488a48-c167-4da1-8484-a9101d8a2a4f · inbound

Vero: Can AI Agents Build Formally Verified Software Repositories? cites this paper.

Vero: Can AI Agents Build Formally Verified Software Repositories? AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-14T05:11:01.444016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.