{"as_of":"2026-08-09T22:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d4188eac4ada2095b3ffbdead3d397b08930b69f1ba10031c3607e6f6dacaef6","coverage":[{"denominator":66,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":66,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T05:40:36.942851Z","state":"measured"},{"denominator":66,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":66,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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.22161/citation-record","integrity":"/paper/2607.22161/integrity","json":"/paper/2607.22161/citation-record.json","paper":"/paper/2607.22161"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T05:40:30.406600Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:30.406600Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:a987c019000a8afb85d567d6bd6c090af6fed0407173c1fe86f075f11a816e88","observation_id":"25bdc074-c7a5-470a-a535-6b3662e50eff","resolution":{"observed_at":"2026-08-01T05:40:30.406600Z","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-01T05:40:30.559198Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:30.559198Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:1497e17e9d67c67bc77cb39b7a4cc9b7c5564510f9cdf06f346d26eb576c450a","observation_id":"da5560da-d45c-441d-b3c9-ff079cb94b37","resolution":{"observed_at":"2026-08-01T05:40:30.559198Z","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-01T05:40:30.715270Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:30.715270Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:6c8c8589640751eda617d16d1f1eec0f7fd474ca5d7d152622a262968fad2b0b","observation_id":"ba4e7a6f-7674-4b82-b711-8d62d6daeb67","resolution":{"observed_at":"2026-08-01T05:40:30.715270Z","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-01T05:40:30.866056Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:30.866056Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:99b60ed7b932fc4249d2c39e21b21629576441b18c65c4b2f019316a5222814b","observation_id":"20988011-169f-4d6c-b5e9-5753817d52a0","resolution":{"observed_at":"2026-08-01T05:40:30.866056Z","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-01T05:40:31.000484Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:31.000484Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:224a39f3e2959d2a902e6f2e2f98fae0aa621719851574051d4e18465a2197ac","observation_id":"7a93615d-acb2-42e8-9611-2d8c15f9d575","resolution":{"observed_at":"2026-08-01T05:40:31.000484Z","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-01T05:40:31.125516Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:31.125516Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:66347ffc155c0dc7a8a118e9142d949e1bf8b727009ccdcffe1039250f12ee06","observation_id":"143ff07e-7865-4517-8b9d-d1517170b057","resolution":{"observed_at":"2026-08-01T05:40:31.125516Z","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-01T05:40:31.236653Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:31.236653Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:163370b7b2479b1008267d95a0f010ab43a34b8313778943776902035363f195","observation_id":"c22b5c53-b42c-45ea-a104-fa4c4cf51730","resolution":{"observed_at":"2026-08-01T05:40:31.236653Z","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-01T05:40:31.469415Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:31.469415Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:e27a6e6012752a36ca23331be8768096572f3d5d5f2e71dee0650cc19efb5789","observation_id":"78487b1e-8cf0-4ba1-a808-8b291424eae2","resolution":{"observed_at":"2026-08-01T05:40:31.469415Z","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-01T05:40:31.528201Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:31.528201Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:b3227b2479427bca6aaecc2650ae4b07331dbfe61df2bc44c08676045642c253","observation_id":"8c77faa5-f9ff-49d9-b980-51bebe360752","resolution":{"observed_at":"2026-08-01T05:40:31.528201Z","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-01T05:40:31.581115Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:31.581115Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:3f9bf8298039cced81c101973c6e1a7213b71051b92fee1350a1b23136a1967c","observation_id":"8e8869de-795b-4ba4-a177-e117bd59924f","resolution":{"observed_at":"2026-08-01T05:40:31.581115Z","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-01T05:40:31.650114Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:31.650114Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:b01bd4bf2649e3a30eedafa94d40cd8ca92cb41e3acf7309aa8a7a12209d34f9","observation_id":"41faddd6-c38a-45a4-9772-12dd8e7a3791","resolution":{"observed_at":"2026-08-01T05:40:31.650114Z","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-01T05:40:31.733383Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:31.733383Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:131d704841f3b6ed0a482dacdc21bdd82440d612a98127d0de6ec8834963961d","observation_id":"a94c3e7b-2465-45f4-a330-0034d3f69765","resolution":{"observed_at":"2026-08-01T05:40:31.733383Z","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-01T05:40:31.792455Z","title":"The RVT developers","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:31.792455Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:abc5e8fa62540fa94b556f3c09c1c32c6721882a6937367787b3eeb37419280d","observation_id":"117ea815-afb6-4cd2-a6ba-9c46f7cfdc87","resolution":{"observed_at":"2026-08-01T05:40:31.792455Z","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-01T05:40:31.892123Z","title":"2019.Verification of Rust Generics, Typestates, and Traits (Master’s thesis)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:31.892123Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:4c5fe9a951d81ca900ff7d126c990dea0f813f8c94e26e7489d1d5f231bb4d3e","observation_id":"2e0f5153-c576-4d30-9890-87cd1489bc45","resolution":{"observed_at":"2026-08-01T05:40:31.892123Z","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-01T05:40:32.028665Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:32.028665Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:9851a8b999e57b01ab481cb8f095fda5c576451f3ff95b17fe7f77132853f329","observation_id":"82b8e1f6-76c1-4a30-8837-7df67f323322","resolution":{"observed_at":"2026-08-01T05:40:32.028665Z","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-01T05:40:32.169127Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:32.169127Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:85da892873fb652f1156edd48be950bc659c9b7e1f6dde1f27953bd3b5de6929","observation_id":"1e0ae096-a8e8-4c3d-abe6-5bd4c597790d","resolution":{"observed_at":"2026-08-01T05:40:32.169127Z","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-01T05:40:32.254058Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:32.254058Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:0446735c212059082fbf8070844f4255309a019a0a66d864da169aa9bf92227c","observation_id":"00eca329-154c-4cbe-9b76-5e49b1edd52d","resolution":{"observed_at":"2026-08-01T05:40:32.254058Z","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-01T05:40:32.504348Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:32.504348Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:fb18b25d8a99a30f61518c5adcf484c8334234b73217c7cbf357db88ac239e78","observation_id":"5cfcb170-cfa8-43b8-9984-f8f48834b40f","resolution":{"observed_at":"2026-08-01T05:40:32.504348Z","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-01T05:40:32.613141Z","title":"I wouldn’t want my unsafe code to run my pacemaker","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:32.613141Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:26a219e0402767a0615544380b04f24f09072baa77cd55c42a81316c22b074b8","observation_id":"d0052f82-c9de-4221-8cc4-3bdd5deda6a8","resolution":{"observed_at":"2026-08-01T05:40:32.613141Z","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-01T05:40:32.723464Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:32.723464Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:7ea4e3003e80a6cae623760791e252417270253c7ed60b56b5cf314e7b8b333c","observation_id":"97f5a732-9654-4ef3-82e9-400514888383","resolution":{"observed_at":"2026-08-01T05:40:32.723464Z","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-01T05:40:32.851391Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:32.851391Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:d28455ccad82a427449d4382242a7b9daf553c985e1f3e349d3882b81f42beb7","observation_id":"731b6d67-8ed0-4e4a-a96a-6cde09178165","resolution":{"observed_at":"2026-08-01T05:40:32.851391Z","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-01T05:40:32.971084Z","title":"Lorch, Oded Padon, and Bryan Parno","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:32.971084Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:d13325273d3a739f80ad65d0e4aad7d200c72a766aabcaf2b0b9a822d38555ab","observation_id":"1c1a4a68-a326-488a-a22b-0ae6e6c351b0","resolution":{"observed_at":"2026-08-01T05:40:32.971084Z","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-01T05:40:33.107604Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:33.107604Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:8b848c08603acec7d484e42e096f21cd1813c0b786a5769a3f2220ccd3cfd92d","observation_id":"643a2f51-ece4-49f8-afef-c741ae4610fd","resolution":{"observed_at":"2026-08-01T05:40:33.107604Z","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-01T05:40:33.217629Z","title":"Lahiri, and Siddhartha Sen","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:33.217629Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:0bb68b492ea522d887c91de18ef1b3ac5d29a39aab6d09521a1e617e982c4714","observation_id":"80c3c2d8-88ef-4128-b497-5fb08d923250","resolution":{"observed_at":"2026-08-01T05:40:33.217629Z","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-01T05:40:33.382744Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:33.382744Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:938e0c1f72a8c421de241305c32eead5ae1f7414da50be729c1c2f26e6a70090","observation_id":"0829b68f-6c8a-44c6-85d8-ecbcbceb651d","resolution":{"observed_at":"2026-08-01T05:40:33.382744Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.09288","last_updated":"2024-09-19T04:15:40Z","snapshot_observed_at":"2026-08-09T22:03:52.779890Z","submitted_at":"2024-09-14T03:34:43Z","title":"Generating API Parameter Security Rules with LLM for API Misuse Detection","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.09288","snapshot_observed_at":"2026-08-01T05:40:33.544552Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:33.544552Z"},"links":{"cited_paper":"/paper/2409.09288","citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:6101295bd31059d8114f4bdcbaf45b48f54d3683035e3e1da2f906668e1fc8d6","observation_id":"4194616b-c453-460a-9828-3ae20d36211d","resolution":{"observed_at":"2026-08-01T05:40:33.544552Z","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-01T05:40:33.679325Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:33.679325Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:669c4da5874c4208df932a1fea11da20ff18eb0ecab88e1f7360efae28ad35b4","observation_id":"03384ace-8d54-43c9-953f-affc5c334f59","resolution":{"observed_at":"2026-08-01T05:40:33.679325Z","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-01T05:40:33.770319Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:33.770319Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:1abb103efcf7d02842b8dfd961841e6acc7824268917c2fa0ca6bd1475d9d656","observation_id":"6ba4dc27-bde6-4420-bf72-ce2b54e5ea63","resolution":{"observed_at":"2026-08-01T05:40:33.770319Z","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-01T05:40:33.888914Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:33.888914Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:a85abeae61f7883346776334266c4f8fcf9505b7e53a986419c0d626e4a1337c","observation_id":"16363d07-c203-4c65-8a65-90b3f63ec110","resolution":{"observed_at":"2026-08-01T05:40:33.888914Z","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-01T05:40:33.998619Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:33.998619Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:d874906e2510111386090a62c72cd899c10432fa305dcc34c0c163d45158a9cc","observation_id":"f797f51c-7695-481b-9134-c3794209f397","resolution":{"observed_at":"2026-08-01T05:40:33.998619Z","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-01T05:40:34.121704Z","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.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:34.121704Z"},"links":{"cited_paper":"/paper/2410.18280","citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:53953112153a94240fc9bb06925e114926b4e0c094e9ec2cb4d29d56e00fed64","observation_id":"570935c3-cc61-47cb-b9a1-878cf4193a85","resolution":{"observed_at":"2026-08-01T05:40:34.121704Z","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-01T05:40:34.290768Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:34.290768Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:4016c2cb5e32375de6f32c0854345590fa238fcabfc12eca81ad8f8ed9dbf335","observation_id":"42383bd8-72c6-4dc9-94f5-56c42d307a6c","resolution":{"observed_at":"2026-08-01T05:40:34.290768Z","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-01T05:40:34.418261Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:34.418261Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:f106236a7a86e01119738884e1f268d3bde191f54ac43f51646452970fc45be4","observation_id":"5be2b9fd-ae3d-4525-894f-338e609b0d83","resolution":{"observed_at":"2026-08-01T05:40:34.418261Z","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-01T05:40:34.556741Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:34.556741Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:391667ebd900e46023486d45f7df051d5948c39d6b35e20086eccc54492fdb32","observation_id":"d1fce8fd-0039-41d7-945a-1bc5ef668c2b","resolution":{"observed_at":"2026-08-01T05:40:34.556741Z","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-01T05:40:34.672066Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:34.672066Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:2dea2c3c8d8c24591fbdd91289d4983f3af179fd466182552533e8e666d13d80","observation_id":"d7ece542-9165-4c3c-9a53-4ca385b56dac","resolution":{"observed_at":"2026-08-01T05:40:34.672066Z","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-01T05:40:34.782919Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:34.782919Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:7deb60028d89961cdb45a43078774c556a61c2fa1c8f913287341756c8ed5ee0","observation_id":"c7f38c69-8f52-4fbd-8752-55577904fe06","resolution":{"observed_at":"2026-08-01T05:40:34.782919Z","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-01T05:40:34.898685Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:34.898685Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:1d8ed6d899084b0a2f7ad375d0017e3f798899f2894797cb3269ea3c09022712","observation_id":"72a48928-8376-4c65-bc6c-d898ccc19051","resolution":{"observed_at":"2026-08-01T05:40:34.898685Z","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-01T05:40:35.013596Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:35.013596Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:c67d94d33168cddfc455c32ebfe68e8bfb30ee9ff2c1e8b0109d787dd16658a8","observation_id":"27121012-e1be-448d-9253-f2686002d221","resolution":{"observed_at":"2026-08-01T05:40:35.013596Z","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-01T05:40:35.136665Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:35.136665Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:548e02771d7f4387f90568e0c7ff8cbdece1d65f97eb98803098294853cc8c4e","observation_id":"c11d89c4-4137-41ee-8751-eba73c1bab3f","resolution":{"observed_at":"2026-08-01T05:40:35.136665Z","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-01T05:40:35.282528Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:35.282528Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:599036ac6459ce967d801c67ce4800a80ac416ef82c69c7de60fc7b18ed5a827","observation_id":"3fb06247-177a-425e-94ca-98e1612c8be0","resolution":{"observed_at":"2026-08-01T05:40:35.282528Z","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-01T05:40:35.396279Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:35.396279Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:7608a7c9ef8c58685bb30d9c94e93401d856933ad830f1e5698a126f6374f578","observation_id":"8f39ddec-138b-4e23-883e-50be5956eef7","resolution":{"observed_at":"2026-08-01T05:40:35.396279Z","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-01T05:40:35.513274Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:35.513274Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:2ec555f89448728df6fe898186a3b9f0f81be11bbe4d83f22c415308455fc44c","observation_id":"ab071217-1440-4e8c-a17e-40fbbf496fc5","resolution":{"observed_at":"2026-08-01T05:40:35.513274Z","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-01T05:40:35.573688Z","title":"2016.Simple Verification of Rust Programs via Functional Purifi- cation (Master’s thesis)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:35.573688Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:48beb0f4e941b285a359d9726851accadb897eecba74d1f82c52649201032f6c","observation_id":"e18f701e-2f2c-4b9f-9490-2b2df26c838e","resolution":{"observed_at":"2026-08-01T05:40:35.573688Z","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-01T05:40:35.644180Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:35.644180Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:5862a3eded88571e784157bd5d5c9e02341dc5cd5e055bf52afaceacbd3a9e11","observation_id":"2c778cbc-38e8-4743-94f0-16481ec85daf","resolution":{"observed_at":"2026-08-01T05:40:35.644180Z","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-01T05:40:35.702465Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:35.702465Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:fdde6ed16afd00b526c216c76ba1818fba207d8ef964a6019550bef95a622dc8","observation_id":"aaa8381a-83e8-42c2-b891-78d5116d26dc","resolution":{"observed_at":"2026-08-01T05:40:35.702465Z","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-01T05:40:35.773546Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:35.773546Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:37ab32e72508955ee5be42cf51da981b9f38a85f121589e1b0e5710b6fb05be6","observation_id":"27ac31ed-0d9b-4f1c-b92c-8b14473d74eb","resolution":{"observed_at":"2026-08-01T05:40:35.773546Z","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-01T05:40:35.847291Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:35.847291Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:f79cbcdb449f039076c797e7cfe0eca6493f5ac2e364fc21c551ae4555e6d874","observation_id":"538ae111-6beb-42e0-aa66-1375d4a83c22","resolution":{"observed_at":"2026-08-01T05:40:35.847291Z","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-01T05:40:35.901027Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:35.901027Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:ec4e6f1d8c6054a89248b5c81d1e10dec9fb291ed531b4f3861df0e6fd55c7c0","observation_id":"71a7fbc6-6681-4db5-9559-c456676bd0f5","resolution":{"observed_at":"2026-08-01T05:40:35.901027Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2109.01652","last_updated":"2022-02-08T20:26:45Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-09-03T17:55:52Z","title":"Finetuned Language Models Are Zero-Shot Learners","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.01652","snapshot_observed_at":"2026-08-01T05:40:35.973027Z","title":"Zhao, Kelvin Guu, Adams Wei Yu, Brian Lester, Nan Du, Andrew M","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:35.973027Z"},"links":{"cited_paper":"/paper/2109.01652","citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:302e17422552df2fe37727d5d3f9036bae7619ab133616f29291e5b0637a937e","observation_id":"2ffb40f9-ea64-4af0-b793-ef70f8bc22df","resolution":{"observed_at":"2026-08-01T05:40:35.973027Z","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-01T05:40:36.031544Z","title":"Chi, Quoc V","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.031544Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:40e05e26ea45da400f3a2899a0b657796c2a20d08963656c67625e9c36af996a","observation_id":"da7171a7-2f5a-440c-9542-28697435c7e3","resolution":{"observed_at":"2026-08-01T05:40:36.031544Z","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-01T05:40:36.099558Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.099558Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:084482b7dedec1ebcd8d97efe05288af3058126d7eb2b04a9a9cee9e82b35b5d","observation_id":"6b519245-b959-43a6-a00d-00acf3441113","resolution":{"observed_at":"2026-08-01T05:40:36.099558Z","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-01T05:40:36.151419Z","title":"Zhang, and Yong Liu","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.151419Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:f68266879a748d66db1dc3058412b92d03485f495343ff50593301668c2e0b3a","observation_id":"aac3971b-2518-424e-8de0-2e05a26f3e38","resolution":{"observed_at":"2026-08-01T05:40:36.151419Z","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-01T05:40:36.228534Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.228534Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:3497972cc56426cd8ce174a01aba9d344ea50e8a016f0a1adb5b893e10bae6b1","observation_id":"c9004cc1-d32d-4a86-9583-3c4da4f66d5a","resolution":{"observed_at":"2026-08-01T05:40:36.228534Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.11532","last_updated":"2024-12-20T11:25:59Z","snapshot_observed_at":"2026-08-09T12:14:59.410900Z","submitted_at":"2024-11-18T12:41:16Z","title":"CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.11532","snapshot_observed_at":"2026-08-01T05:40:36.355896Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.355896Z"},"links":{"cited_paper":"/paper/2411.11532","citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:8533e121d0111e0a318ca68a057c8a00747384b4ebd839d74736918c86f6bac5","observation_id":"65a5821f-84b9-48b3-93ef-94fad6dae834","resolution":{"observed_at":"2026-08-01T05:40:36.355896Z","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-01T05:40:36.412355Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.412355Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:24992a0a1b7a98411918ae32ac6298a1a959cdd9bbc65cae36042880e3481dc5","observation_id":"1d7bbf71-817f-4054-9b40-d7e9f1612985","resolution":{"observed_at":"2026-08-01T05:40:36.412355Z","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-01T05:40:36.537620Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.537620Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:c6bbd9a82c31e3228258204f8b1acaa9e905e92f584767f1b3fab8d7309f07a5","observation_id":"988b7e66-4286-4020-a36e-6d5452c5dbf2","resolution":{"observed_at":"2026-08-01T05:40:36.537620Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.13082","last_updated":"2025-08-22T16:12:45Z","snapshot_observed_at":"2026-07-06T19:18:27.644746Z","submitted_at":"2024-09-19T20:40:52Z","title":"AutoVerus: Automated Proof Generation for Rust Code","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.13082","snapshot_observed_at":"2026-08-01T05:40:36.588772Z","title":"Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, and Shan Lu","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.588772Z"},"links":{"cited_paper":"/paper/2409.13082","citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:a4cdeaf94e603d09b531f4bbc28d49625975d97c80dd278571dabbcf59b5ad7a","observation_id":"56993bde-6c73-4041-9428-041d84c5da36","resolution":{"observed_at":"2026-08-01T05:40:36.588772Z","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-01T05:40:36.483682Z","title":"InProceedings of the IEEE/ACM 46th International Conference on Software Engineering(Lisbon, Portugal)(ICSE ’24)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.483682Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:e3c043140ff351d8f3b81f7465a61c1d817d4eb6a3a4934a27b89cc1a024594d","observation_id":"15dd71e1-3d2c-4ca9-ba3c-0a9e60447a7e","resolution":{"observed_at":"2026-08-01T05:40:36.483682Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.03629","last_updated":"2023-03-10T01:00:17Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-10-06T01:00:32Z","title":"ReAct: Synergizing Reasoning and Acting in Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.03629","snapshot_observed_at":"2026-08-01T05:40:36.717500Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.717500Z"},"links":{"cited_paper":"/paper/2210.03629","citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:5931c0cae1a531cfe19f6e00a85177ad35474d17789ca3268a28bff878338ec3","observation_id":"e106664a-07bf-4e93-9d3e-d042bc1777b6","resolution":{"observed_at":"2026-08-01T05:40:36.717500Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.10253","last_updated":"2024-06-27T16:01:27Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-09-19T02:19:48Z","title":"GPTFUZZER: Red Teaming Large Language Models with Auto-Generated Jailbreak Prompts","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.10253","snapshot_observed_at":"2026-08-01T05:40:36.765652Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.765652Z"},"links":{"cited_paper":"/paper/2309.10253","citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:c09241873e45f334bb50d99e7cab6a42f3b72cff01d70709600b334065f9e40f","observation_id":"2e54f424-503f-4447-b762-665fa8b0fc73","resolution":{"observed_at":"2026-08-01T05:40:36.765652Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.03739","last_updated":"2023-11-22T23:49:03Z","snapshot_observed_at":"2026-08-07T05:10:14.907047Z","submitted_at":"2023-11-07T05:47:47Z","title":"Leveraging Large Language Models for Automated Proof Synthesis in Rust","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.03739","snapshot_observed_at":"2026-08-01T05:40:36.638795Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.638795Z"},"links":{"cited_paper":"/paper/2311.03739","citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:b7fc6dd30ffedb5ac43fe127fb814d4707e6b1daa6f09aa53cf246ffb9e237e4","observation_id":"8a8a1cc0-646b-4a22-b170-bfbd985686ab","resolution":{"observed_at":"2026-08-01T05:40:36.638795Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.15122","last_updated":"2025-04-10T11:04:50Z","snapshot_observed_at":"2026-08-09T06:22:50.673854Z","submitted_at":"2024-03-22T11:24:31Z","title":"A Hybrid Approach to Semi-automated Rust Verification","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.15122","snapshot_observed_at":"2026-08-01T05:40:36.942851Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.942851Z"},"links":{"cited_paper":"/paper/2403.15122","citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:046517b43dd146642d8729d52ef60b464c28b9f0803943d44ce91567df2b2103","observation_id":"42d39f11-ed8f-497e-b4e3-572e6b0334f2","resolution":{"observed_at":"2026-08-01T05:40:36.942851Z","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-01T05:40:36.838374Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.838374Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:963026737f05044a1c0676c00cc5452c71bc2ea32ccb7518915b50f53b38b91d","observation_id":"91a3acb4-921f-4b53-b42c-c515924b4825","resolution":{"observed_at":"2026-08-01T05:40:36.838374Z","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-01T05:40:36.892015Z","title":"In Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice(Lisbon, Portugal)(ICSE-SEIP ’24)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.892015Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:7e17e60e51fe3d8ea403d9dc7014d4eed10e87c1a7a6e1b7aebfd2bdd07b8c5b","observation_id":"1aac7498-7464-4ed2-9802-a7a994e44cad","resolution":{"observed_at":"2026-08-01T05:40:36.892015Z","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-01T05:40:36.286275Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:36.286275Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:61d5b15f2dca5f1f7f19d748f060588468ac26b757d76b7a8ed86ee0f2311e4b","observation_id":"67012502-77d1-4e21-bf53-3bf8e5c4413f","resolution":{"observed_at":"2026-08-01T05:40:36.286275Z","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-01T05:40:32.392025Z","title":"ACM Program","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-01T05:40:32.392025Z"},"links":{"citing_paper":"/paper/2607.22161"},"observation_digest":"sha256:aa3a0aab215c7977a6b7e0792dc3b5a7a8583766ae054162897758215016b5cb","observation_id":"7cc7ae4e-cb2f-49cf-8332-1ad27e959db3","resolution":{"observed_at":"2026-08-01T05:40:32.392025Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.22161","last_updated":"2026-07-24T10:06:52Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-08T00:49:10.541375Z","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models"},"reference_resolution":{"displayed":66,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":66,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":66},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 66 of 66 outbound references and 0 inbound Pith citation observations for arXiv:2607.22161."}