{"as_of":"2026-08-09T06:24:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8c897804dbd2ad10d80f59948bfd923433044c971d1252d90f51201446ce2dc9","coverage":[{"denominator":38,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":38,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T06:19:27.052248Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.21957/citation-record","integrity":"/paper/2607.21957/integrity","json":"/paper/2607.21957/citation-record.json","paper":"/paper/2607.21957"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.06176","last_updated":"2024-12-09T03:22:35Z","snapshot_observed_at":"2026-07-06T20:03:38.451641Z","submitted_at":"2024-12-09T03:22:35Z","title":"AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.06176","snapshot_observed_at":"2026-08-01T06:19:20.954756Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:20.954756Z"},"links":{"cited_paper":"/paper/2412.06176","citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:3f072b9ec5e5c3313e7c15b765aa14e76cb4b8adf15c246df874ca5ec75f7065","observation_id":"3e3ab6df-8d01-4436-9182-0cba45c0ecca","resolution":{"observed_at":"2026-08-01T06:19:20.954756Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.15183201","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Zenodo (CERN European Organization for Nuclear Research)","work_id":"11cf623f-0201-49c2-af0f-87c1523b1599","year":2025},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:21.170473Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:266dc6076032ce8957bac81c9ea060ed30b18cb75f768d9cd7c57e300a6d8603","observation_id":"1831dcac-8852-47f0-b4ce-95aa1db1ca47","resolution":{"observed_at":"2026-08-01T06:23:23.169805Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:21.340201Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:21.340201Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:3215043e08cc27d578ca3418240ea28a0aa303d16d4ccc98f9bfd315fc6a87cc","observation_id":"2b8f2d72-dd55-48c8-b0b6-c9553f90059d","resolution":{"observed_at":"2026-08-01T06:19:21.340201Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:21.499943Z","title":"2026.The Rust Book - Unsafe Rust","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:21.499943Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:691c2795e25c845184f762f88630b521bdf61d786f3c63ab1aa6fb4903dc42a7","observation_id":"b4515dbe-2a9b-4015-aa47-e95319daa137","resolution":{"observed_at":"2026-08-01T06:19:21.499943Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:21.692412Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:21.692412Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:9fe845eaa7b8d71724ffcdeeb178f55b1a99c01d6db263fc15e4dbc38541a447","observation_id":"c891b6ff-fae7-4387-8170-1eb8971a6921","resolution":{"observed_at":"2026-08-01T06:19:21.692412Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:21.764754Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:21.764754Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:3e46ab43082c7afcf61708d035c4746175000d74885f0baea7ff2bb70349edb3","observation_id":"a57ca4d3-c93f-4729-8ad6-f12ecc7a61f2","resolution":{"observed_at":"2026-08-01T06:19:21.764754Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:21.934755Z","title":null,"venue":null,"work_id":null,"year":1960},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:21.934755Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:2409c9a7b87cd35b6f385309302fe8a7f81199866cfaebf6bb74c0aadca1402c","observation_id":"814c9297-42b5-4df2-abf4-4a918cfd91b6","resolution":{"observed_at":"2026-08-01T06:19:21.934755Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:22.107314Z","title":"Jackson, Shaz Qadeer, Sriram K","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:22.107314Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:81b0eda7f4bc9b0e5f1521ce75ee72bbe0fb9c15fb9d8473c724dfa52b2fd677","observation_id":"af105840-3bbb-4c38-8774-aeb7c6e21261","resolution":{"observed_at":"2026-08-01T06:19:22.107314Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:22.285653Z","title":"Frama-C developers","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:22.285653Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:a650c605e7dbdf1f4355fda633e03f5f28268ac3b5a0e05474ec91b53f104f0c","observation_id":"2c92406b-ab32-4188-8942-48ac68aa56fe","resolution":{"observed_at":"2026-08-01T06:19:22.285653Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:22.526953Z","title":"Kani developers","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:22.526953Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:a9ae2cb58e7343fb70ba77208c64259b40e75b769b0b1ebc048de749d2be774e","observation_id":"03efb709-d730-4da9-9134-90f928149995","resolution":{"observed_at":"2026-08-01T06:19:22.526953Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:22.694746Z","title":"Kani developers","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:22.694746Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:81575749d4fb387051846cd3ad727b6a63b3216c039a9a58f79075e4c2e56064","observation_id":"d0c92c4f-7496-4873-bbb5-40b89369327b","resolution":{"observed_at":"2026-08-01T06:19:22.694746Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:22.945110Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:22.945110Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:a3a517dcecd3320fd929625fc34b8f443bb67365020416583064ac5b6bb2176d","observation_id":"c61976ae-444d-4adf-8e08-c0c0c8f338a0","resolution":{"observed_at":"2026-08-01T06:19:22.945110Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:23.075055Z","title":"The RVT developers","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:23.075055Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:a452f6670519eab5b3efc04fb34fec8b9fcabf0dc20cd3b4c4949a77bb2b7bfa","observation_id":"f9be9d07-78f5-4dac-b227-06b9716517d8","resolution":{"observed_at":"2026-08-01T06:19:23.075055Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:23.244845Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:23.244845Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:0b0251092f101626b95edb619a383b80b99c7de1f6507327a1d87bfc30095800","observation_id":"42388a9b-44ce-4683-a89d-cdef5ab960b3","resolution":{"observed_at":"2026-08-01T06:19:23.244845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:23.445918Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:23.445918Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:2c4f4380198d67d589030aff0df67ab2bcff77cf5cdbc835583844aacfa75d96","observation_id":"09d0507a-6894-4d19-8207-b5f51fffa9d1","resolution":{"observed_at":"2026-08-01T06:19:23.445918Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:23.684753Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:23.684753Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:f732ff9c1c60e24d65a31531df93fb91cda8366ed0ea37edd830ffdb38b6192e","observation_id":"c66bf980-47db-4e18-a5e3-3f27c5c23d86","resolution":{"observed_at":"2026-08-01T06:19:23.684753Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:23.834786Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:23.834786Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:ee06c3c1086b0c7592ecee323c557562f4cae2161212079302d08bdd62550b66","observation_id":"838b0d00-c53e-423f-904c-bbbeff6d8ae0","resolution":{"observed_at":"2026-08-01T06:19:23.834786Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:24.048387Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:24.048387Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:e227daf71ef161bca13d4e2ac72833ab387e1bc88b401e11dbe6c514c02b4147","observation_id":"37361757-eda4-42a3-869b-13149eb68546","resolution":{"observed_at":"2026-08-01T06:19:24.048387Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:24.214755Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:24.214755Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:2f391a9c748ab360af30fff0c79fe342a8c8a0bf116c0efe6b7ca7d526b3307c","observation_id":"3864156d-1044-455b-965c-35c5c564a7d3","resolution":{"observed_at":"2026-08-01T06:19:24.214755Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:24.604742Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:24.604742Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:a72fea63d03b7fdfbb97025baf0ea6568aa1d729d4dd0db81d52ec40ae78328c","observation_id":"db0fdb70-2668-4a44-a643-886192532f28","resolution":{"observed_at":"2026-08-01T06:19:24.604742Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:24.717779Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:24.717779Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:ef7a058c5f176de8dfdb166d564d0b36499be82852d35deb8f924d7a1be35635","observation_id":"45117fed-c2de-439b-94fe-e81cb58485aa","resolution":{"observed_at":"2026-08-01T06:19:24.717779Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:24.844733Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:24.844733Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:a53a597989321483a7262f5011678cd82df1d2436ce298b0900155ca310dce34","observation_id":"07f222c7-afa9-4643-acdb-5a8b2f4a84b8","resolution":{"observed_at":"2026-08-01T06:19:24.844733Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:24.974749Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:24.974749Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:5ca51346b8019284877a2d8cc3f6d3edbb7920aff72c64309aed29c3743b40ae","observation_id":"19998d93-866c-465f-940f-d03fb4af8caf","resolution":{"observed_at":"2026-08-01T06:19:24.974749Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:25.068692Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:25.068692Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:5def63da0b423a4b7585748437604e2a344ab40f51069db44cb9bd5bdcf1b18d","observation_id":"6923ed6f-edba-4298-81f1-4cd587c80455","resolution":{"observed_at":"2026-08-01T06:19:25.068692Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:25.187979Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:25.187979Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:2d2e0ae129b69df0c0b773cde5cd42f626a9b96e4e6ddae145cc17f9270eeafe","observation_id":"2abec1fc-706a-4bdf-b70d-c1371aca42b4","resolution":{"observed_at":"2026-08-01T06:19:25.187979Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.procs.2024.09.568","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Procedia Computer Science","work_id":"5b7be3ef-34df-4f7e-af9f-67a5e0b1ead8","year":2024},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:25.364914Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:08b3260328579da90053e95f1ed3030c868ef5a1cf9fcabe044298ed195b09ab","observation_id":"55e192ac-1f45-4ae3-8d99-0cef24701749","resolution":{"observed_at":"2026-08-01T06:23:22.962003Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:25.514811Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:25.514811Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:292b51534f8da616cf0d54f8625ad07d3144a99dff2c4049813d5743a4b05d4e","observation_id":"28799bd9-8503-41e3-800b-83eab063c2c1","resolution":{"observed_at":"2026-08-01T06:19:25.514811Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.18280","last_updated":"2024-10-23T21:09:34Z","snapshot_observed_at":"2026-08-03T09:25:20.843907Z","submitted_at":"2024-10-23T21:09:34Z","title":"Crux, a Precise Verifier for Rust and Other Languages","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.18280","snapshot_observed_at":"2026-08-01T06:19:25.664922Z","title":"Diatchki, Robert Dockins, Mike Dodds, Joe Hendrix, Tristan Ravich, Patrick Redmond, Ryan Scott, and Aaron Tomb","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:25.664922Z"},"links":{"cited_paper":"/paper/2410.18280","citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:3e14784e91d6f8caa79e06a9956040eab98857b1639388d0849d47a070de9883","observation_id":"016f7c72-88bc-4e87-bb17-50c674e1522e","resolution":{"observed_at":"2026-08-01T06:19:25.664922Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-08867-9_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"4ac6c5e6-e27e-4fb1-b183-48bad6b4e000","year":2014},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:25.832058Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:f2f15fb75e2651b3d2a8bd0dfc1ab17c5c162e87d0bd38d3ac26fbfcc450bbc3","observation_id":"f89ffcd7-47ac-4955-acfc-41646c047c14","resolution":{"observed_at":"2026-08-01T06:23:22.845603Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:25.988532Z","title":"2026.The Rust Reference","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:25.988532Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:c53a06374e9c08bd5b4d5b35c3470e232849ea5a3450920d326db8865b22f4d9","observation_id":"9564ef4f-5117-4e51-a48b-dd4ffb25d646","resolution":{"observed_at":"2026-08-01T06:19:25.988532Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:26.125376Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:26.125376Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:49f3db31851f0dfbe4428c88c1b5884e788b69d3d2d0e98508da9561b129ccff","observation_id":"c9cec548-b755-4704-a9b2-91c8910220b3","resolution":{"observed_at":"2026-08-01T06:19:26.125376Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.6084/m9.figshare.32834699.v3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:23:22.646317Z","title":null,"venue":null,"work_id":"2b257906-7dfc-416b-b157-316e78c95366","year":2026},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:26.291986Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:871c0ff446b2aaf3e41b4a3b04dd10c63f2492bfa4541f95966e741a28248aeb","observation_id":"8c95f0ad-bbe5-4483-8f13-0968de5e3d68","resolution":{"observed_at":"2026-08-01T06:23:22.732467Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:26.414751Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:26.414751Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:1ab97215a6534ec3d25fec7c703505ba6e38c7ab691bf8ea2c8c67d7071f76b5","observation_id":"84a56f8a-a85e-4baa-bbb4-41a359b1ef5f","resolution":{"observed_at":"2026-08-01T06:19:26.414751Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:26.604896Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:26.604896Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:370edb200ff437286987ecaa0d0445ff271a25ccc44c32917cccb580e406f385","observation_id":"cfc728e7-9e31-49a0-a7a4-4e1c9e45a67e","resolution":{"observed_at":"2026-08-01T06:19:26.604896Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:26.704894Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:26.704894Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:92e9792f488f05ef5261d602213309f87e5c15b52e8e9e50289a254d9a9b80b7","observation_id":"fadd86ee-0d27-4cc4-9a05-22b3d4086f4f","resolution":{"observed_at":"2026-08-01T06:19:26.704894Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:26.914754Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:26.914754Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:7c28572afd45917823e0e802b0baf148ba87616a5add4199d2e5da99e673e6a8","observation_id":"87265fd2-c848-4d0c-b4e4-7465db2ac4ef","resolution":{"observed_at":"2026-08-01T06:19:26.914754Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:27.052248Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:27.052248Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:3ee2b7803776e564ae37d6caa9aabbacceb11fc7d4e624877765fe0feabd1683","observation_id":"6e78b05b-7ef2-49af-81c2-7a6fc6d49aca","resolution":{"observed_at":"2026-08-01T06:19:27.052248Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T06:19:24.423117Z","title":"https://dl.acm.org/doi/10.1145/3586037","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-01T06:19:24.423117Z"},"links":{"citing_paper":"/paper/2607.21957"},"observation_digest":"sha256:c7fdd3ef4666cf312b768ab122979f7d5e3583242d666b64f9a3250f3da7b4c8","observation_id":"52aa2cb5-9d25-4c39-aaa1-fa2c2f1b1e26","resolution":{"observed_at":"2026-08-01T06:19:24.423117Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.21957","last_updated":"2026-07-24T04:10:12Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-05T03:37:07.728591Z","submitted_at":"2026-07-24T04:10:12Z","title":"KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification"},"reference_resolution":{"displayed":38,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":33,"verified_exact":4,"verified_fuzzy":0},"total_outbound_references":38},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2607.21957."}