Paper Citation Record · LEDGER

AI-Assisted Completion of CertiGC Proofs: An Experience Report

As of 19 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 1 inbound Pith citation observation for arXiv:2606.21167.

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

pith.paper-citation-record.v1
2606.21167 v1

Coverage vector

measured 11 of 11 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-26T13:05:11.699051Z

measured 12 of 12 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+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-15T15:18:51.480969Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-15T18:16:14.067578Z

Reference resolution

11 of 11 outbound references displayed

verified exact0
verified fuzzy0
unresolved10
parse uncertain1
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f7126bf8-8687-465c-afae-e2c7c4a04835 · outbound

This paper cites Appel and Robert Dockins and Aquinas Hobor and Lennart Beringer and Josiah Dodds and Gordon Stewart and Sandrine Blazy and Xavier Leroy , title =.

AI-Assisted Completion of CertiGC Proofs: An Experience Report Appel and Robert Dockins and Aquinas Hobor and Lennart Beringer and Josiah Dodds and Gordon Stewart and Sandrine Blazy and Xavier Leroy , title =

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-26T13:05:11.699051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a210cf8-7701-4508-b297-9a3eac470081 · outbound

This paper cites Proceedings of the ACM on Programming Languages , volume =.

AI-Assisted Completion of CertiGC Proofs: An Experience Report Proceedings of the ACM on Programming Languages , volume =

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-26T13:05:11.699051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bcd88db-b8a5-427f-ba97-3eb4e608b362 · outbound

This paper cites Communications of the ACM , volume =.

AI-Assisted Completion of CertiGC Proofs: An Experience Report Communications of the ACM , volume =

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-26T13:05:11.699051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 651bd6ea-3e16-46b4-910c-c8b635eaab78 · outbound

This paper cites 2023 , isbn =.

AI-Assisted Completion of CertiGC Proofs: An Experience Report 2023 , isbn =

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-26T13:05:11.699051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7eb9b899-0402-4e57-bd8e-a2d9af97abf4 · outbound

This paper cites Appel and John Gregory Morrisett and Zoe Paraskevopoulou and Randy Pollack and Olivier Savary B.

AI-Assisted Completion of CertiGC Proofs: An Experience Report Appel and John Gregory Morrisett and Zoe Paraskevopoulou and Randy Pollack and Olivier Savary B

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-26T13:05:11.699051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 990ea3e3-91b0-44ee-b3c8-41cd7af939d6 · outbound

This paper cites 2026 , eprint =.

AI-Assisted Completion of CertiGC Proofs: An Experience Report 2026 , eprint =

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-26T13:05:11.699051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80d5da87-1de8-41c4-bf73-5782d67c7d2e · outbound

This paper cites 2026 , month = mar, howpublished =.

AI-Assisted Completion of CertiGC Proofs: An Experience Report 2026 , month = mar, howpublished =

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-26T13:05:11.699051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58caf493-49a4-40ac-9735-13c83ba727b5 · outbound

This paper cites an unresolved cited work.

AI-Assisted Completion of CertiGC Proofs: An Experience Report Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-26T13:05:11.699051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d043a077-5da0-4758-b369-cf91522c67d8 · outbound

This paper cites an unresolved cited work.

AI-Assisted Completion of CertiGC Proofs: An Experience Report Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-26T13:05:11.699051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5bff72a-204b-4b2b-8d65-dd9d3a453d43 · outbound

This paper cites an unresolved cited work.

AI-Assisted Completion of CertiGC Proofs: An Experience Report Unresolved cited work

Reference 10

Resolution: parse uncertain; no resolver link, observed 2026-06-26T13:05:11.699051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 141db708-8bd7-4eeb-a925-9b7994ad9a12 · outbound

This paper cites Appel , title =.

AI-Assisted Completion of CertiGC Proofs: An Experience Report Appel , title =

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-26T13:05:11.699051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation f7eb1dd8-1857-4bc3-8c18-a1624b6e35cb · inbound

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI cites this paper.

Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI AI-Assisted Completion of CertiGC Proofs: An Experience Report

Reference 37

Resolution: metadata mismatch; local_arxiv, observed 2026-08-15T15:18:51.529301Z

Source-reported events for the cited work

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