Paper Citation Record · LEDGER

Increasing the Expressiveness of a Gradual Verifier

As of 15 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 1 inbound Pith citation observation for arXiv:2507.13533.

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

pith.paper-citation-record.v1
2507.13533 v1

Coverage vector

measured 13 of 13 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T16:29:12.697789Z

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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-01T23:38:10.386220Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

13 of 13 outbound references displayed

verified exact3
verified fuzzy1
unresolved8
parse uncertain1
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 00546c86-7cf7-4921-9d25-fa4d72f1a2e9 · outbound

This paper cites an unresolved cited work.

Increasing the Expressiveness of a Gradual Verifier Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:29:15.135397Z

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 d22ba082-7c7c-41e5-9412-0391eaacb019 · outbound

This paper cites an unresolved cited work.

Increasing the Expressiveness of a Gradual Verifier Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T16:29:11.257568Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 218104ce-61cd-4dc9-a612-a36d03c7f7de · outbound

This paper cites Gradual C0: Symbolic Execution for Gradual Verification.

Increasing the Expressiveness of a Gradual Verifier Gradual C0: Symbolic Execution for Gradual Verification

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:29:13.478606Z

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 a0be7a98-36b0-498a-8873-3a6f803c077a · outbound

This paper cites Schwerhoff, and Alexander J.

Increasing the Expressiveness of a Gradual Verifier Schwerhoff, and Alexander J

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T16:29:11.529773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 278ae231-0303-4a94-a279-94c8a9603021 · outbound

This paper cites Parkinson and Gavin M.

Increasing the Expressiveness of a Gradual Verifier Parkinson and Gavin M

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:29:14.843980Z

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 afdf8829-daca-4502-a172-eaf9638a81f1 · outbound

This paper cites Reducing urban traffic congestion due to localized routing decisions.

Increasing the Expressiveness of a Gradual Verifier Reducing urban traffic congestion due to localized routing decisions

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:29:13.259847Z

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 cc0ef58f-9835-4ccd-b995-4cf84e8ddd02 · outbound

This paper cites Schwerhoff.

Increasing the Expressiveness of a Gradual Verifier Schwerhoff

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T16:29:11.865692Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b4a6306-a13e-4c05-988f-bfcb6142f9cd · outbound

This paper cites an unresolved cited work.

Increasing the Expressiveness of a Gradual Verifier Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-08-06T16:29:13.001888Z

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 0d132e0d-4cf2-470b-8034-2361bd82ff4f · outbound

This paper cites an unresolved cited work.

Increasing the Expressiveness of a Gradual Verifier Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:29:14.567951Z

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 3183a322-2531-4888-96b0-8e3b969101c6 · outbound

This paper cites an unresolved cited work.

Increasing the Expressiveness of a Gradual Verifier Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T16:29:12.295671Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad128c5c-a406-431e-9b5e-a8f2fe82b026 · outbound

This paper cites an unresolved cited work.

Increasing the Expressiveness of a Gradual Verifier Unresolved cited work

Reference 11

Resolution: parse uncertain; raw_fallback, observed 2026-08-06T16:29:14.356898Z

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 1b58da92-dea4-456a-8228-3e52f7a71676 · outbound

This paper cites an unresolved cited work.

Increasing the Expressiveness of a Gradual Verifier Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:29:13.984326Z

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 4ab31722-6817-4d41-bf30-ee9a42cc1c36 · outbound

This paper cites an unresolved cited work.

Increasing the Expressiveness of a Gradual Verifier Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:29:13.701079Z

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.

Pith citing papers

Observation e521a835-1f42-475e-9269-ee8c3486e12f · inbound

Gradually Verifying Unfolding Expressions & Pure Functions cites this paper.

Gradually Verifying Unfolding Expressions & Pure Functions Increasing the Expressiveness of a Gradual Verifier

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:10.386220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.