{"as_of":"2026-08-09T17:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7aa8d20d21d6840b1c5d52aef07bb9afd9d4ac53e725bd8727a5dc0c578a3213","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T00:43:18.315788Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"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/2608.00965/citation-record","integrity":"/paper/2608.00965/integrity","json":"/paper/2608.00965/citation-record.json","paper":"/paper/2608.00965"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:43:21.209192Z","title":"Debian Security Advisory","venue":null,"work_id":"206278d8-f9a7-48e7-a9d3-71906ddd6dbf","year":2026},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:16.147863Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:c3960b325a9c14444e60ffd817281355178fb4c0fcfb524a773649067c07922e","observation_id":"5a4cd560-5162-45a7-8751-ef58ccd596c1","resolution":{"observed_at":"2026-08-06T00:43:21.300043Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"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-06T00:43:16.252109Z","title":"Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, and Shan Lu.AutoVerus: Automated Proof Generation for Rust Code","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:16.252109Z"},"links":{"cited_paper":"/paper/2409.13082","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:1143ce2852248b0f0d3a63b424bb5d4842c51da4ff95db4bc6e7fa18c964b703","observation_id":"4f17e239-58ab-4043-8996-4726155f9e03","resolution":{"observed_at":"2026-08-06T00:43:16.252109Z","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":"2509.25197","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:43:20.077446Z","title":"LMPL 2025","venue":null,"work_id":"75b7b39d-5cf6-45da-bce9-8646d2d60d3b","year":2025},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:16.323394Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:94a5667bca0e8b807d86a8842bfcf2bcfdcdfe30b8bdefc41387aa078774614f","observation_id":"3220e69b-6565-4326-904b-533ff7d158ba","resolution":{"observed_at":"2026-08-06T00:43:20.172764Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.03822","last_updated":"2026-08-02T11:14:47Z","snapshot_observed_at":"2026-08-06T23:24:38.605210Z","submitted_at":"2026-05-05T14:50:24Z","title":"KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.03822","snapshot_observed_at":"2026-08-06T00:43:16.388241Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:16.388241Z"},"links":{"cited_paper":"/paper/2605.03822","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:203070d59bae0788e65a1a571e1741960df1e01dd55e9e566721bf71b6c00620","observation_id":"e5094824-21ef-4e61-a352-5e621e3ea843","resolution":{"observed_at":"2026-08-06T00:43:16.388241Z","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.48550/arxiv.2510.25015","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:43:18.764847Z","title":"2025.doi:10.48550/arXiv.2510.25015","venue":null,"work_id":"703b4d86-c0d4-4a1a-84ef-18c2f825eb8a","year":2025},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:16.427910Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:2b40088245b122a6907fe7cc603964f8860ce72085a8b9a60b094a42248453aa","observation_id":"01ead0d2-0672-480b-8da9-12f71c038718","resolution":{"observed_at":"2026-08-06T00:43:18.809689Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-06T22:08:08.459732+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-06T22:08:08.459732+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.05491","last_updated":"2023-03-11T00:58:20Z","snapshot_observed_at":"2026-08-06T18:17:03.387443Z","submitted_at":"2023-03-09T18:44:45Z","title":"Verus: Verifying Rust Programs using Linear Ghost Types (extended version)","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.05491","snapshot_observed_at":"2026-08-06T00:43:16.481022Z","title":"Verus: Verifying Rust Programs using Linear Ghost Types","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:16.481022Z"},"links":{"cited_paper":"/paper/2303.05491","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:2d4c4cbb0d50cb6bb7ed9ad7a1480d66321371ffcce2c6dc228563c5e6dbfdec","observation_id":"89040eb4-a996-46ab-b358-3f248f1663a9","resolution":{"observed_at":"2026-08-06T00:43:16.481022Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:43:21.041920Z","title":"GitHub repository","venue":null,"work_id":"76b6bfcc-aa34-44a7-83f1-2e22893b4e1f","year":2026},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:16.527633Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:2da2c1900418d1d9bb8d893ee47ed9519abb1824cd8bf9db787ef3cdb8b65cec","observation_id":"f8ed5c15-01ed-4bbb-828a-86c2fd662532","resolution":{"observed_at":"2026-08-06T00:43:21.113449Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:43:20.855461Z","title":"GitHub repository","venue":null,"work_id":"e3db6b42-eb7f-4394-b6bf-b8a8ba47f92d","year":2026},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:16.565875Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:65ddd6530cc819d953d31479d1148191b29af74308f763008db9b01d9361b504","observation_id":"08cbe61d-b8e0-4545-b279-5b1484a82c2b","resolution":{"observed_at":"2026-08-06T00:43:20.953602Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:43:20.693064Z","title":"Sensor Tower","venue":null,"work_id":"1bb6477b-5d7f-4836-9a67-c43e9e20c360","year":2026},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:16.623838Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:715d882b722ac655a8153c848688b98f91d972d588d6a26ef600fcfc505d0c26","observation_id":"244d30fe-8aad-4d7c-8764-fe67e04bf066","resolution":{"observed_at":"2026-08-06T00:43:20.764550Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:43:20.542672Z","title":"GitHub repository","venue":null,"work_id":"34704868-3aa6-4227-9632-6e3b2aeaae4d","year":2026},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:16.663714Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:89d2e094289e5b8d2499d258a0be286720755a74fe71e7b778bdcd324421d31f","observation_id":"da1964e7-0ba4-4f6b-af77-da119c1eabc0","resolution":{"observed_at":"2026-08-06T00:43:20.619569Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:43:20.418799Z","title":"Z3: An Efficient SMT Solver","venue":null,"work_id":"17bda3e2-8058-4f68-9625-0887641771a3","year":2008},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:16.704197Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:63eb18212903fa1076c818d9fa332cfc4ddf651953e75ad8e872ff83f64f03f6","observation_id":"fec8efb8-9ea6-42f2-a17a-f79732fd6c83","resolution":{"observed_at":"2026-08-06T00:43:20.494185Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2512.18436","last_updated":"2026-04-15T16:44:49Z","snapshot_observed_at":"2026-08-04T12:46:28.857160Z","submitted_at":"2025-12-20T17:22:52Z","title":"VeruSAGE: A Study of Agent-Based Verification for Rust Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2512.18436","snapshot_observed_at":"2026-08-06T00:43:16.808332Z","title":"Lorch, and Shan Lu.VeruSAGE: A Study of Agent-Based Verification for Rust Systems","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:16.808332Z"},"links":{"cited_paper":"/paper/2512.18436","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:92d87766e3b52ff76d8ee4a4b337830027e7e7119abfc23aa0e722160e054480","observation_id":"b60c1acb-45a7-4721-bb90-6ae1f97278f0","resolution":{"observed_at":"2026-08-06T00:43:16.808332Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.03172","last_updated":"2023-11-20T23:09:34Z","snapshot_observed_at":"2026-07-06T15:51:12.179086Z","submitted_at":"2023-07-06T17:54:11Z","title":"Lost in the Middle: How Language Models Use Long Contexts","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.03172","snapshot_observed_at":"2026-08-06T00:43:16.886091Z","title":"Lost in the Middle: How Language Models Use Long Contexts","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:16.886091Z"},"links":{"cited_paper":"/paper/2307.03172","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:2bdfc3de12724ab8210397b4a78a3c7a3f6677b747967672141c50ac55a9abdc","observation_id":"4ebdf04e-010f-452a-a5d3-951223c6ef83","resolution":{"observed_at":"2026-08-06T00:43:16.886091Z","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-06T00:43:16.967284Z","title":"HACL*: A Verified Modern Cryptographic Library","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:16.967284Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:465dea890b956557b679c63b2e68b7af7408841ea4fcd4f0ce98692908d041d0","observation_id":"0a95f6b1-c878-4694-8aa0-fd22b904f40c","resolution":{"observed_at":"2026-08-06T00:43:16.967284Z","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-06T00:43:17.071742Z","title":"EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:17.071742Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:35edf10775c3dafa17acd798f5cfc0b4aabdd8ad3791d2bce9bbf8744db82e06","observation_id":"a559578f-5189-4699-80f3-0eceb983975e","resolution":{"observed_at":"2026-08-06T00:43:17.071742Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T00:43:20.262632Z","title":"GitHub repository","venue":null,"work_id":"59f484f7-dbe1-45a8-bb12-e0db810b1e17","year":2026},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:17.165130Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:2b311fb8eefeac502f50ad4fe4c61cab4c600421ca19c91d207e6f781810077f","observation_id":"4bad1453-43a5-41b5-9a68-1b76f353551c","resolution":{"observed_at":"2026-08-06T00:43:20.312933Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T00:43:17.245516Z","title":"Enhancing LLM-Based Proof Synthesis for Rust Programs via Semantic Chunking and Hierarchical Context Expansion","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:17.245516Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:05ad5ce58e5c8435c532d2f5af52568658e33a9b475a24f373fe8833d19590cb","observation_id":"2083e2ef-25ef-49be-9f21-f4de6881c78c","resolution":{"observed_at":"2026-08-06T00:43:17.245516Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.17807","last_updated":"2024-11-16T21:57:49Z","snapshot_observed_at":"2026-07-06T16:39:16.652626Z","submitted_at":"2023-10-26T22:58:19Z","title":"Clover: Closed-Loop Verifiable Code Generation","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.17807","snapshot_observed_at":"2026-08-06T00:43:17.341524Z","title":"Clover: Closed-Loop Verifiable Code Generation","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:17.341524Z"},"links":{"cited_paper":"/paper/2310.17807","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:6238b36b59ce3c6f71c9875f4f14bc39abc1da62449d3c27a69543ade090fe53","observation_id":"26903e40-f5c8-412b-85ce-16ddc0e89847","resolution":{"observed_at":"2026-08-06T00:43:17.341524Z","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-06T00:43:17.413044Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:17.413044Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:bee6c333f4005d5c1112519c9cc9ec93b276733390a7f9288d2b25a44d166e00","observation_id":"e010375e-93d7-455f-83c7-dd33e92368b5","resolution":{"observed_at":"2026-08-06T00:43:17.413044Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-07-06T16:29:11.973128Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-08-06T00:43:17.514769Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:17.514769Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:8618540884b33fc0e761987f5a8efc994b965682ecdef33eca7869b13f203680","observation_id":"977400cb-5171-4805-a059-6d16c5ca1e84","resolution":{"observed_at":"2026-08-06T00:43:17.514769Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.23109","last_updated":"2026-05-22T00:05:36Z","snapshot_observed_at":"2026-07-06T23:33:24.215365Z","submitted_at":"2026-05-22T00:05:36Z","title":"Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems","version":1},"cited_work":{"arxiv_id":"2605.23109","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.23109","snapshot_observed_at":"2026-08-06T00:43:19.437360Z","title":"Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems","venue":"cs.AI","work_id":"6b6684ab-2759-4c2f-ba2f-6be00c2e8dbc","year":2026},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:17.612528Z"},"links":{"cited_paper":"/paper/2605.23109","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:9cc68a321cad4529f5b6e860672faea3d41b42de1bdcff5320efdfb522ef8620","observation_id":"37ac76e9-c98c-4867-b9d0-81c7c5e6f15e","resolution":{"observed_at":"2026-08-06T00:43:19.499585Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06T00:43:17.693011Z","title":"Verified Correctness and Security of mbedTLS HMAC-DRBG","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:17.693011Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:2a8faf721c02679fb13020731730ff583f158c19c49eee765ac88afa9cecf415","observation_id":"d8cf62e6-7c31-4ce3-9311-e11442929ff0","resolution":{"observed_at":"2026-08-06T00:43:17.693011Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1904.04606","last_updated":"2019-04-09T11:43:54Z","snapshot_observed_at":"2026-08-05T00:43:02.428474Z","submitted_at":"2019-04-09T11:43:54Z","title":"The Last Mile: High-Assurance and High-Speed Cryptographic Implementations","version":1},"cited_work":{"arxiv_id":"1904.04606","doi":"10.48550/arxiv.1904.04606","metadata_source":"pith","pith_arxiv_id":"1904.04606","snapshot_observed_at":"2026-08-06T06:16:15.181768Z","title":"The Last Mile: High-Assurance and High-Speed Cryptographic Implementations","venue":"cs.CR","work_id":"d9894267-7703-4edf-b42d-58e83d0c6e70","year":2019},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:17.755286Z"},"links":{"cited_paper":"/paper/1904.04606","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:b00bdb632b311c185b2d924ae3020e4693dc83cd4eb378b9957866e171e2b450","observation_id":"ee291bff-9a5d-496c-89ae-d7059e06030e","resolution":{"observed_at":"2026-08-06T00:43:18.613835Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-06T22:08:09.023021+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-06T22:08:09.023021+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2211.10665","last_updated":"2023-05-22T00:53:32Z","snapshot_observed_at":"2026-08-09T14:51:17.339487Z","submitted_at":"2022-11-19T11:07:39Z","title":"CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)","version":3},"cited_work":{"arxiv_id":"2211.10665","doi":"10.48550/arxiv.2211.10665","metadata_source":"pith","pith_arxiv_id":"2211.10665","snapshot_observed_at":"2026-08-06T06:16:15.181768Z","title":"CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)","venue":"cs.CR","work_id":"4a3160b0-de18-4ccd-bb50-5e82f08695c2","year":2022},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:17.855997Z"},"links":{"cited_paper":"/paper/2211.10665","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:48f9e1df8a4d51caa1a521a27441ffede7d0c3fa8e602d62323010bd2c281de2","observation_id":"f22199a1-f68f-49bc-af9d-90624539518c","resolution":{"observed_at":"2026-08-06T00:43:18.493794Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-06T22:08:09.133827+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-06T22:08:09.133827+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.30106","last_updated":"2026-05-28T15:47:02Z","snapshot_observed_at":"2026-07-06T23:39:24.682426Z","submitted_at":"2026-05-28T15:47:02Z","title":"A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report","version":1},"cited_work":{"arxiv_id":"2605.30106","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.30106","snapshot_observed_at":"2026-08-06T00:43:19.200582Z","title":"A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report","venue":"cs.LO","work_id":"8aa7198c-9a1a-4128-8005-c3acbfdd887f","year":2026},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:17.925427Z"},"links":{"cited_paper":"/paper/2605.30106","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:6e48062eb3dfee1b8b3882d958cee93af1500f6c214800ebfec5cf7555630010","observation_id":"df0a34f5-f55b-4398-8e2e-aae1c446069d","resolution":{"observed_at":"2026-08-06T00:43:19.265334Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2605.30914","last_updated":"2026-05-29T06:59:28Z","snapshot_observed_at":"2026-08-04T08:48:12.582835Z","submitted_at":"2026-05-29T06:59:28Z","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","version":1},"cited_work":{"arxiv_id":"2605.30914","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.30914","snapshot_observed_at":"2026-08-06T00:43:19.018779Z","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","venue":"cs.LG","work_id":"5ac0a8fa-f63d-4733-b28b-d63f410172a2","year":2026},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:17.987409Z"},"links":{"cited_paper":"/paper/2605.30914","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:21f4d6b4e26e1d452a7d302368fba042cb96f583ebf298d45b5d7e0ebf5e29ab","observation_id":"8b655fb1-8f4d-49c5-b095-988261d7141c","resolution":{"observed_at":"2026-08-06T00:43:19.071426Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.21801","last_updated":"2025-07-18T08:20:23Z","snapshot_observed_at":"2026-08-02T11:46:58.603316Z","submitted_at":"2025-04-30T16:57:48Z","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.21801","snapshot_observed_at":"2026-08-06T00:43:18.057781Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:18.057781Z"},"links":{"cited_paper":"/paper/2504.21801","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:3c0a3ea27fbc02aaa9d17ef2148761e53b2a56a4d184a28ddbcf5abeb8b3e888","observation_id":"1aa8bf7c-6a44-4439-8fef-b2d560308682","resolution":{"observed_at":"2026-08-06T00:43:18.057781Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.15626","last_updated":"2023-10-27T16:00:20Z","snapshot_observed_at":"2026-07-06T15:47:26.532273Z","submitted_at":"2023-06-27T17:05:32Z","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.15626","snapshot_observed_at":"2026-08-06T00:43:18.120570Z","title":"LeanDojo: Theorem Proving with Retrieval- Augmented Language Models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:18.120570Z"},"links":{"cited_paper":"/paper/2306.15626","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:c4e7552289a1e24b88ae737ba816141ed111a02eb90cbe1529154da9b65d88b5","observation_id":"40a66fa7-95b9-44bf-ba4b-b8201b450450","resolution":{"observed_at":"2026-08-06T00:43:18.120570Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-06T00:43:18.205069Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:18.205069Z"},"links":{"cited_paper":"/paper/2412.06176","citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:edc95b50b19bd268290e5a268c28ffe4163a493e9cba6a5d61c8bbe2424199d7","observation_id":"7519846f-d0dd-4627-a8c3-908577048ff9","resolution":{"observed_at":"2026-08-06T00:43:18.205069Z","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-06T00:43:18.238182Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:18.238182Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:d5a330fed4cd75de56bdb4d4f5f4cef178529532bd5446fa3a89b8d2a10f2831","observation_id":"81b04ddd-adf6-45c8-bbcc-6a43dcce09af","resolution":{"observed_at":"2026-08-06T00:43:18.238182Z","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-06T00:43:18.315788Z","title":"Bounds on Multiprocessing Timing Anomalies","venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T00:43:18.315788Z"},"links":{"citing_paper":"/paper/2608.00965"},"observation_digest":"sha256:bc6b9e9cd99a57f82f07e20497e6c4d44196ff57afab7d7f3a418f7ccb0dcf06","observation_id":"4f83bd6f-16ec-4bf6-91c3-4d7ba98dba35","resolution":{"observed_at":"2026-08-06T00:43:18.315788Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.00965","last_updated":"2026-08-02T03:32:08Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-09T03:35:42.537416Z","submitted_at":"2026-08-02T03:32:08Z","title":"An AI Approach to Verified Production Cryptographic Libraries"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":1,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":16,"verified_exact":5,"verified_fuzzy":7},"total_outbound_references":31},"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 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2608.00965."}