{"as_of":"2026-08-10T13:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ee604d52390f1f859aee548761c28a4b470afbdd5b472cbd135d27f345ba17ab","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-10T06:31:04.303077+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-10T04:58:45.259756Z","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:3dfdb991015d90c44f9ec61e9ee20d1ff25ddda31c75c303af0196c5b5656621","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-10T04:58:45.259756Z","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:32049af2096515c8cc57d517e0417ebbe195c11c1dfa8354b1ece2a0a90650ef","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:58:45.259756Z","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:1bf6755f471e1a7f7df33ea6ea59d55dc12d21988544582aa5420b56f2c6a51a","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-10T04:58:45.259756Z","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:26566d0e62ac0402fc976614646f4a0778434477c621da8729b5f6fa4535a50a","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-10T04:58:45.259756Z","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:8c063c149d693251c8ed7c66516a06f2f6ff95a8df4f77fea59d769f800293ca","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-10T04:58:45.259756Z","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:aac6c658b0faad55bcc9266dde3d71682c340492a7e541dee8301783ffda428c","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-10T04:58:45.259756Z","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:4cfe23cddde5da7e2ba7f95e41855c0561032f236d7632ed16b85125d5b4be9e","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-10T04:58:45.259756Z","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:13bb1e4f1adb10be7e408dcc34e423a401e0aabaf2ad24bcf62d5295f5ddbd80","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-10T04:58:45.259756Z","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:daab4bd2169466a9c54b5c59dacdab897709d1876bf8b9236b9c28e6fed7fc24","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-10T04:58:45.259756Z","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:1525a157b0a28097d14597edd881229d5912f351a6a77461e6fc66fe887d048b","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-10T04:58:45.259756Z","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:a21fc9fc1e7706a57c83ffd1800b617955c19d231b08193d97a67ab909e8229c","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-10T04:58:45.259756Z","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:f437fe0a4347f68cbfc88d591f7091086f20d26c8273e0d1e24728f9a591b594","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-10T04:58:45.259756Z","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:f23d98ecac463be6d54271b4a19ab5bd6cebcb21e6659d965290f3c9de8e12d0","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-10T04:58:45.259756Z","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:bd09871f77523c110267c4f2a447a2a113a4c424780abc07243b7b6b74e3e8b6","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-10T04:58:45.259756Z","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:c0576864c999d81cfdd4555ec6bd5ca5145704b3781017073e83800139439988","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-10T04:58:45.259756Z","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:7a96bbcdce13e0a2669bb1839499a331c8e8186ab70c377e9203e0fe23085968","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-10T04:58:45.259756Z","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:d8c45bd561b4679e672ebf3de521b2f03cb546a8950b6d238e9e4980f445b08c","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-10T04:58:45.259756Z","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:930c6e6ee700c6153dc49701b197a4268fb658851a773903421f715f36050cf7","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-10T04:58:45.259756Z","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:5c680863505591a781f640d534042fde7803e2bd66ddd124d896178e1a98f1ca","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-10T04:58:45.259756Z","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:8cc8898a3ff8f3f31ea2d330b21def76237f1200dda50b62481e550908c162a7","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-10T04:58:45.259756Z","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:e8b9d8673b6fac8937d4097dcf9e60c5356d12af298a6cec39fd09c93d98636e","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-10T04:58:45.259756Z","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:d29f4c99748305b501676e6aa241acb7eeb71756781407fd1ec149225907ad79","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-10T04:58:45.259756Z","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:ccbf65654df7cf76de6d836d8b7e804c332a09679f0407b7879730ee19cc5ca4","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-10T04:58:45.259756Z","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:1744568ec173110cd8cdd90326026acdf6a29ed28480a934c97a30820f3bb71f","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-10T04:58:45.259756Z","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:c1e70287510c634bc05b26284e34ab8946342f93d7d461859ca33d4123ed981d","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-10T04:58:45.259756Z","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:c99e722fb9ba7ee1787abe26a456a5925150d39cf45029262717ad4e93d5744b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:58:45.259756Z","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:0dfa14e396dd05ee6539973fd858af8175a7f5ac42d7a92250b9a9a8d4f08929","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-10T04:58:14.212240Z","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-10T04:58:45.259756Z","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:4354387e0133597b911659202454066919afb0ad5560a5ea525454f2fac4e311","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-10T04:58:45.259756Z","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:c49ca2f1a3ff6564028bddc73124d89c332f787b2f6c8f9aa393a927a19002af","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:58:45.259756Z","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:c38b3f404b84711afe0409685c77f08178c2d865a40ac8d66e15f6e73dd2b1ac","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-10T04:58:45.259756Z","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:7b09131aa2fae4cc3f4c52dd3d75b57acc2c4396b2c60f631acac5277467ab99","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-10T04:58:45.259756Z","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:45c555cc513c0503af70854a55b13aea36eacca56376a841522b68b2765e84e9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T04:58:45.259756Z","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:28880af9c5c802066ed2ec8c3172332a0d1fc1258eae102cfa327089865925ef","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-10T04:58:45.259756Z","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:3709f34b4c15ac28ba6da74a93014b0995bf72cc7710b3cdf87c1f3610ae9453","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-10T04:58:45.259756Z","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:432a08807d10c5c327c2a2982934dbe3fa48439f44ddf41e18724a13b4237e5a","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-10T04:58:45.259756Z","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:bcee2526d3142c33b38585241aec5f238c8cb825e5e28541c968d92dcdb1dcb3","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-10T04:58:45.259756Z","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:e097298da58789e10dffd5cb605575f7c2f64c54f9536532d82dfd20e94ffdfe","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-10T04:58:45.259756Z","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:af4ac2d76673bf0f0384d76617a3966306c379943e36a601e9de8cb3c14e0b5a","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-10T04:58:45.259756Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2607.21957."}