{"as_of":"2026-08-10T05:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:102cc7253c8fdfec9680e85f1fd5641a3c2617bb7d30d2e91639196eaa3b0dd7","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-09T21:17:38.768955Z","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:e725b642741cbad26811220c4736b5a2dc7475becbe6ce64326209f280a00f7b","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-09T21:17:38.768955Z","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:ae941229e2b0b3d76cc9fbbfb0a4a3841ec04f1e6d03d3d687d10f02bffd93a8","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-09T21:17:38.768955Z","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:ca8e91f8faf888c8c29d6ca06e827de577c508ca4115e93a7693b62d201cbe9b","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-09T21:17:38.768955Z","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:9b24520807bafbd2297eb25a05ea41c2ce129a8ec08e0abd36e43eaa81613f97","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-09T21:17:38.768955Z","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:d0a5f80a3b806f64591aa267b62b54b02beb707e637a06113163607c44b1a3dd","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-09T21:17:38.768955Z","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:2ca19b4c0d527c41a77dcac0878e17ada94538e355927d5b17d5df55b4f4c21a","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-09T21:17:38.768955Z","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:cb52e50b3cc6ece9f5dbfdc8ca476a7868727b519f2b323885799b3cd4919758","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-09T21:17:38.768955Z","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:8fca826f60aa46090bc7abf44bc08650c4e002d93a528a0e6d34f10e47634487","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-09T21:17:38.768955Z","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:e5458f09010ccb8c93c696ef5d0efcd750007f7d5d5cf53f5f0f82020d1b37fb","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-09T21:17:38.768955Z","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:8aa05d7100dafd460ff5027b27bf33ea3b15a35569bb77324aaf9afa815378dc","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-09T21:17:38.768955Z","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:596fe08b79dbfc626405210896170917de72feaef1b1afd05219fddcab0590e8","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-09T21:17:38.768955Z","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:63de5fe49705afe1d193667f6de69c19a457ce378decb3a3e0462d5f51f59a81","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-09T21:17:38.768955Z","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:c87a27bad17e82c4c4d187512de79bc1e9a7a6716798fc39944345a229216b9b","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-09T21:17:38.768955Z","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:bf9bbb526fb1b9114403116323a12c380e22dc588a359e9afb526c767bec21a2","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-09T21:17:38.768955Z","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:87ea9967cd6c026a28a696dc329b40418930db65e88a1170d64c66791182683e","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-09T21:17:38.768955Z","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:21c00aaee9b10bd471867f51c179161181aafeacadc3bc993a9bf9960b332b71","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-09T21:17:38.768955Z","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:1c2cf43c97bdf40e29d980ff9a17a0f86ba195afe3d0d9c50ef1c4e0711e04d5","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-09T21:17:38.768955Z","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:9753b08c962a4ccb3e1f0d9b3e5ac5782639419ab335a14cc478218aeb01d292","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-09T20:49:22.576626Z","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-09T21:17:38.768955Z","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:a09ef31241bfda5036180e01cd54af92a4154c6e8ef0e99118ba13504c07c916","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-09T21:17:38.768955Z","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:b880af4a9c909e68a8f79c62c7cbfa4693f309c9367750b05dc649c628379d1d","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-09T21:17:38.768955Z","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:0167f89b4c52372e2703cad669a8fbad1aca4bd6d9eabc795d461dbebb0aa189","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-09T21:17:38.768955Z","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:4646f85e6748780f25389533b06bec614f86338db8c82b62e04cea9fd6dce489","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-09T21:17:38.768955Z","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:230c860f86613d67a772da6eb06271398ae18cf2b94ae30da380abebcb94471f","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-09T21:17:38.768955Z","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:309445dabbcdc076cbbad4598fe127e4f94b4eb17445209b9ab1357e500c0ed7","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-09T21:17:38.768955Z","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:a639fd174302958733f0af72094c74fed778d78e122e32922b4dfe59ac7d766d","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-09T21:17:38.768955Z","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:cce0a7a058b8e46afaf0f29dda69019cd82daed874a182713e31ca4d6520abe8","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-09T21:17:38.768955Z","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:9f15b52219a07e896a4bf1e8a24de8e7dde4a556c93bef1894ace26d6494fccf","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-09T21:17:38.768955Z","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:5cefadaae2d4fd9ed5a4aa44d76f8cc5b30552244e2e1b6229080e7468cde967","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-09T21:17:38.768955Z","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:adf92792ac977abb4cb2d0f451d9c5556cdc737ddcf0b360f2c4d8068ec4bb3a","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-09T21:17:38.768955Z","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:5d919a4f37adfb26c1e2d651ca07220f99644ad00a67a260a5ff58a195f5287b","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-09T21:17:38.768955Z","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:edb4c722f8f201792889f1ffbc80b82430a2d99fb868f8b34f4596ead25ae490","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-09T21:17:38.768955Z","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:e7d736ab1052217ac4f4ad7e382a16ee9f9d2ed92b5202b424cf1c095198863c","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-09T21:17:38.768955Z","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:360184c959a8476b810ba8a357bf67dab5fdc5c0ea3ff1f9877917b8e02d8c1d","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-09T21:17:38.768955Z","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:bd0ec11ab6935e3a836cbf01593be9af73272553153cfb7b3d1beaa801c5622e","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-09T21:17:38.768955Z","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:8d169cebcfe3a8332ba7d7dd82bce5749569f1c3577b3fc79bb1eeeff8bda278","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-09T21:17:38.768955Z","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 10 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 2 inbound Pith citation observations for arXiv:2502.05344."}