Paper Citation Record · LEDGER

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK

As of 12 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 3 inbound Pith citation observations for arXiv:2502.07728.

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

pith.paper-citation-record.v1
2502.07728 v1

Coverage vector

measured 26 of 26 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-08T11:48:59.174822Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T18:07:08.531512Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-06-28T20:12:37.730379Z

Reference resolution

26 of 26 outbound references displayed

verified exact0
verified fuzzy10
unresolved16
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 3bace703-5ab1-4597-bcb8-d3da761e591b · outbound

This paper cites write newline.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK write newline

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-08T11:48:59.062326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86a7ab48-f8e1-42de-8722-db25dc58bf1f · outbound

This paper cites Ada programming language.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Ada programming language

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:48:59.545515Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation cfe76089-dcf2-4be6-9ee4-f38421978b0f · outbound

This paper cites an unresolved cited work.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:48:59.531092Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d7406dad-9796-44f5-ba97-1bd4d6ae129e · outbound

This paper cites C., Kaliszyk, C., Paulson, L.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK C., Kaliszyk, C., Paulson, L

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:48:59.516738Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 8e9d5264-74ac-4cc3-a800-10dd9af20ae6 · outbound

This paper cites an unresolved cited work.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:48:59.502356Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation a7685efa-043a-4bf7-8e1a-bb0895200ef7 · outbound

This paper cites an unresolved cited work.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:48:59.489536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 31154850-4d35-4b41-a6cf-1b1b8524d82c · outbound

This paper cites and Schanda, F.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK and Schanda, F

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:48:59.476982Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6e6dee66-e627-4113-b4c5-0953dcb978c4 · outbound

This paper cites an unresolved cited work.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:48:59.462857Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5f6362f5-9308-48c7-b340-913b4b2e781f · outbound

This paper cites an unresolved cited work.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:48:59.449253Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6a1fdafd-34b6-4323-a87c-4810f7e91ebe · outbound

This paper cites an unresolved cited work.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:48:59.435666Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 1c2be4a2-e0bc-448d-a9e6-5469f3415fe0 · outbound

This paper cites and Paskevich, A.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK and Paskevich, A

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:48:59.421061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 235ddfd6-483f-4414-abc9-0b196683951b · outbound

This paper cites an unresolved cited work.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:48:59.406433Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation af148078-abca-4c0b-be68-1854b15f6aab · outbound

This paper cites N., Ringer, T., and Brun, Y.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK N., Ringer, T., and Brun, Y

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:48:59.390724Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 9fdf83c0-7062-4c73-99c8-a46dcb163093 · outbound

This paper cites an unresolved cited work.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:48:59.376512Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 34394e9e-972c-42cd-84a7-39fe8aedc01d · outbound

This paper cites W., Schuurmans, D., Bosma, M., Ichter, B., Xia, F., Chi, E., Le, Q., and Zhou, D.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK W., Schuurmans, D., Bosma, M., Ichter, B., Xia, F., Chi, E., Le, Q., and Zhou, D

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:48:59.362837Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 0294b45a-9e27-427f-9a2f-02ff5aa7a5bb · outbound

This paper cites Q., Li, W., Tworkowski, S., Czechowski, K., Odrzygóźdź, T., Miłoś, P., Wu, Y., and Jamnik, M.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Q., Li, W., Tworkowski, S., Czechowski, K., Odrzygóźdź, T., Miłoś, P., Wu, Y., and Jamnik, M

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:48:59.349055Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation bb3618fd-48bb-44bd-9e27-b0b1574b1c4c · outbound

This paper cites Q., Welleck, S., Zhou, J.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Q., Welleck, S., Zhou, J

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:48:59.334399Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 392e80ec-bccc-4bb8-801e-ebbd3c0601af · outbound

This paper cites S., Reid, M., Matsuo, Y., and Iwasawa, Y.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK S., Reid, M., Matsuo, Y., and Iwasawa, Y

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-08T11:48:59.139415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 488c9e27-8395-4b27-bbe3-0d59ef458521 · outbound

This paper cites an unresolved cited work.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:48:59.310692Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b31fbb4c-4130-41ae-bbb6-cf06f49d6b68 · outbound

This paper cites Q., Zhou, J.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Q., Zhou, J

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:48:59.297966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 1e83e696-bb19-4cef-a270-156d3c1e302c · outbound

This paper cites an unresolved cited work.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:48:59.283961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5279cfca-94ef-4097-a9ff-50a005cfdcca · outbound

This paper cites an unresolved cited work.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:48:59.269055Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6159f9a6-718b-4f51-9106-d688cd1e8023 · outbound

This paper cites an unresolved cited work.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:48:59.254276Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 52ba968e-2389-4a75-b266-03e55bfc0262 · outbound

This paper cites an unresolved cited work.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:48:59.240023Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 708e43df-1255-4055-9141-32ae38342023 · outbound

This paper cites an unresolved cited work.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-08T11:48:59.225599Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation f3f95f95-a344-4428-a555-f10db7f5f6dd · outbound

This paper cites N., Kaiser, L., and Polosukhin, I.

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK N., Kaiser, L., and Polosukhin, I

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T11:48:59.210595Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Pith citing papers

Observation cc8bc8d6-29f9-452a-9a2d-30704ed26ba0 · inbound

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps cites this paper.

Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T18:07:08.531512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bcd9ac2-2911-4ab4-8cd2-ee90be43e175 · inbound

Neuroforger: certified violation witnesses for smart contracts verification via LLMs cites this paper.

Neuroforger: certified violation witnesses for smart contracts verification via LLMs Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK

Reference 19

Resolution: verified exact; arxiv_id, observed 2026-06-28T20:12:37.731551Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation e303eb39-2abf-4064-8d3d-5679fe87e38c · inbound

The Prover Is the Judge: Verified Security Software from AI Coding Agents in Ada/SPARK cites this paper.

The Prover Is the Judge: Verified Security Software from AI Coding Agents in Ada/SPARK Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T02:26:01.577798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.