{"as_of":"2026-08-09T16:24:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b50a81fbc1fd1c225422695853a06ce3893ea280cebedf80fb62ca7dd19d033f","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T19:47:52.351642Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-12T01:21:42.562823Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-12T08:01:32.433003Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"cited_work":{"arxiv_id":"2502.05344","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.05344","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Rag-verus: Repository-level program verification with llms using retrieval augmented generation","venue":null,"work_id":"7dea5ce6-9213-44d8-b584-1b11bb1c334a","year":2025},"citing_paper":{"arxiv_id":"2604.21570","last_updated":"2026-04-23T11:46:19Z","snapshot_observed_at":"2026-08-02T20:33:52.654025Z","submitted_at":"2026-04-23T11:46:19Z","title":"SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-05-09T21:05:59.438175Z"},"links":{"cited_paper":"/paper/2502.05344","citing_paper":"/paper/2604.21570"},"observation_digest":"sha256:2086dde0bebaac7f30b7958b2a72ad759267d030b16019ee3ecf5e266f801c3b","observation_id":"f9c57a9d-4231-470a-8feb-4869225d88ac","resolution":{"observed_at":"2026-05-11T14:46:40.200600Z","resolver_source":"arxiv_id","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-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"cited_work":{"arxiv_id":"2502.05344","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.05344","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Rag-verus: Repository-level program verification with llms using retrieval augmented generation","venue":null,"work_id":"7dea5ce6-9213-44d8-b584-1b11bb1c334a","year":2025},"citing_paper":{"arxiv_id":"2605.08553","last_updated":"2026-05-08T23:25:05Z","snapshot_observed_at":"2026-07-06T23:20:47.880233Z","submitted_at":"2026-05-08T23:25:05Z","title":"VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-12T01:21:42.562823Z"},"links":{"cited_paper":"/paper/2502.05344","citing_paper":"/paper/2605.08553"},"observation_digest":"sha256:85cb6610ea5f23e69cb8ab504fed01a257e1d81e4022977b59eb2f5b213b0349","observation_id":"d713538e-789f-4bf1-a783-8ab071f6924a","resolution":{"observed_at":"2026-05-12T08:01:32.436544Z","resolver_source":"arxiv_id","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"}}],"links":{"evidence":"/evidence","html":"/paper/2502.05344/citation-record","integrity":"/paper/2502.05344/integrity","json":"/paper/2502.05344/citation-record.json","paper":"/paper/2502.05344"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.06176","last_updated":"2024-12-09T03:22:35Z","snapshot_observed_at":"2026-07-06T20:03:38.451641Z","submitted_at":"2024-12-09T03:22:35Z","title":"AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.06176","snapshot_observed_at":"2026-08-08T19:47:52.180412Z","title":"arXiv preprint arXiv:2412.06176 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.180412Z"},"links":{"cited_paper":"/paper/2412.06176","citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:ccb5fd34c2241fc4857b512cc849d41c43406822cb74c142c56794b1031c3860","observation_id":"42497490-0597-42f0-8f68-732a79760f8f","resolution":{"observed_at":"2026-08-08T19:47:52.180412Z","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-08T19:47:52.187197Z","title":"Advances in neural information processing systems33, 1877–1901 (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.187197Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:6b8eb695926e785132fbe798afdf9dd34436837a1e2f1bb997ea4c770429dab7","observation_id":"47c0886e-ff55-4ab5-8dce-daf559fc6c21","resolution":{"observed_at":"2026-08-08T19:47:52.187197Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.01787","last_updated":"2024-09-04T19:32:16Z","snapshot_observed_at":"2026-08-06T15:21:25.819574Z","submitted_at":"2024-05-03T00:14:33Z","title":"Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.01787","snapshot_observed_at":"2026-08-08T19:47:52.192734Z","title":"arXiv preprint arXiv:2405.01787 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.192734Z"},"links":{"cited_paper":"/paper/2405.01787","citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:8161050a836575a7998abd9818f2cdf921cab5b0445fc545f6bd5a70066d4c12","observation_id":"b5d345b8-aadf-4748-a713-aac9a27de067","resolution":{"observed_at":"2026-08-08T19:47:52.192734Z","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-08T19:47:52.198499Z","title":"arXiv preprint arXiv:2410.15756 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.198499Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:f53b703d30de0ea74199a6e5abaf5c5a8f53e5d64fd42bde8589f99fb02b6120","observation_id":"b285ad33-3ff8-4d45-b9b2-8d599fd0d8c5","resolution":{"observed_at":"2026-08-08T19:47:52.198499Z","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-08T19:47:53.096920Z","title":"In: International Conference on Computer Aided Verification","venue":null,"work_id":"ec0ad3c8-f48f-4237-873b-581cb2c9aa92","year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.204099Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:1fa1a8b362bc110b34c86b01897746622009a5fef83a319f3d746247b0502569","observation_id":"c263799b-fbe2-4458-9160-e38a85141f59","resolution":{"observed_at":"2026-08-08T19:47:53.102437Z","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-08T19:47:52.209440Z","title":"In: International conference on Tools and Algorithms for the Construction and Analysis of Systems","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.209440Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:ef3258fbbb5f565facb3ee87a719de754796254b13387c341b304902803fd2c5","observation_id":"beadb879-7066-4439-8654-2c6ef50828ae","resolution":{"observed_at":"2026-08-08T19:47:52.209440Z","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-08T19:47:52.215406Z","title":"IEEE Transactions on Big Data7(3), 535–547 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.215406Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:552b1d158ceb2e1137ea1d850b5c3b0f71706b3d83062fb2d72605794d81f870","observation_id":"13dc4415-4fd2-49a9-a3c8-413da3638aaa","resolution":{"observed_at":"2026-08-08T19:47:52.215406Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.07948","last_updated":"2023-11-14T06:58:09Z","snapshot_observed_at":"2026-08-08T21:04:54.404700Z","submitted_at":"2023-11-14T06:58:09Z","title":"Finding Inductive Loop Invariants using Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.07948","snapshot_observed_at":"2026-08-08T19:47:52.220414Z","title":"arXiv preprint arXiv:2311.07948 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.220414Z"},"links":{"cited_paper":"/paper/2311.07948","citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:1569acd1104fdb875ffeda0496779295aeee35d611acbf5ab7e4d01b575c4240","observation_id":"b77bb270-d6d8-4f8d-a47c-322785756d80","resolution":{"observed_at":"2026-08-08T19:47:52.220414Z","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-08T19:47:53.058380Z","title":"Formal aspects of computing27(3), 573–609 (2015)","venue":null,"work_id":"3c5cf810-a59a-4e45-8406-980d749e7007","year":2015},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.226090Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:24d59a965ce815a4a721788015bce4a219f6864b70b0743b844682c8792fa649","observation_id":"6c0920ae-9ba6-44d2-a776-96194db4b46e","resolution":{"observed_at":"2026-08-08T19:47:53.064376Z","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-08T19:47:53.042109Z","title":"ACM Transac- tions on Computer Systems (TOCS)32(1), 1–70 (2014)","venue":null,"work_id":"c37620d8-c8d1-4d72-8062-772e9d9107fa","year":2014},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.231243Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:93d63d7e45ceb8a8975b67afbc16501a959a01bb1d235d4155164a3f42de9bd6","observation_id":"38dafd63-a989-4fd4-b4ed-28f090f08401","resolution":{"observed_at":"2026-08-08T19:47:53.047128Z","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-08T19:47:53.024906Z","title":"In: Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles","venue":null,"work_id":"98aeef1b-85bc-46f6-9f5e-5ea78f8930ff","year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.236065Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:d6e4ee55eb97e3e3ce92c54509633b7645823d137c40091f11a2278de24aca8c","observation_id":"f5b66ee8-f1f1-4730-979d-6492a61fb7f5","resolution":{"observed_at":"2026-08-08T19:47:53.031068Z","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-08T19:47:53.009042Z","title":"Proceedings of the ACM on Programming Languages7(OOPSLA1), 286–315 (2023)","venue":null,"work_id":"0f3d72f2-ae98-40a7-b5f9-e124f2585423","year":2023},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.241014Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:c7bb7401c05741285fc0ee827e064672a4a0fd09c372dd8eba9cfde65ad9e4da","observation_id":"5f938a6f-5667-47fe-83c2-584780c24172","resolution":{"observed_at":"2026-08-08T19:47:53.014323Z","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-08T19:47:52.246173Z","title":"In: International conference on logic for programming artificial intelligence and reasoning","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.246173Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:07c3fe68791e5c8258fba800ebfdb7be0b749a060c921c47538c639193bbbab9","observation_id":"c5de8c7e-cfd1-471d-8337-04e3fb7f980f","resolution":{"observed_at":"2026-08-08T19:47:52.246173Z","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-08T19:47:52.251446Z","title":"Advances in Neural Information Processing Systems 33, 9459–9474 (2020)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.251446Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:f02a1b9be3e13d429617029a47e3f142427ac41783123343a7c4b0064bc2efed","observation_id":"eec45d26-3985-4967-bb7a-2e124c5fea72","resolution":{"observed_at":"2026-08-08T19:47:52.251446Z","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-08T19:47:52.971134Z","title":"In: 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)","venue":null,"work_id":"bf8848dc-1b9b-4137-96cb-56a558b48440","year":2023},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.256285Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:9d572b87a0561c79495c102f9b058b3b673097168e27a8b815863cf718113ea0","observation_id":"047f9d48-4d7e-446e-9f68-43ed0a59fbd2","resolution":{"observed_at":"2026-08-08T19:47:52.976388Z","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-08T19:47:52.954346Z","title":"In: International Conference on Computer Aided Verification","venue":null,"work_id":"b30c3254-d616-4f50-940d-bec2624669b1","year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.261454Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:f50f20388da721bdcb5a4afb1644df34f05919a58c277aa94cd108fff9726f88","observation_id":"7d6150c0-ca8b-4dc9-8e5f-324d87bd5280","resolution":{"observed_at":"2026-08-08T19:47:52.960173Z","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":"2404.09939","last_updated":"2024-08-22T03:56:45Z","snapshot_observed_at":"2026-08-07T23:33:43.248623Z","submitted_at":"2024-04-15T17:07:55Z","title":"A Survey on Deep Learning for Theorem Proving","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.09939","snapshot_observed_at":"2026-08-08T19:47:52.266487Z","title":"arXiv preprint arXiv:2404.09939 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.266487Z"},"links":{"cited_paper":"/paper/2404.09939","citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:18d3941f0eece22d14efa14d86a4c4a4dcc4078ebd1aaa420eb7f7bad5ec94c1","observation_id":"cee872b6-9706-4869-859e-b388a4498c27","resolution":{"observed_at":"2026-08-08T19:47:52.266487Z","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-08T19:47:52.936805Z","title":"IEEE Transactions on Software Engineering (2024)","venue":null,"work_id":"b5d1233b-b953-40e4-80c2-0eaf8b9ac73d","year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.272089Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:93d1c9ca502e5dae6aed23dbda86ccafa9f2d9085f0ecfb79b332e54c357eeb7","observation_id":"78d53f98-1f09-4008-a0b7-e8ac64d4d50b","resolution":{"observed_at":"2026-08-08T19:47:52.942064Z","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-08T19:47:52.920247Z","title":"In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","venue":null,"work_id":"77bffaf3-8fda-48ce-a588-1d90dcc2f89a","year":2022},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.277163Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:e3174c42e64b11b7faafd3f0601d73da1fb5339ee2df883df269451862cd55e0","observation_id":"1db64ce5-fc42-4333-8274-f9c7851257ac","resolution":{"observed_at":"2026-08-08T19:47:52.925492Z","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-08T19:47:52.903682Z","title":"https://www.llamaindex.ai/, accessed: 2024-11-07","venue":null,"work_id":"e8f9b2ff-67ee-4f0e-9cd4-68df439eabfd","year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.282264Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:047a51eafbcc2ae4b2d3a9983e5e8312ddb987663e6c7ac04e3c9024be49a886","observation_id":"6e29f834-d359-4abc-b004-31e6951bc771","resolution":{"observed_at":"2026-08-08T19:47:52.908767Z","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-08T19:47:52.887197Z","title":"Proceedings of the ACM on Software Engineering1(FSE), 812–835 (2024)","venue":null,"work_id":"0b346ae1-580d-49ff-b4c8-28108951ffb4","year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.288312Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:8cac03198ffb73107c1ee8493761f08bde15b97855d90cce6365c787f751ac99","observation_id":"0ac15044-cb3d-4a57-99d9-42427af28de0","resolution":{"observed_at":"2026-08-08T19:47:52.892489Z","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-08T19:47:52.871321Z","title":null,"venue":null,"work_id":"b89395cc-8cc6-4335-9ea0-0c1e44175d55","year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.293073Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:6789e1baf64e4f3a007a3aad289b09218f445cc847e298251e7d56da3d12785f","observation_id":"23f8e17f-c6e2-48ab-9cef-73690cb7f8a0","resolution":{"observed_at":"2026-08-08T19:47:52.876483Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08T19:47:52.854084Z","title":null,"venue":null,"work_id":"fb02ba86-cb00-470b-8d5a-6ec924d70be8","year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.298106Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:95c04b9bb67388418fa40f7d795e7253ebdaf6ad1a201896a15bd1c6a89bc085","observation_id":"32350241-8f56-4815-9754-ea3b6b69a0e3","resolution":{"observed_at":"2026-08-08T19:47:52.859778Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08T19:47:52.835319Z","title":"In: Proceedings of the 40th International Conference on Machine Learning","venue":null,"work_id":"045d4d29-9634-43c2-9ad9-f4d42b0d4465","year":2023},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.303295Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:2c8efe2bb08202b78b74476d74d15864950fbc1607463997ff74176621744a0e","observation_id":"0fafe7b2-859a-48e5-b968-f9983a88f1db","resolution":{"observed_at":"2026-08-08T19:47:52.841457Z","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-08T19:47:52.819133Z","title":"In: Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II 32","venue":null,"work_id":"87a6542d-d0ce-4814-9b72-42d356aeed29","year":2020},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.308338Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:d22e8c2032c0fe737a3b901625e4240d941e8ae01c025b9d864a1ce7de8518cd","observation_id":"4931e9e1-d910-4b23-bfed-980b44142cb4","resolution":{"observed_at":"2026-08-08T19:47:52.824247Z","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-08T19:47:52.802474Z","title":"In: International Symposium on AI Verification","venue":null,"work_id":"3e29e934-6ad2-4f09-a10e-ff884d211286","year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.313215Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:3781426aa7768274efb8cd1730f113a9a9f2fb6639274438bc726a0948db3294","observation_id":"eec82960-d6b6-4be2-bfb5-fd69a1136ffe","resolution":{"observed_at":"2026-08-08T19:47:52.807823Z","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-08T19:47:52.785331Z","title":"In: 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24)","venue":null,"work_id":"01d3354e-9b81-4d26-81bc-538b897f1cea","year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.318237Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:1ea4814425fdf49ffe9483ae10ae321ca101080badd2debe35c216188ec3c009","observation_id":"6ab7c8a6-6d2a-44cb-a52a-0da4bf062a16","resolution":{"observed_at":"2026-08-08T19:47:52.790932Z","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-08T19:47:52.768289Z","title":"In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","venue":null,"work_id":"5843a904-a53a-4f68-84cf-b450df468aa8","year":2022},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.323477Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:798750a8a2a4e1a3cf795eb40c1851c2f66dcc82b473e675250888369db5be81","observation_id":"6637fe03-2426-477d-a6d3-dad0d6d5b23c","resolution":{"observed_at":"2026-08-08T19:47:52.773595Z","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-08T19:47:52.328949Z","title":"In: International Conference on Computer Aided Verification","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.328949Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:4b6467740285b187d2cffcd73ad56766ed71680b1796835dcf11834a4f899c89","observation_id":"4324e237-6098-47f0-bb04-f424fec6d4dc","resolution":{"observed_at":"2026-08-08T19:47:52.328949Z","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-08T19:47:52.334413Z","title":"arXiv preprint arXiv:2409.13082 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.334413Z"},"links":{"cited_paper":"/paper/2409.13082","citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:a56f1521703fc56fd943126635c3918bd5f20d6d57521fe52dfa02da4cba5416","observation_id":"80daf7e1-e8ef-42a1-8164-6d44b2764c60","resolution":{"observed_at":"2026-08-08T19:47:52.334413Z","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-08T19:47:52.740069Z","title":"Advances in Neural Information Processing Systems36 (2024)","venue":null,"work_id":"13c6f8bd-6795-4830-9d5f-3bed0ab8bfcb","year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.340222Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:586ae4f42b15d04c3cbc0b916ead27a8479beefd8bb69afdf14ec56b955dc48f","observation_id":"dc6660a9-ba63-447a-b588-1d5f2556495c","resolution":{"observed_at":"2026-08-08T19:47:52.745432Z","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":"2401.07663","last_updated":"2024-06-05T08:16:12Z","snapshot_observed_at":"2026-07-06T17:15:38.182240Z","submitted_at":"2024-01-15T13:08:38Z","title":"Selene: Pioneering Automated Proof in Software Verification","version":2},"cited_work":{"arxiv_id":"2401.07663","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.07663","snapshot_observed_at":"2026-08-08T19:47:52.393220Z","title":"Selene: Pioneering Automated Proof in Software Verification","venue":"cs.SE","work_id":"7c9295d1-e76a-4c3e-9ea2-9297c5a5cc80","year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.345526Z"},"links":{"cited_paper":"/paper/2401.07663","citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:25532d67150c18bcc2ab45130ca869e8026f4401225fbc82a176dad1a32650a7","observation_id":"c6fe597c-feee-4014-b550-c5657f1a0566","resolution":{"observed_at":"2026-08-08T19:47:52.401535Z","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-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-08T19:47:52.723006Z","title":"In: 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24)","venue":null,"work_id":"b1a09a68-b212-4e76-ad03-0b869ca63f2f","year":2024},"citing_paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-08T19:47:52.351642Z"},"links":{"citing_paper":"/paper/2502.05344"},"observation_digest":"sha256:e97951571b9a625c413da22376ad469eff8fc6ab539dca67a2bc9b41d9d70eef","observation_id":"02b21281-7acf-4592-b93d-229a86208970","resolution":{"observed_at":"2026-08-08T19:47:52.728364Z","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"}}],"paper":{"arxiv_id":"2502.05344","last_updated":"2025-02-07T21:30:37Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-08T19:39:34.931998Z","submitted_at":"2025-02-07T21:30:37Z","title":"RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":14,"verified_exact":0,"verified_fuzzy":18},"total_outbound_references":33},"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 33 of 33 outbound references and 2 inbound Pith citation observations for arXiv:2502.05344."}