Paper Citation Record · LEDGER

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability

As of 7 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2607.09366.

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

pith.paper-citation-record.v1
2607.09366 v1

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-13T03:34:35.116630Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+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

29 of 29 outbound references displayed

verified exact0
verified fuzzy0
unresolved29
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation bcf1a180-50b0-4fb7-8de0-04de16edf99e · outbound

This paper cites Program Synthesis with Large Language Models.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability Program Synthesis with Large Language Models

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0156cc2d-ced1-40ca-aeaf-867db1739b54 · outbound

This paper cites In: ICSE.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability In: ICSE

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a68fe4aa-0b9f-4a9c-8c5c-7b71f81cdbb9 · outbound

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

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability Ranking LLM-Generated Loop Invariants for Program Verification

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f2a7daf-6308-42c4-897c-3e4edb251f21 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability Evaluating Large Language Models Trained on Code

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9ee37a4-6327-4b19-a03a-45f5b4a46a2c · outbound

This paper cites ACM Softw.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability ACM Softw

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9359865f-5b55-4b7e-9293-3ed44232926d · outbound

This paper cites an unresolved cited work.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01daaa79-2808-4453-adb8-1bc6da4335d3 · outbound

This paper cites In: ESOP.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability In: ESOP

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4a198f8-16fa-40a8-a0bb-25ecc0e92e35 · outbound

This paper cites an unresolved cited work.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bc10fd4-f302-4804-96b5-07a58b88769a · outbound

This paper cites TU Wien Aca- demic Press (2025).

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability TU Wien Aca- demic Press (2025)

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e693e9e-6af2-4ebc-bb46-34e9a0a5314a · outbound

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

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability Finding Inductive Loop Invariants using Large Language Models

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24a166ca-1c54-4523-a331-8799d5513a91 · outbound

This paper cites an unresolved cited work.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 720adf8b-a5dd-40f2-a88f-47723d81907d · outbound

This paper cites In: LPAR.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability In: LPAR

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efc388c3-5563-4c3b-a230-593100859032 · outbound

This paper cites Competition-Level Code Generation with AlphaCode.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability Competition-Level Code Generation with AlphaCode

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97d5b36b-1e27-499d-9f28-8c5207a57e3e · outbound

This paper cites an unresolved cited work.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fab41b49-d049-406a-8ea7-cc9427a574d3 · outbound

This paper cites an unresolved cited work.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4164df1e-d0aa-4ba1-b36e-3f97508047b4 · outbound

This paper cites an unresolved cited work.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3546d8a2-db66-445f-b90c-cd467c0dd9c8 · outbound

This paper cites In: CADE.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability In: CADE

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79d1006c-2656-4a0a-a13b-c13d777209cb · outbound

This paper cites an unresolved cited work.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f86f0d0-3787-4e6d-ab59-02bd4bacfed0 · outbound

This paper cites In: Dependable Software Systems Engineering, pp.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability In: Dependable Software Systems Engineering, pp

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67545605-034e-4455-846f-e8873f974129 · outbound

This paper cites In: Tools for Practical Software Verification, LASER.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability In: Tools for Practical Software Verification, LASER

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab82bbdf-bc12-4be3-af1d-433261eb93f4 · outbound

This paper cites an unresolved cited work.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7220cdfd-d661-4f2a-9dee-eec5d480cf42 · outbound

This paper cites dafny-annotator: AI-Assisted Verification of Dafny Programs.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability dafny-annotator: AI-Assisted Verification of Dafny Programs

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7879e8af-ef90-4eda-9a9c-ac169eb57df1 · outbound

This paper cites CoRRabs/2511.00125(2025).

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability CoRRabs/2511.00125(2025)

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abf369be-4a8e-4257-b102-8b6ce6fd7577 · outbound

This paper cites In: AI Verification.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability In: AI Verification

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40c64379-5d59-4028-a6d5-60f449379020 · outbound

This paper cites In: ICLR.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability In: ICLR

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e88a39f-7f29-4b7d-8134-250fdcc940d2 · outbound

This paper cites In: NeurIPS (2022).

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability In: NeurIPS (2022)

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a84ff77f-299f-4d58-9c6d-e18488256e0c · outbound

This paper cites LeetCodeDataset: A Temporal Dataset for Robust Evaluation and Efficient Training of Code LLMs.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability LeetCodeDataset: A Temporal Dataset for Robust Evaluation and Efficient Training of Code LLMs

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9eec0165-4b20-49a5-92b9-d246aed42cc4 · outbound

This paper cites an unresolved cited work.

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2e21eac-9fe5-4377-9b05-401ba9303d37 · outbound

This paper cites In: NeurIPS (2023).

Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability In: NeurIPS (2023)

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-13T03:34:35.116630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.