Paper Citation Record · LEDGER

Do AI models help produce verified bug fixes?

As of 9 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2507.15822.

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

pith.paper-citation-record.v1
2507.15822 v2

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T15:27:21.759250Z

measured 36 of 36 standing notices

One-hop event checks from named stored sources.

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

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

36 of 36 outbound references displayed

verified exact0
verified fuzzy21
unresolved13
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f7476b7d-59ed-4ae5-b37e-76ead5bb4d8f · outbound

This paper cites an unresolved cited work.

Do AI models help produce verified bug fixes? Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-06T15:27:27.139697Z

Source-reported events for the cited work

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

Observation 0992ae1b-98df-4d57-9b51-ff7ebb0a6cc6 · outbound

This paper cites an unresolved cited work.

Do AI models help produce verified bug fixes? Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-06T15:27:27.130493Z

Source-reported events for the cited work

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

Observation 3ad414d9-7574-41de-ad99-aeb6113bc2ed · outbound

This paper cites Proceedings of the ACM on Programming Languages 7(OOPSLA1), 85–111 (2023).

Do AI models help produce verified bug fixes? Proceedings of the ACM on Programming Languages 7(OOPSLA1), 85–111 (2023)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:27.121434Z

Source-reported events for the cited work

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

Observation c3621cbe-460c-46ac-a85b-347cf667652f · outbound

This paper cites an unresolved cited work.

Do AI models help produce verified bug fixes? Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-06T15:27:27.065601Z

Source-reported events for the cited work

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

Observation 56e69961-6f0b-466c-ad0b-d49201b98c87 · outbound

This paper cites In: Marciniak, J.J.

Do AI models help produce verified bug fixes? In: Marciniak, J.J

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:26.872431Z

Source-reported events for the cited work

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

Observation 26239767-61c7-4033-ad6b-5b5793ec96ff · outbound

This paper cites VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search.

Do AI models help produce verified bug fixes? VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T15:27:19.167597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa91ce0e-cdc7-4af0-8cff-1a052d3009c3 · outbound

This paper cites Encyclopedia of software engineering 1(528-532), 6 (1994).

Do AI models help produce verified bug fixes? Encyclopedia of software engineering 1(528-532), 6 (1994)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:26.656724Z

Source-reported events for the cited work

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

Observation 4d873d77-5d5d-4244-8476-81358ff1894b · outbound

This paper cites Available at SSRN 4945566 (2024).

Do AI models help produce verified bug fixes? Available at SSRN 4945566 (2024)

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:26.481461Z

Source-reported events for the cited work

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

Observation 9b6003f0-974c-492a-af17-b99a4209c42a · outbound

This paper cites In: I nternational Con- ference on Tools and Algorithms for the Construction and Ana lysis of Systems (TACAS).

Do AI models help produce verified bug fixes? In: I nternational Con- ference on Tools and Algorithms for the Construction and Ana lysis of Systems (TACAS)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:26.286099Z

Source-reported events for the cited work

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

Observation ac9d4cdc-f0de-4791-a7a5-467ca678489f · outbound

This paper cites an unresolved cited work.

Do AI models help produce verified bug fixes? Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-06T15:27:26.094189Z

Source-reported events for the cited work

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

Observation 727f7873-ecd0-4176-8e75-757b9452b243 · outbound

This paper cites an unresolved cited work.

Do AI models help produce verified bug fixes? Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-06T15:27:25.891362Z

Source-reported events for the cited work

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

Observation 6bc6383f-5871-40fd-9968-7984a8309915 · outbound

This paper cites an unresolved cited work.

Do AI models help produce verified bug fixes? Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-06T15:27:25.713380Z

Source-reported events for the cited work

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

Observation b5be7c2f-a394-4a1a-b84a-90ccaef84381 · outbound

This paper cites In: EPIA Conference on Artiﬁcial Intelligence.

Do AI models help produce verified bug fixes? In: EPIA Conference on Artiﬁcial Intelligence

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:25.516177Z

Source-reported events for the cited work

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

Observation 8cbba2ae-4374-439b-8add-417927d0df20 · outbound

This paper cites In: Proceedings of the 23 rd Koli calling inter- national conference on computing education research.

Do AI models help produce verified bug fixes? In: Proceedings of the 23 rd Koli calling inter- national conference on computing education research

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:25.348135Z

Source-reported events for the cited work

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

Observation a4b6ebab-db89-4f5c-aa0a-0b8563a795e3 · outbound

This paper cites Personality and Social Psychology Review 2(3), 196–217 (1998).

Do AI models help produce verified bug fixes? Personality and Social Psychology Review 2(3), 196–217 (1998)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:25.216351Z

Source-reported events for the cited work

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

Observation 123ee3b9-7404-40e2-b03b-a52aede07394 · outbound

This paper cites an unresolved cited work.

Do AI models help produce verified bug fixes? Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-06T15:27:25.056580Z

Source-reported events for the cited work

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

Observation 8b1a22bc-9d6e-444b-a268-2e659b4cf799 · outbound

This paper cites an unresolved cited work.

Do AI models help produce verified bug fixes? Unresolved cited work

Reference 17

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T15:27:24.878373Z

Source-reported events for the cited work

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

Observation f2938a33-6a0f-45e1-8cab-ef629c1f057a · outbound

This paper cites PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.

Do AI models help produce verified bug fixes? PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T15:27:20.360263Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9aa1160c-5fa8-4715-8cd3-aba8b230846c · outbound

This paper cites ok pal, we have to code that now.

Do AI models help produce verified bug fixes? ok pal, we have to code that now

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:24.687664Z

Source-reported events for the cited work

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

Observation 6be86af6-19cb-413a-96f5-354fef79db1e · outbound

This paper cites Design by Contract.

Do AI models help produce verified bug fixes? Design by Contract

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:24.492023Z

Source-reported events for the cited work

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

Observation 607b39ad-f732-4281-beef-1cb73c82c3fe · outbound

This paper cites Blog article at Communications of the ACM (June 2023).

Do AI models help produce verified bug fixes? Blog article at Communications of the ACM (June 2023)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:24.318438Z

Source-reported events for the cited work

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

Observation de75220a-69de-4128-bdbe-97685b857459 · outbound

This paper cites ACM Computing Surveys (CSUR) 51(1), 1–24 (2018).

Do AI models help produce verified bug fixes? ACM Computing Surveys (CSUR) 51(1), 1–24 (2018)

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:24.148319Z

Source-reported events for the cited work

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

Observation 53630ddf-d3db-40ed-a465-6ff8b457ab9c · outbound

This paper cites an unresolved cited work.

Do AI models help produce verified bug fixes? Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-06T15:27:23.999101Z

Source-reported events for the cited work

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

Observation a51ec2c5-0d2b-481c-b251-a4a446f36be0 · outbound

This paper cites an unresolved cited work.

Do AI models help produce verified bug fixes? Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-06T15:27:23.845345Z

Source-reported events for the cited work

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

Observation ce34712b-3394-4499-ada0-950623f371c4 · outbound

This paper cites it’s weird that it knows what i want.

Do AI models help produce verified bug fixes? it’s weird that it knows what i want

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:23.735547Z

Source-reported events for the cited work

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

Observation d0ddac82-153e-40e5-adc0-81b6070577f4 · outbound

This paper cites an unresolved cited work.

Do AI models help produce verified bug fixes? Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-06T15:27:23.598067Z

Source-reported events for the cited work

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

Observation ec2c0d19-1fd4-409f-b01e-e6a67a122501 · outbound

This paper cites In: 2024 IEEE Frontiers in Education Conference (FIE).

Do AI models help produce verified bug fixes? In: 2024 IEEE Frontiers in Education Conference (FIE)

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:23.480218Z

Source-reported events for the cited work

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

Observation 43057e10-79c7-4116-8eb9-7176d2f463a6 · outbound

This paper cites Communications of the ACM (July 2024), https://cacm.acm.org/news/the-impact-of-ai-on-compu ter-science-education/.

Do AI models help produce verified bug fixes? Communications of the ACM (July 2024), https://cacm.acm.org/news/the-impact-of-ai-on-compu ter-science-education/

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:23.325490Z

Source-reported events for the cited work

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

Observation 72cd4ade-fb15-4558-8aaf-b19064ebb6ba · outbound

This paper cites an unresolved cited work.

Do AI models help produce verified bug fixes? Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-06T15:27:23.158481Z

Source-reported events for the cited work

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

Observation 08fc5ffc-2b28-4f71-9d73-2fa27f601d77 · outbound

This paper cites Next Steps in LLM-Supported Java Verification.

Do AI models help produce verified bug fixes? Next Steps in LLM-Supported Java Verification

Reference 30

Resolution: metadata mismatch; local_arxiv, observed 2026-08-06T15:27:21.962093Z

Source-reported events for the cited work

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

Observation 634a8933-8f0c-4650-a786-6ae7f9e1c356 · outbound

This paper cites arXiv preprint arXiv:2305.

Do AI models help produce verified bug fixes? arXiv preprint arXiv:2305

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:22.965115Z

Source-reported events for the cited work

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

Observation 77a6ddc6-cdd0-4057-b980-b4a934421cb1 · outbound

This paper cites In: I nternational Confer- ence on Tools and Algorithms for the Construction and Analys is of Systems (TACAS).

Do AI models help produce verified bug fixes? In: I nternational Confer- ence on Tools and Algorithms for the Construction and Analys is of Systems (TACAS)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:22.758297Z

Source-reported events for the cited work

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

Observation f070250d-d8c0-4e40-be57-1f3c24199f18 · outbound

This paper cites experience: Evaluat- ing the usability of code generation tools powered by large l anguage models.

Do AI models help produce verified bug fixes? experience: Evaluat- ing the usability of code generation tools powered by large l anguage models

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:22.555404Z

Source-reported events for the cited work

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

Observation 8ebea45f-23ac-4292-834c-c24c520d9c51 · outbound

This paper cites In: 2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC).

Do AI models help produce verified bug fixes? In: 2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC)

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:22.366084Z

Source-reported events for the cited work

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

Observation d0045321-9acc-4864-a53e-2e66bca3a958 · outbound

This paper cites I n: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.

Do AI models help produce verified bug fixes? I n: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:22.230913Z

Source-reported events for the cited work

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

Observation 8badbe7d-f791-470d-8e47-836d6e067ef7 · outbound

This paper cites In: Proceedings of t he 33rd ACM SIG- SOFT International Symposium on Software Testing and Analy sis.

Do AI models help produce verified bug fixes? In: Proceedings of t he 33rd ACM SIG- SOFT International Symposium on Software Testing and Analy sis

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:27:22.108173Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.