Paper Citation Record · LEDGER

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs

As of 20 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2507.03659.

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

pith.paper-citation-record.v1
2507.03659 v3

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T20:11:03.012990Z

measured 34 of 34 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

34 of 34 outbound references displayed

verified exact0
verified fuzzy27
unresolved7
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation bdc2c919-cd82-43a1-839d-800743640392 · outbound

This paper cites In: 2023 38th IEEE/ACM Int.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: 2023 38th IEEE/ACM Int

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.549975Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 645d68d1-a0b9-4c9f-8c67-67e19800cdfa · outbound

This paper cites In: Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.534522Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9eefee56-6270-4d13-b37f-a33953461130 · outbound

This paper cites In: 23rd Int.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: 23rd Int

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.520210Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7619e8f7-4584-43a4-9248-32172c322f04 · outbound

This paper cites an unresolved cited work.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-06T20:11:03.505653Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 210368d0-9c3b-404c-83bb-5974166f334d · outbound

This paper cites an unresolved cited work.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-06T20:11:03.491295Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation bcef0c74-edc7-4aeb-9c63-f4c8cbca3a72 · outbound

This paper cites In: Proceedings of the International Conference on Formal Methods in Computer-Aided Design.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: Proceedings of the International Conference on Formal Methods in Computer-Aided Design

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.477258Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 046d175e-01a2-4aba-ac59-ac40ae1ec79d · outbound

This paper cites IEEE Transactions on Software Engineering38(1), 54–72 (Jan 2012).

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs IEEE Transactions on Software Engineering38(1), 54–72 (Jan 2012)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.462993Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation cbe833a8-b146-4e20-8bbc-807a72a4c334 · outbound

This paper cites ACM62(12), 56–65 (Nov 2019).

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs ACM62(12), 56–65 (Nov 2019)

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.448972Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c32d7a42-d063-4187-a269-ee610a3037c6 · outbound

This paper cites IEEE Software38(4), 22–27 (Jul 2021).

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs IEEE Software38(4), 22–27 (Jul 2021)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.434894Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6d41d56c-acf7-47fb-941b-b408bf20f4a9 · outbound

This paper cites an unresolved cited work.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-06T20:11:03.420024Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 25a4ef5b-2ede-429a-9712-3449812d9a0a · outbound

This paper cites Electron.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs Electron

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.405303Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3e2b61e2-c54c-46f2-a7e9-d6accab90eb3 · outbound

This paper cites DafnyBench: A Benchmark for Formal Software Verification.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs DafnyBench: A Benchmark for Formal Software Verification

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T20:11:01.430708Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12b26871-0c5e-4aaf-90a6-35598881d30a · outbound

This paper cites Prentice Hall Upper Saddle River (2002).

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs Prentice Hall Upper Saddle River (2002)

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.391055Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d463f1fb-c750-4dcf-86ce-b1756ab256d3 · outbound

This paper cites an unresolved cited work.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-06T20:11:03.377104Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8275e020-671c-4ad8-898b-557a8a857477 · outbound

This paper cites Technical Report hal-01956501, HAL Archives Ouvertes (2018).

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs Technical Report hal-01956501, HAL Archives Ouvertes (2018)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.361752Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e74178e3-83e6-4933-baf5-48cb6ab7f725 · outbound

This paper cites In: Ramakrishnan, C.R., Rehof, J.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: Ramakrishnan, C.R., Rehof, J

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.346688Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8c538df8-5387-489b-8c3d-c45a5d4469ca · outbound

This paper cites IEEE Software30(3), 50–57 (May 2013).

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs IEEE Software30(3), 50–57 (May 2013)

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.332309Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0b58764e-86f2-425e-b19b-68dcee8a7934 · outbound

This paper cites an unresolved cited work.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-06T20:11:03.317863Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1c0d5cc8-c196-4e11-ad6a-413a5b478941 · outbound

This paper cites ACM Trans.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs ACM Trans

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.303670Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 88df8d0a-e200-4505-a08a-e8f6f2f4ad90 · outbound

This paper cites In: 2013 35th International Conference on Software Engi- neering (ICSE).

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: 2013 35th International Conference on Software Engi- neering (ICSE)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.289227Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8a73f6d5-1487-4693-b2fe-87b04dc97ecb · outbound

This paper cites In: Enea, C., Piskac, R.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: Enea, C., Piskac, R

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.274754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6a9da575-b053-4116-88f5-61de889dc5af · outbound

This paper cites In: Gnesi, S., Rensink, A.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: Gnesi, S., Rensink, A

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.259858Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6c97332f-1515-4d26-a6f5-1a428bca7faa · outbound

This paper cites In: 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.244989Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a3f75bd3-744b-4e02-a487-f7b8af0d423e · outbound

This paper cites an unresolved cited work.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-06T20:11:03.231034Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 18ef3cff-a8a9-499e-a9ad-780fe4e8c761 · outbound

This paper cites In: Proc.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: Proc

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.215490Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation af0fbf1b-c5d9-4bec-a318-55a6accce731 · outbound

This paper cites In: Proceedings of the 2024 IEEE/ACM 12th Int.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: Proceedings of the 2024 IEEE/ACM 12th Int

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.199958Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9f1aa29f-70f7-4519-b540-9213fc0438bf · outbound

This paper cites In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.183640Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7c22a629-ecb8-443a-8575-7ae0bcbb7216 · outbound

This paper cites In: Avni, G., Giacobbe, M., Johnson, T.T., Katz, G., Lukina, A., Narodytska, N., Schilling, C.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: Avni, G., Giacobbe, M., Johnson, T.T., Katz, G., Lukina, A., Narodytska, N., Schilling, C

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.168751Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a7a0faf6-8d27-47e8-a418-6e6e7b969a58 · outbound

This paper cites In: Proceedings of the 19th international symposium on Software testing and analysis.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: Proceedings of the 19th international symposium on Software testing and analysis

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.151147Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 788c041a-ee8d-491f-9759-37c39b71975c · outbound

This paper cites IEEE Transactions on Reliability63(1), 290–308 (Mar 2014).

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs IEEE Transactions on Reliability63(1), 290–308 (Mar 2014)

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.133172Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation cec45e30-1b24-408b-956a-55c8fc5472a7 · outbound

This paper cites IEEE Trans.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs IEEE Trans

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.116993Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6959df65-3d40-41b2-94f5-07c0ccea5f7b · outbound

This paper cites In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE).

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.101566Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c5e9393c-0edf-458b-97e7-bf856a0f6b30 · outbound

This paper cites In: Proc.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs In: Proc

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.085432Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7c6bf159-c5be-429b-9679-0a716327fb17 · outbound

This paper cites ACM Trans.

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs ACM Trans

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:11:03.069696Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

No inbound Pith citation observations are available.