Paper Citation Record · LEDGER

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification

As of 17 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2607.21957.

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

pith.paper-citation-record.v1
2607.21957 v1

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T06:19:27.052248Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+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

38 of 38 outbound references displayed

verified exact4
verified fuzzy0
unresolved33
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 3e3ab6df-8d01-4436-9182-0cba45c0ecca · outbound

This paper cites AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:20.954756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1831dcac-8852-47f0-b4ce-95aa1db1ca47 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 2

Resolution: verified exact; doi, observed 2026-08-01T06:23:23.169805Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2b8f2d72-dd55-48c8-b0b6-c9553f90059d · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:21.340201Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4515dbe-2a9b-4015-aa47-e95319daa137 · outbound

This paper cites 2026.The Rust Book - Unsafe Rust.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification 2026.The Rust Book - Unsafe Rust

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:21.499943Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c891b6ff-fae7-4387-8170-1eb8971a6921 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:21.692412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a57ca4d3-c93f-4729-8ad6-f12ecc7a61f2 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:21.764754Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 814c9297-42b5-4df2-abf4-4a918cfd91b6 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:21.934755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af105840-3bbb-4c38-8774-aeb7c6e21261 · outbound

This paper cites Jackson, Shaz Qadeer, Sriram K.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Jackson, Shaz Qadeer, Sriram K

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:22.107314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c92406b-ab32-4188-8942-48ac68aa56fe · outbound

This paper cites Frama-C developers.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Frama-C developers

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:22.285653Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03efb709-d730-4da9-9134-90f928149995 · outbound

This paper cites Kani developers.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Kani developers

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:22.526953Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0c92c4f-7496-4873-bbb5-40b89369327b · outbound

This paper cites Kani developers.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Kani developers

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:22.694746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c61976ae-444d-4adf-8e08-c0c0c8f338a0 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:22.945110Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9be9d07-78f5-4dac-b227-06b9716517d8 · outbound

This paper cites The RVT developers.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification The RVT developers

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:23.075055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42388a9b-44ce-4683-a89d-cdef5ab960b3 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:23.244845Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09d0507a-6894-4d19-8207-b5f51fffa9d1 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 15

Resolution: malformed identifier; no resolver link, observed 2026-08-01T06:19:23.445918Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c66bf980-47db-4e18-a5e3-3f27c5c23d86 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:23.684753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 838b0d00-c53e-423f-904c-bbbeff6d8ae0 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:23.834786Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37361757-eda4-42a3-869b-13149eb68546 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:24.048387Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3864156d-1044-455b-965c-35c5c564a7d3 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:24.214755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db0fdb70-2668-4a44-a643-886192532f28 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:24.604742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45117fed-c2de-439b-94fe-e81cb58485aa · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:24.717779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07f222c7-afa9-4643-acdb-5a8b2f4a84b8 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:24.844733Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19998d93-866c-465f-940f-d03fb4af8caf · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:24.974749Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6923ed6f-edba-4298-81f1-4cd587c80455 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:25.068692Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2abec1fc-706a-4bdf-b70d-c1371aca42b4 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:25.187979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55e192ac-1f45-4ae3-8d99-0cef24701749 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 26

Resolution: verified exact; doi, observed 2026-08-01T06:23:22.962003Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 28799bd9-8503-41e3-800b-83eab063c2c1 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:25.514811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 016f7c72-88bc-4e87-bb17-50c674e1522e · outbound

This paper cites Crux, a Precise Verifier for Rust and Other Languages.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Crux, a Precise Verifier for Rust and Other Languages

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:25.664922Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f89ffcd7-47ac-4955-acfc-41646c047c14 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 29

Resolution: verified exact; doi, observed 2026-08-01T06:23:22.845603Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 9564ef4f-5117-4e51-a48b-dd4ffb25d646 · outbound

This paper cites 2026.The Rust Reference.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification 2026.The Rust Reference

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:25.988532Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9cec548-b755-4704-a9b2-91c8910220b3 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:26.125376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c95f0ad-bbe5-4483-8f13-0968de5e3d68 · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 32

Resolution: verified exact; doi, observed 2026-08-01T06:23:22.732467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 84a56f8a-a85e-4baa-bbb4-41a359b1ef5f · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:26.414751Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfc728e7-9e31-49a0-a7a4-4e1c9e45a67e · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:26.604896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fadd86ee-0d27-4cc4-9a05-22b3d4086f4f · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:26.704894Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87265fd2-c848-4d0c-b4e4-7465db2ac4ef · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:26.914754Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e78b05b-7ef2-49af-81c2-7a6fc6d49aca · outbound

This paper cites an unresolved cited work.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:27.052248Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52aa2cb5-9d25-4c39-aaa1-fa2c2f1b1e26 · outbound

This paper cites https://dl.acm.org/doi/10.1145/3586037.

KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification https://dl.acm.org/doi/10.1145/3586037

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-01T06:19:24.423117Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.