Paper Citation Record · LEDGER

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

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.

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

pith.paper-citation-record.v1
2503.19599 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 5 of 5 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00

measured 5 of 5 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-11T20:47:20.640887Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-03T14:18:22.514797Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 261a49ac-a746-42e5-9bfa-6d1ba86ee69a · inbound

Evaluating Code Reasoning Abilities of Large Language Models Under Real-World Settings cites this paper.

Evaluating Code Reasoning Abilities of Large Language Models Under Real-World Settings HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-05-16T21:28:34.254417Z

Source-reported events for the cited work

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

Observation be237666-62d6-4caa-b95f-924858d81b6b · inbound

Viverra: Text-to-Code with Guarantees cites this paper.

Viverra: Text-to-Code with Guarantees HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

Reference 78

Resolution: verified exact; arxiv_id, observed 2026-05-15T03:19:44.295616Z

Source-reported events for the cited work

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

Observation 7da32e0a-1e08-4ebd-95bb-5d4b647f2826 · inbound

Inferring Code Correctness from Specification cites this paper.

Inferring Code Correctness from Specification HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-06-29T14:33:31.507421Z

Source-reported events for the cited work

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

Observation 533a3d94-acdd-42bd-b6bc-bd9099604ffd · inbound

Rethinking Complexity Metrics for LLM-Integrated Applications: Beyond Source Code cites this paper.

Rethinking Complexity Metrics for LLM-Integrated Applications: Beyond Source Code HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

Reference 25

Resolution: metadata mismatch; arxiv_id, observed 2026-07-03T14:18:22.516207Z

Source-reported events for the cited work

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

Observation bd26cde0-332b-463e-ba7b-18b9015c4dda · inbound

Teaching Code LLMs to Reason with Intermediate Formal Specifications cites this paper.

Teaching Code LLMs to Reason with Intermediate Formal Specifications HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.