Paper Citation Record · LEDGER

Next Steps in LLM-Supported Java Verification

As of 9 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 1 inbound Pith citation observation for arXiv:2502.01573.

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

pith.paper-citation-record.v1
2502.01573 v1

Coverage vector

measured 21 of 21 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-09T14:58:50.123767Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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-06T15:27:21.289271Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T15:27:21.878365Z

Reference resolution

21 of 21 outbound references displayed

verified exact5
verified fuzzy11
unresolved2
parse uncertain0
malformed identifier3
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation acf8e066-fc46-4019-9045-e5d4b04bcb85 · outbound

This paper cites (eds.): Deductive Software Verification - The KeY Book - From Theory to Practice.

Next Steps in LLM-Supported Java Verification (eds.): Deductive Software Verification - The KeY Book - From Theory to Practice

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T14:58:51.155101Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation dee1c742-242f-48f9-a124-7da45420fc55 · outbound

This paper cites : Modular Verification of JML Contracts Using Bounded Model Checking.

Next Steps in LLM-Supported Java Verification : Modular Verification of JML Contracts Using Bounded Model Checking

Reference 2

Resolution: verified exact; doi, observed 2026-08-09T14:58:50.373904Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 62527480-2ed5-424f-aba8-6e861a6f42cf · outbound

This paper cites : Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification.

Next Steps in LLM-Supported Java Verification : Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification

Reference 3

Resolution: malformed identifier; no resolver link, observed 2026-08-09T14:58:49.937354Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ffd9f6e-edb4-4e94-baa2-0ac6c6c6b33f · outbound

This paper cites In: Larochelle, H., Ranzato, M.

Next Steps in LLM-Supported Java Verification In: Larochelle, H., Ranzato, M

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T14:58:51.052091Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation fbcc11ee-99eb-465d-ad9a-c7b416c1195e · outbound

This paper cites : Ranking LLM-Generated Loop Invariants for Program Verification.

Next Steps in LLM-Supported Java Verification : Ranking LLM-Generated Loop Invariants for Program Verification

Reference 5

Resolution: malformed identifier; raw_fallback, observed 2026-08-09T14:58:50.972060Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9aae984d-363a-48c1-8e19-e0b6189017d2 · outbound

This paper cites In: Dubois, C., Giannakopoulou, D., M ´ery, D.

Next Steps in LLM-Supported Java Verification In: Dubois, C., Giannakopoulou, D., M ´ery, D

Reference 6

Resolution: verified exact; doi, observed 2026-08-09T14:58:50.346416Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 659159b4-6832-47b9-a194-a8d380d354e0 · outbound

This paper cites In: AI for Math Workshop @ ICML 2024 (2024).

Next Steps in LLM-Supported Java Verification In: AI for Math Workshop @ ICML 2024 (2024)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T14:58:50.952248Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c25cf9c0-21f2-46ea-a0be-9d0bd8bc72e7 · outbound

This paper cites an unresolved cited work.

Next Steps in LLM-Supported Java Verification Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-08-09T14:58:50.309441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 766ff19a-9018-4291-896c-f5cdce2ee708 · outbound

This paper cites (eds.) Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings.

Next Steps in LLM-Supported Java Verification (eds.) Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T14:58:50.934675Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 47f886dc-f28a-4733-91ed-45e49970a4b7 · outbound

This paper cites : JML Reference Manual.

Next Steps in LLM-Supported Java Verification : JML Reference Manual

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T14:58:50.919229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1bc8450f-0b71-496f-a4fb-58b50dd4088b · outbound

This paper cites Finding Inductive Loop Invariants using Large Language Models.

Next Steps in LLM-Supported Java Verification Finding Inductive Loop Invariants using Large Language Models

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-09T14:58:50.081241Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6d6a861-0ef4-46fb-a754-3c9d354436b9 · outbound

This paper cites Journal of Systems and Software 211, 111972 (2024).

Next Steps in LLM-Supported Java Verification Journal of Systems and Software 211, 111972 (2024)

Reference 12

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T14:58:50.612317Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 48650375-b81a-4ae0-9f46-b6ff6ef7bac1 · outbound

This paper cites In: Ball, T., Zuck, L., Shankar, N.

Next Steps in LLM-Supported Java Verification In: Ball, T., Zuck, L., Shankar, N

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T14:58:50.798933Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 15246e21-66fa-4bda-bcc5-bd78b2ba9c23 · outbound

This paper cites : Can Large Language Models Reason about Program Invariants? In: Krause, A., Brunskill, E.

Next Steps in LLM-Supported Java Verification : Can Large Language Models Reason about Program Invariants? In: Krause, A., Brunskill, E

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T14:58:50.716536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d79d9ddc-030b-4f83-bc9d-2cc6cff786da · outbound

This paper cites In: Margaria, T., Steffen, B.

Next Steps in LLM-Supported Java Verification In: Margaria, T., Steffen, B

Reference 15

Resolution: malformed identifier; doi_truncated, observed 2026-08-09T14:58:50.209958Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation da62e719-c8b9-4577-8f93-52ffed7b617c · outbound

This paper cites In: Avni, G., Giacobbe, M.

Next Steps in LLM-Supported Java Verification In: Avni, G., Giacobbe, M

Reference 16

Resolution: verified exact; doi, observed 2026-08-09T14:58:50.160365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8c5f97d3-a7cd-4f4d-8baf-7f0271b78de3 · outbound

This paper cites In: The Twelfth International Conference on Learning Representations (2024).

Next Steps in LLM-Supported Java Verification In: The Twelfth International Conference on Learning Representations (2024)

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T14:58:50.698615Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6779de35-ebb9-4b4d-b62d-19ad79e24bfa · outbound

This paper cites Leveraging Large Language Models for Automated Proof Synthesis in Rust.

Next Steps in LLM-Supported Java Verification Leveraging Large Language Models for Automated Proof Synthesis in Rust

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-09T14:58:50.113812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 635df336-9cde-4901-b04d-771286133ef3 · outbound

This paper cites (\" \"(\.

Next Steps in LLM-Supported Java Verification (\" \"(\

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T14:58:50.681357Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 0768b184-419e-4748-9363-7e577936d22c · outbound

This paper cites loop_invariant \.

Next Steps in LLM-Supported Java Verification loop_invariant \

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T14:58:50.665080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2961e86a-52a4-431c-aa8b-d36214dfa447 · outbound

This paper cites http://www.eecs.ucf.edu/ ∼leavens/JML//OldReleases/ jmlrefman.pdf.

Next Steps in LLM-Supported Java Verification http://www.eecs.ucf.edu/ ∼leavens/JML//OldReleases/ jmlrefman.pdf

Reference 2344

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T14:58:50.891295Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Pith citing papers

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

Do AI models help produce verified bug fixes? cites this paper.

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-09T06:31:02.800959+00:00.