{"as_of":"2026-08-20T03:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0804855cf6572feeae3baf5a28e9f489e6518232679c7175a9919b0a55cb5ad5","coverage":[{"denominator":98,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":98,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T12:35:28.130677Z","state":"measured"},{"denominator":104,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":104,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":6,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":6,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-28T17:05:13.012431Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"cited_work":{"arxiv_id":"2412.14063","doi":"10.48550/arxiv.2412.14063","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.14063","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ferreira, Sorin Lerner, and Emily First","venue":"arXiv (Cornell University)","work_id":"5070fe30-2496-4dd6-8734-0b8f76e858bb","year":2024},"citing_paper":{"arxiv_id":"2511.12253","last_updated":"2026-04-14T11:39:00Z","snapshot_observed_at":"2026-08-10T21:42:42.965037Z","submitted_at":"2025-11-15T15:18:51Z","title":"The Search for Constrained Random Generators","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-17T22:14:38.898617Z"},"links":{"cited_paper":"/paper/2412.14063","citing_paper":"/paper/2511.12253"},"observation_digest":"sha256:525985415cd5f5055353e5f13ad549710deec92269c2c8e49cc4ead9c59426ed","observation_id":"f31d867f-6f4b-4d7b-9ffa-4976835e07c0","resolution":{"observed_at":"2026-05-17T22:15:21.737493Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"cited_work":{"arxiv_id":"2412.14063","doi":"10.48550/arxiv.2412.14063","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.14063","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ferreira, Sorin Lerner, and Emily First","venue":"arXiv (Cornell University)","work_id":"5070fe30-2496-4dd6-8734-0b8f76e858bb","year":2024},"citing_paper":{"arxiv_id":"2512.18436","last_updated":"2026-04-15T16:44:49Z","snapshot_observed_at":"2026-08-15T02:29:04.432033Z","submitted_at":"2025-12-20T17:22:52Z","title":"VeruSAGE: A Study of Agent-Based Verification for Rust Systems","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-16T21:04:11.290943Z"},"links":{"cited_paper":"/paper/2412.14063","citing_paper":"/paper/2512.18436"},"observation_digest":"sha256:22ddbebb3262cd0afb48dbfe6c37ae70c8c30267fbf6f5c85c609d135c3723bc","observation_id":"5a0a5193-ff47-4f9b-9670-7abc9c7a32ca","resolution":{"observed_at":"2026-05-16T21:08:33.047480Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"cited_work":{"arxiv_id":"2412.14063","doi":"10.48550/arxiv.2412.14063","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.14063","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ferreira, Sorin Lerner, and Emily First","venue":"arXiv (Cornell University)","work_id":"5070fe30-2496-4dd6-8734-0b8f76e858bb","year":2024},"citing_paper":{"arxiv_id":"2604.16584","last_updated":"2026-04-17T14:56:45Z","snapshot_observed_at":"2026-07-06T23:03:52.631613Z","submitted_at":"2026-04-17T14:56:45Z","title":"Certified Program Synthesis with a Multi-Modal Verifier","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-05-10T08:19:03.469738Z"},"links":{"cited_paper":"/paper/2412.14063","citing_paper":"/paper/2604.16584"},"observation_digest":"sha256:ab4e4574c2193d340f8d51d3e76010b0ae2d6713184b6e7eee75bb30bb37b252","observation_id":"5573cbbc-0849-43a0-bd62-c21e70dba0e6","resolution":{"observed_at":"2026-05-10T08:22:37.485994Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"cited_work":{"arxiv_id":"2412.14063","doi":"10.48550/arxiv.2412.14063","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.14063","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ferreira, Sorin Lerner, and Emily First","venue":"arXiv (Cornell University)","work_id":"5070fe30-2496-4dd6-8734-0b8f76e858bb","year":2024},"citing_paper":{"arxiv_id":"2604.19558","last_updated":"2026-04-21T15:11:42Z","snapshot_observed_at":"2026-08-15T01:55:26.440901Z","submitted_at":"2026-04-21T15:11:42Z","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-10T02:26:38.719009Z"},"links":{"cited_paper":"/paper/2412.14063","citing_paper":"/paper/2604.19558"},"observation_digest":"sha256:85f292967478fd0fc042b2862c14dacbe4dfd5570b8f1b5d03208e1959daded9","observation_id":"1f80275c-2c19-4bdb-8352-2f05dad3b328","resolution":{"observed_at":"2026-05-10T02:27:36.566085Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"cited_work":{"arxiv_id":"2412.14063","doi":"10.48550/arxiv.2412.14063","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.14063","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ferreira, Sorin Lerner, and Emily First","venue":"arXiv (Cornell University)","work_id":"5070fe30-2496-4dd6-8734-0b8f76e858bb","year":2024},"citing_paper":{"arxiv_id":"2605.23109","last_updated":"2026-05-22T00:05:36Z","snapshot_observed_at":"2026-07-06T23:33:24.215365Z","submitted_at":"2026-05-22T00:05:36Z","title":"Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-25T04:52:06.456555Z"},"links":{"cited_paper":"/paper/2412.14063","citing_paper":"/paper/2605.23109"},"observation_digest":"sha256:821f9267ac596f49f5950d93ca806d02228cc1027b4cef9480677590c8fbfabc","observation_id":"1954d54e-8a36-4aa7-939c-8f87fc4b3d17","resolution":{"observed_at":"2026-05-25T04:55:23.734195Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"cited_work":{"arxiv_id":"2412.14063","doi":"10.48550/arxiv.2412.14063","metadata_source":"arxiv_reference","pith_arxiv_id":"2412.14063","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ferreira, Sorin Lerner, and Emily First","venue":"arXiv (Cornell University)","work_id":"5070fe30-2496-4dd6-8734-0b8f76e858bb","year":2024},"citing_paper":{"arxiv_id":"2606.01008","last_updated":"2026-08-17T18:41:11Z","snapshot_observed_at":"2026-08-20T03:16:31.235270Z","submitted_at":"2026-05-31T04:51:27Z","title":"FVSpec: Real-World Property-Based Tests as Lean Challenges","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-06-28T17:05:13.012431Z"},"links":{"cited_paper":"/paper/2412.14063","citing_paper":"/paper/2606.01008"},"observation_digest":"sha256:63a1cea435590a08148bb4a855a371cc24eb22c1dd968075881dfbda04670198","observation_id":"dfdc68d4-13c1-45f2-bb43-a03ac5b0c317","resolution":{"observed_at":"2026-06-28T17:12:25.318429Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2412.14063/citation-record","integrity":"/paper/2412.14063/integrity","json":"/paper/2412.14063/citation-record.json","paper":"/paper/2412.14063"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T12:35:27.120677Z","title":"https://github.com/ccz181078/Coq-BB5, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.120677Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:a86b05a15ec2fa72cf1aa1cfe4cd4050fcfea414afd34db402803b7bfe68f43c","observation_id":"98295bc7-053c-4789-b759-ae549caca6c4","resolution":{"observed_at":"2026-08-11T12:35:27.120677Z","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-11T12:35:27.133762Z","title":"https://github.com/PnVDiscord/PnVRocqLib, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.133762Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:4b8313e1e89a6534eeaf19c71e90684f5e3b7433ee366f8bca9341ac4ac23a71","observation_id":"151a88ea-4098-40f9-9338-f38462760403","resolution":{"observed_at":"2026-08-11T12:35:27.133762Z","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":"2019.29449","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T12:35:32.385903Z","title":"Afzal, M","venue":null,"work_id":"1a82682f-019d-4843-aeed-b2edaa8d6046","year":2021},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.146397Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:a303670b3950dc1a71f1aa55475ee3da6e1025bb1d61833de961c058410fd84e","observation_id":"6b7734cf-0b8a-4ceb-9ae2-94d263b95aaa","resolution":{"observed_at":"2026-08-11T12:35:32.403584Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:27.155078Z","title":"Albarghouthi, L","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.155078Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:43b3f046c7b3ba9e0eccb02e2253c0eeb0820679321ef7630eec486e448bef0d","observation_id":"bf2192d2-dbf2-4821-a363-a31adc4ab385","resolution":{"observed_at":"2026-08-11T12:35:27.155078Z","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-11T12:35:27.162570Z","title":"Ammann and J","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.162570Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:c619eb39d898f9afb6bf230b9ec9ebb30373b510e2d3d0479c83ae8c2c33b19b","observation_id":"b94040d6-91b1-4bfb-bcfd-97936916989f","resolution":{"observed_at":"2026-08-11T12:35:27.162570Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.07382","last_updated":"2024-07-29T20:57:44Z","snapshot_observed_at":"2026-08-19T20:30:06.985428Z","submitted_at":"2024-04-10T23:01:45Z","title":"Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.07382","snapshot_observed_at":"2026-08-11T12:35:27.174078Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.174078Z"},"links":{"cited_paper":"/paper/2404.07382","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:9feb122572e6128eff681f9a4f53d405934d8853421be6c039c01f3b8f0184c4","observation_id":"2c87e996-7475-479d-a7f8-d359be038858","resolution":{"observed_at":"2026-08-11T12:35:27.174078Z","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-11T12:35:27.190591Z","title":"Azerbayev, B","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.190591Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:bddea26a61f5ffdaf647202f3cc778294b6f737abce9505d5d999baafa6d90a3","observation_id":"c444e178-6888-411a-9052-aabd51a127e3","resolution":{"observed_at":"2026-08-11T12:35:27.190591Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.10631","last_updated":"2024-03-15T19:14:39Z","snapshot_observed_at":"2026-08-16T13:51:18.629241Z","submitted_at":"2023-10-16T17:54:07Z","title":"Llemma: An Open Language Model For Mathematics","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.10631","snapshot_observed_at":"2026-08-11T12:35:27.200406Z","title":"Azerbayev, H","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.200406Z"},"links":{"cited_paper":"/paper/2310.10631","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:f81a3757e54bac2c3b38e4de32f40df45fc3930cbea887eaf79f6726e01af8f3","observation_id":"38224b6f-8e8d-4d17-9fe1-dc8ff69941bc","resolution":{"observed_at":"2026-08-11T12:35:27.200406Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1905.10501","last_updated":"2020-06-11T23:20:59Z","snapshot_observed_at":"2026-08-15T12:56:55.002233Z","submitted_at":"2019-05-25T02:36:25Z","title":"Learning to Reason in Large Theories without Imitation","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1905.10501","snapshot_observed_at":"2026-08-11T12:35:27.215193Z","title":"Bansal, C","venue":null,"work_id":null,"year":1905},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.215193Z"},"links":{"cited_paper":"/paper/1905.10501","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:50761a161a5b31ca1a5d38e3340d920d15729d35726b70575a2733422ca211ba","observation_id":"38355c8e-54d8-4cef-bccc-f06f0e035f20","resolution":{"observed_at":"2026-08-11T12:35:27.215193Z","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-11T12:35:27.227198Z","title":"Blaauwbroek, M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.227198Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:332529fbfefc531746037c6307214be4697dd86e2aa0ac546f02fdd6d82f47a5","observation_id":"1b912b3b-891d-4b16-b9a9-c39ef5468149","resolution":{"observed_at":"2026-08-11T12:35:27.227198Z","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-11T12:35:27.238273Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.238273Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:93470f52c1bd3564a34e90e195902af316b6869e8e97fd4ac64b6ee788670c53","observation_id":"3e1b5e9d-49d5-4329-a23e-ff8cdc3e9876","resolution":{"observed_at":"2026-08-11T12:35:27.238273Z","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-11T12:35:27.246938Z","title":"Brun and A","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.246938Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:e17a301775d052f64592f29d42ee834e65e5a0f62a8d27ae939ffb557fdf272f","observation_id":"be380d57-9d9b-432f-8360-420f35bb0158","resolution":{"observed_at":"2026-08-11T12:35:27.246938Z","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-11T12:35:27.274281Z","title":"Carrott, N","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.274281Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:4a040080b98f451f0db0438df258f30ade5da80133cc8cf80df54ee9d0bc6b49","observation_id":"92cb9f9b-7f79-4f2a-bb92-71d8c5505f67","resolution":{"observed_at":"2026-08-11T12:35:27.274281Z","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-17T09:10:16.392982Z","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-11T12:35:27.288003Z","title":"Chakraborty, G","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.288003Z"},"links":{"cited_paper":"/paper/2405.01787","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:44132e18f93040c86295035f463d8731f2453159dbeda34f96556f1afdc49f3f","observation_id":"4512bef4-f839-4586-ac92-7348a158b834","resolution":{"observed_at":"2026-08-11T12:35:27.288003Z","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-11T12:35:27.299242Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.299242Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:e76758e2ab03a635b1cb632ac9e12cc879acbd76eb5b7bf2ae4d8b80f451d8e6","observation_id":"4f89b40c-c2d9-4e8e-a8b3-f1ada59eb8bc","resolution":{"observed_at":"2026-08-11T12:35:27.299242Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2204.02311","last_updated":"2022-10-05T06:02:24Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-04-05T16:11:45Z","title":"PaLM: Scaling Language Modeling with Pathways","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2204.02311","snapshot_observed_at":"2026-08-11T12:35:27.308648Z","title":"Chowdhery et al","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.308648Z"},"links":{"cited_paper":"/paper/2204.02311","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:1f318bfa27fc4af472fbdb6faf60dbf55851c27501f0d48eef9172db23fc5d55","observation_id":"d5b4e8f8-0af5-4639-996c-36ac3d5f88d2","resolution":{"observed_at":"2026-08-11T12:35:27.308648Z","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-11T12:35:27.324327Z","title":"https://github.com/coq-community, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.324327Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:6ab63f11ffaeade65cf9dbf20e9a9de38855a0a8e03c1e8e36074f73aafdbb69","observation_id":"782d2fed-19e2-434f-a1bf-a7c392b854f4","resolution":{"observed_at":"2026-08-11T12:35:27.324327Z","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-11T12:35:27.335573Z","title":"Czajka and C","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.335573Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:1bd02d7f996fa11fa9556d94abe1e713325ec734904d6437d4997c20f040aeef","observation_id":"5cd93e76-638f-46f8-adfa-b67c85bc0002","resolution":{"observed_at":"2026-08-11T12:35:27.335573Z","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-11T12:35:27.347046Z","title":"de Moura and N","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.347046Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:6e269d39d1a6773bdaec289eab4b06b48a0a21c0939b03c31f3757fc0a7e47c3","observation_id":"6dd06955-373f-4f85-8796-76d252958e08","resolution":{"observed_at":"2026-08-11T12:35:27.347046Z","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-11T12:35:27.357404Z","title":"de Moura and S","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.357404Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:f2b4b5f82a7cfe92cf1be119de61f261941817e0531038df5a022b2d38e1b2d1","observation_id":"65f75b6c-b7d9-489d-baac-a5db4df4d0e0","resolution":{"observed_at":"2026-08-11T12:35:27.357404Z","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-11T12:35:27.366443Z","title":"Eladawy, C","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.366443Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:edc73a0f993b12f37efad6afffc888b40ee12a021e869e9317caada0547e57e5","observation_id":"a811bb1d-af0b-4dd5-a552-014b78d6db66","resolution":{"observed_at":"2026-08-11T12:35:27.366443Z","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-11T12:35:27.375107Z","title":"Endres, S","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.375107Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:1ef2a4277da6ba33824005593e19829564d1213e1be28eeb3a0f00dbf3e23c63","observation_id":"2d251373-586c-4c93-8813-e5a1b3dde46c","resolution":{"observed_at":"2026-08-11T12:35:27.375107Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.08155","last_updated":"2020-09-18T15:38:12Z","snapshot_observed_at":"2026-08-18T00:58:22.537872Z","submitted_at":"2020-02-19T13:09:07Z","title":"CodeBERT: A Pre-Trained Model for Programming and Natural Languages","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.08155","snapshot_observed_at":"2026-08-11T12:35:27.385581Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.385581Z"},"links":{"cited_paper":"/paper/2002.08155","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:38f0287af4cdd4165f7926d71df48d2117c20a6d7fdba4260b73c12482872cfb","observation_id":"bcd3ef7a-4009-4912-987d-0d5461cbd04c","resolution":{"observed_at":"2026-08-11T12:35:27.385581Z","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-11T12:35:27.400912Z","title":"First and Y","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.400912Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:2f86b6b2563501b230651b7f7b807c34e859a5fecb7c79053e26e11fa74ac296","observation_id":"5c2d232d-6b11-493a-9609-bdcac438d6a5","resolution":{"observed_at":"2026-08-11T12:35:27.400912Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3428299","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T12:35:28.387370Z","title":"First, Y","venue":null,"work_id":"6ef4d7b0-ebef-4ad1-a829-0c3ce0058701","year":2020},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.409159Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:11669c7d56d63ad87e6cb97edc4dafd6a5ccb50c9b449b5bdda40ef8dc652772","observation_id":"05b9c968-b5a1-4c2b-90c2-8e69aa4bf109","resolution":{"observed_at":"2026-08-11T12:35:28.395543Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:27.418222Z","title":"First, M","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.418222Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:1385bc19f5124b9f73f8b795383cfb78537ada5ac1bd88aff4577bdac62f0fff","observation_id":"a425e216-91e5-435b-af8d-bdd1aa8a17b7","resolution":{"observed_at":"2026-08-11T12:35:27.418222Z","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-11T12:35:27.431572Z","title":"Galhotra, Y","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.431572Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:a270c9dd2dfd683faea2b6164c74b73454035cb4399d9d4dda2b1714928db55e","observation_id":"0e588a3f-c447-457f-8d04-edd3d1c76eb9","resolution":{"observed_at":"2026-08-11T12:35:27.431572Z","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-11T12:35:27.450770Z","title":"Gauthier, C","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.450770Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:6b1580ddfe78eef60f3a560b1149024d2e8a267838d721516394db3a5474b283","observation_id":"cef4945b-be05-4566-a362-f9174fc28528","resolution":{"observed_at":"2026-08-11T12:35:27.450770Z","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-11T12:35:27.463211Z","title":"Giguere, B","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.463211Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:b53abd38dc657e89d163100e81f10551fda8752c8175182c7a846901543ca5d4","observation_id":"8e12fada-063a-4741-b514-cd03362b7e97","resolution":{"observed_at":"2026-08-11T12:35:27.463211Z","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-11T12:35:27.471352Z","title":"Goffi, A","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.471352Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:922b5bbf3c5f67e7d9bb677e07556cca282be7ca9fe0cb0c1747c26be6a54672","observation_id":"f10b964c-0bd8-46fb-acc3-f4b597251084","resolution":{"observed_at":"2026-08-11T12:35:27.471352Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.14196","last_updated":"2024-01-26T09:23:11Z","snapshot_observed_at":"2026-08-06T22:40:28.707813Z","submitted_at":"2024-01-25T14:17:53Z","title":"DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.14196","snapshot_observed_at":"2026-08-11T12:35:27.477934Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.477934Z"},"links":{"cited_paper":"/paper/2401.14196","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:6abdcd1058120dab80b16837940ef1a90b7be38894dec156917b0e7bc9415f32","observation_id":"668d2eb5-2fd2-4b92-8e63-acdafced1e7e","resolution":{"observed_at":"2026-08-11T12:35:27.477934Z","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-11T12:35:27.483793Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.483793Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:a133be8b165838325d88b747087e1f23a00f6a0c5c4f40294e7ee177dfb2771b","observation_id":"6a24686a-7323-4835-a51e-f3f2b098516c","resolution":{"observed_at":"2026-08-11T12:35:27.483793Z","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-11T12:35:27.494758Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.494758Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:7f93de1209cbe765305c0ced3a27dded4552438606c7908531fa70e6595175ff","observation_id":"abaf7fe1-e2fa-4db0-b0b2-e3a0a705eab3","resolution":{"observed_at":"2026-08-11T12:35:27.494758Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2106.09685","last_updated":"2021-10-16T18:40:34Z","snapshot_observed_at":"2026-08-17T18:04:53.578114Z","submitted_at":"2021-06-17T17:37:18Z","title":"LoRA: Low-Rank Adaptation of Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2106.09685","snapshot_observed_at":"2026-08-11T12:35:27.505259Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.505259Z"},"links":{"cited_paper":"/paper/2106.09685","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:89c92abaad7e444592d027ec2baa4f7c561d9bbcdb993e0d89a22b002735c604","observation_id":"14e7ac23-e7d9-40be-9b0d-6a13c5c7907a","resolution":{"observed_at":"2026-08-11T12:35:27.505259Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1806.00608","last_updated":"2018-12-21T18:37:30Z","snapshot_observed_at":"2026-08-16T11:54:41.067983Z","submitted_at":"2018-06-02T09:19:08Z","title":"GamePad: A Learning Environment for Theorem Proving","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1806.00608","snapshot_observed_at":"2026-08-11T12:35:27.517650Z","title":"Huang, P","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.517650Z"},"links":{"cited_paper":"/paper/1806.00608","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:47831d12dcf467e1b62e39f263ba10fd8f13ced288bf6c6ac5ad4a2aa7029ea6","observation_id":"cad77abc-75b0-42a2-8974-ca3c3ffa9cb0","resolution":{"observed_at":"2026-08-11T12:35:27.517650Z","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-11T12:35:27.525360Z","title":"Jiang, K","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.525360Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:9d3811742290285b92d14fc00b245cf1a0d8be53fa029ac7ae93f1c3eb3324ad","observation_id":"01a7a265-56e9-4816-8951-dd190464bc8e","resolution":{"observed_at":"2026-08-11T12:35:27.525360Z","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-11T12:35:27.538617Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.538617Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:992fe6478d237a7af1e45ab4ef8216655560b72fb41b235f67c664776f2e5882","observation_id":"a1ea8c26-8169-406a-b14d-609c5b83ecaa","resolution":{"observed_at":"2026-08-11T12:35:27.538617Z","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-11T12:35:27.549514Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.549514Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:3f1a1e8831345175a94dabd77fdde6c87d802ba58a9d7ed6755b2fbc580a21ca","observation_id":"3efddd74-9b8c-40d9-99fe-5291ed4c0fb1","resolution":{"observed_at":"2026-08-11T12:35:27.549514Z","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-11T12:35:27.558131Z","title":"Jiang, Y","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.558131Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:284512baf4936f30d908b6419f3a3181f172ecbb2a3103c8593ca7630429a69b","observation_id":"4c94da78-0077-4743-a85a-e4aacacbd9c4","resolution":{"observed_at":"2026-08-11T12:35:27.558131Z","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-11T12:35:27.566813Z","title":"Johnson, Y","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.566813Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:36e2275e143e3545937dcde00fa9eefb4bd76ee3ef0bf0c8933a7f63e1dca0f3","observation_id":"23911609-2534-4589-9bf9-c607a6c71b01","resolution":{"observed_at":"2026-08-11T12:35:27.566813Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.04906","last_updated":"2020-09-30T21:27:13Z","snapshot_observed_at":"2026-07-06T09:11:26.109763Z","submitted_at":"2020-04-10T04:53:17Z","title":"Dense Passage Retrieval for Open-Domain Question Answering","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.04906","snapshot_observed_at":"2026-08-11T12:35:27.578043Z","title":"Karpukhin, B","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.578043Z"},"links":{"cited_paper":"/paper/2004.04906","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:57fb588448a3fdff15cd536966974cea1f03eab062a2048710b530ebaa69c0d5","observation_id":"b5c9bbbd-e631-4888-9d85-464b6e9f7997","resolution":{"observed_at":"2026-08-11T12:35:27.578043Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6980","last_updated":"2017-01-30T01:27:54Z","snapshot_observed_at":"2026-08-17T19:26:44.032537Z","submitted_at":"2014-12-22T13:54:29Z","title":"Adam: A Method for Stochastic Optimization","version":9},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6980","snapshot_observed_at":"2026-08-11T12:35:27.588844Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.588844Z"},"links":{"cited_paper":"/paper/1412.6980","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:2d81105675c13f8f81da60c16b3cf51b5c594910851fd23f8716424b00471edf","observation_id":"03c5d14e-60de-4ff3-b6aa-780d9ab9b021","resolution":{"observed_at":"2026-08-11T12:35:27.588844Z","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-11T12:35:27.596992Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.596992Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:d3b1890230c1847cb2e579ae7f75e1e2c7d7a560088cb94442ad8a67ef5403f2","observation_id":"e3e382e4-1178-4b49-9ca1-6640b505ca1e","resolution":{"observed_at":"2026-08-11T12:35:27.596992Z","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-11T12:35:33.540809Z","title":"Lample, T","venue":null,"work_id":"80dd2b27-c4bd-4214-ad57-21ee0aa8da8c","year":2022},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.607185Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:9493515ba4db549687f8b2e783a356125fc6fedc767373c7f45997fb9fdd3e61","observation_id":"e6c92272-d134-4298-9149-0ef0ec7794a4","resolution":{"observed_at":"2026-08-11T12:35:33.560841Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:27.613825Z","title":"Lasse, J","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.613825Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:0560fc2569ffeb8c37b3e309f54c7eefa662af1ca9eee92e9f59464ca089c991","observation_id":"87027701-3ac4-4ca8-8433-80d3a6e3374a","resolution":{"observed_at":"2026-08-11T12:35:27.613825Z","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-11T12:35:33.504491Z","title":"Le Goues, M","venue":null,"work_id":"fd391dd5-3ca2-477e-8c7f-373182d0b621","year":2019},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.625111Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:a3ef4c9dabfbf5ddd6119ec76e50d28a19ac43d1f4a34385b27d2cca3c5f351c","observation_id":"d705d79c-1057-47c3-bb7b-aa6b30496e12","resolution":{"observed_at":"2026-08-11T12:35:33.511701Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1037.11110","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T12:35:30.523389Z","title":null,"venue":null,"work_id":"44f6f949-e090-415b-bf35-bfe2bd80a994","year":2006},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.636900Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:1eab300e5e4bc2a529e38d09cfc516842207f76f1522c0b82fa242dda61d2c55","observation_id":"79ed52d8-2b4c-49af-99fa-e78c2184cad0","resolution":{"observed_at":"2026-08-11T12:35:30.540951Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:27.654783Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.654783Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:8277922542f0677b6f80cb8ecaf6f9f50449125710bafbadbd199b94727b8658","observation_id":"c4244a60-7629-470d-810a-47cd171c74dc","resolution":{"observed_at":"2026-08-11T12:35:27.654783Z","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-11T12:35:27.665066Z","title":"Lewis, E","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.665066Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:fdc5da4f97f6fc5a8528b99dac4c42cc1095d1b7598e439514181d7f0beb88dd","observation_id":"1f646a32-69e2-4c81-9fff-7c7f16015cc5","resolution":{"observed_at":"2026-08-11T12:35:27.665066Z","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-11T12:35:33.445830Z","title":null,"venue":null,"work_id":"a0466de8-952c-427f-8124-7e88ddc7f950","year":2021},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.676335Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:a2e6f4c5fd0dd99cf7a8f69de441aa312d87311d64821925484fa6142793df47","observation_id":"3535f986-b3b8-4955-8ed0-806d9f4d625f","resolution":{"observed_at":"2026-08-11T12:35:33.456875Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:33.393382Z","title":null,"venue":null,"work_id":"9c7a573f-687f-428a-af7b-e38862b2f3df","year":null},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.684059Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:e3a8d0e787f29cc3c97cf8e89e51d416155def87a6384068b26f088a47b39fd9","observation_id":"162b8a77-473a-48a7-ac22-5924aa857dce","resolution":{"observed_at":"2026-08-11T12:35:33.403058Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:33.352313Z","title":"Megill and D","venue":null,"work_id":"0beaca9f-d1c7-4d51-a030-9a56f596c307","year":2019},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.697231Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:3bf8eb73b9382adceb9ba680d30e2e8019e2b6168d9a572fd4a3eaf7cde04c5d","observation_id":"95c4772e-cfc1-49c1-8cb5-942052a527e1","resolution":{"observed_at":"2026-08-11T12:35:33.364837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:33.306298Z","title":"Metevier, S","venue":null,"work_id":"bd20eb5c-7d0f-4dcc-ab6b-2547d279cecd","year":2019},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.702879Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:e1293ce9fcccbbb19b450c6c74fb965bf41b6d11c81e587d7226d4cff1742fc8","observation_id":"8dbb8063-102c-441b-81ac-234c1c627e36","resolution":{"observed_at":"2026-08-11T12:35:33.321759Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:33.253852Z","title":"Mikuła, S","venue":null,"work_id":"7224b33c-b5b8-4747-a828-b982c020a0eb","year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.714074Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:1203a8ee1679ac9956942a374c0f7f4fa480dff54d9b14ef727d19a0e43f7d37","observation_id":"88d3ecf0-5496-4524-9d95-1c48d4a1e387","resolution":{"observed_at":"2026-08-11T12:35:33.275057Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.18494","last_updated":"2024-11-05T03:38:39Z","snapshot_observed_at":"2026-08-19T12:15:12.106089Z","submitted_at":"2024-10-24T07:29:15Z","title":"Assured Automatic Programming via Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.18494","snapshot_observed_at":"2026-08-11T12:35:27.719975Z","title":"Mirchev, A","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.719975Z"},"links":{"cited_paper":"/paper/2410.18494","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:ca2d3c4394b35c2e23fdd261b2ddabd821b64ec79ee7a3a04ff614a86b268a26","observation_id":"63cb2de6-ac92-4fae-8f59-a15dae634ea9","resolution":{"observed_at":"2026-08-11T12:35:27.719975Z","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-11T12:35:33.228589Z","title":"Motwani and Y","venue":null,"work_id":"225906ed-a4f9-44d9-925d-c252b2bb263b","year":null},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.728701Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:45ba899c9604be756df44d98788ec5e30f57f09de2ef42cd8d267b127a02624a","observation_id":"538a0ff9-dd3f-404a-ae7c-e20454d0468a","resolution":{"observed_at":"2026-08-11T12:35:33.237045Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:27.750344Z","title":"Motwani and Y","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.750344Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:2e763399caefb5a2dab936b66a6dc75375055f22ac5a1a3c7a2f8b4c2c9b7bef","observation_id":"8612ecf0-2a91-4765-b134-c0b96d85e996","resolution":{"observed_at":"2026-08-11T12:35:27.750344Z","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-11T12:35:27.743003Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.743003Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:8482ae0a842c9e9e77997d8493bbe1a982dd69cf4fe8202694b8c838f58a7959","observation_id":"0dccf8ce-65b5-4e79-9e82-476c5622c230","resolution":{"observed_at":"2026-08-11T12:35:27.743003Z","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-11T12:35:27.777567Z","title":"Mu s ¸lu, Y","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.777567Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:eb114544605d462c80843d60f6f0010df2dffc4eebeabdd202c2937546538871","observation_id":"f072959c-48d2-4874-b22d-9bc97f133b8f","resolution":{"observed_at":"2026-08-11T12:35:27.777567Z","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-11T12:35:27.763157Z","title":"Motwani, M","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.763157Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:383d056e04cb144ebcb15090c0fcebe904ba6f3d37443aee0e880af68ade1a74","observation_id":"cf066b25-e567-453b-a829-10e64318e918","resolution":{"observed_at":"2026-08-11T12:35:27.763157Z","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-11T12:35:33.186878Z","title":"Nashid, M","venue":null,"work_id":"744791f8-f568-478c-b646-4374331cabc0","year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.799015Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:60e3ee3c431ab60a1882cf1c1195b8eeda38f179dee2130f8b34cb0131d7309f","observation_id":"1f2d3f39-714e-4a33-aa31-7e5f5de47279","resolution":{"observed_at":"2026-08-11T12:35:33.200778Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:27.786376Z","title":"Mus ¸lu, Y","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.786376Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:10e8071fe2721360882198a1842689fe1ef53ac82585df08fd5922ba98756afd","observation_id":"d1d3df65-be91-4125-a0db-fe585d953c3e","resolution":{"observed_at":"2026-08-11T12:35:27.786376Z","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-11T12:35:27.815309Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.815309Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:f3a41db39542b9fb65c04b376df9803960f7180ffa2f543d83d0f6c7e8706ac6","observation_id":"46646be2-490f-439d-b80f-4dcbd74a85d4","resolution":{"observed_at":"2026-08-11T12:35:27.815309Z","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-11T12:35:33.151213Z","title":"Nipkow, L","venue":null,"work_id":"639855c9-6845-4710-9bdb-937089ae99cb","year":2002},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.808672Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:13cb15db64e0b26bae33919b98ec59a4e0621e6e58a98672abd6d167465d0e58","observation_id":"7acd7d04-80ed-49c1-a294-793a2b11fcd5","resolution":{"observed_at":"2026-08-11T12:35:33.165720Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:33.106656Z","title":"Fully Sharded Data Parallel: faster AI training with fewer GPUs","venue":null,"work_id":"093737af-1ae7-4693-bf79-656305bd6a18","year":2021},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.836449Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:40f28b1e1a0e29f215fc728c7889f04a0e1cea166196141800d41bf44f8efb61","observation_id":"efec8908-37d3-4e80-8a37-5b66137477b9","resolution":{"observed_at":"2026-08-11T12:35:33.125760Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-17T09:58:46.058102Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-11T12:35:27.825512Z","title":"GPT-4 technical report","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.825512Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:c60c7a49e3bcd9030ff213c075e8fd871cb5c3b290f3b815026439025119e34a","observation_id":"35e59e75-f0f0-46b3-9225-646733ae8fe2","resolution":{"observed_at":"2026-08-11T12:35:27.825512Z","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-11T12:35:33.014348Z","title":null,"venue":null,"work_id":"84e977d2-7076-4be9-8a7f-26954f18e369","year":2021},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.856071Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:30f018ed75e19a70e66c6d1b5e9efaa102eed8b49a013f1fc21c40af5f75ae4e","observation_id":"7c86c341-7781-482a-a6bd-20eb837e237c","resolution":{"observed_at":"2026-08-11T12:35:33.048727Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:33.081231Z","title":"Paliwal, S","venue":null,"work_id":"fa9b8cdd-8286-447d-9635-3873a194d305","year":2020},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.848036Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:3ee6ae57127aa4ed7df10a2afa9c3d25332f104176c19a20b9cb159c5a83a8a1","observation_id":"f9cc90ff-a0c6-4c44-9077-2829d3655ad6","resolution":{"observed_at":"2026-08-11T12:35:33.087460Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:32.945917Z","title":null,"venue":null,"work_id":"a467bdda-4d58-48d9-89bc-217425fe5d7e","year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.872358Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:b70014b01ab8a1a86ef9f661332bb8ac686b288551f28ebbcd4fb74bb37e679a","observation_id":"01246526-4ad8-4cd7-8834-2062ae7231d8","resolution":{"observed_at":"2026-08-11T12:35:32.957565Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:32.980475Z","title":"Paulson and T","venue":null,"work_id":"6bdeb654-d562-41d9-bcfc-14c61c9914e9","year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.862424Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:e3ebac984e74aedacabc2746b709b3b055240d82786fd043ec995cad2d079ea2","observation_id":"0b078a26-4bda-4beb-bc46-5df412a93e54","resolution":{"observed_at":"2026-08-11T12:35:32.992919Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:27.887772Z","title":"Ringer, A","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.887772Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:b48786329bdac8b297763695e485faee068962213c31fc3cfb9b5f74195e48a2","observation_id":"96a177b0-420c-4448-93e8-727a52ce2678","resolution":{"observed_at":"2026-08-11T12:35:27.887772Z","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-11T12:35:32.897713Z","title":"Polu and I","venue":null,"work_id":"bab81d56-402a-4bc0-8f8f-d3bdf0b695ad","year":2020},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.879736Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:b74fef9a68703f6640b3e1d59c57e022e2dec91301c1f59b939d9abf59570d68","observation_id":"73041dcf-4fe4-4e25-96fd-e16ca1f9a8cb","resolution":{"observed_at":"2026-08-11T12:35:32.910493Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:32.813307Z","title":"Sanchez-Stern, Y","venue":null,"work_id":"9e07fa6e-38db-4d75-be87-8c005c24b64f","year":2020},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.908905Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:3d3d39d26b36ba2942c07d4577045e0fbce88d2acfb223b750a5a015ac074c90","observation_id":"b02b6d77-fc56-40fc-bc67-3ea2581091db","resolution":{"observed_at":"2026-08-11T12:35:32.823948Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:32.847277Z","title":"Robertson, H","venue":null,"work_id":"48a828d9-7643-494e-9183-4092304593b1","year":2009},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.896916Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:43a28e379293aa742878ff71e4ce1fbac9d4cf1021b6b8e42de9b07ebe97c75a","observation_id":"0ef5f497-e147-4bc3-b9c1-a2a2a7d97faf","resolution":{"observed_at":"2026-08-11T12:35:32.854912Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:32.782050Z","title":"Sanchez-Stern, A","venue":null,"work_id":"712f6020-9ac0-4be4-bcfa-323300d475eb","year":2025},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.928709Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:6bb8c5128588a58c1c3ff13bbd1fd994f55209e9ed7eab18fa6a783a33a738f3","observation_id":"14387200-13bb-4f4b-85b4-ca07da5bfe69","resolution":{"observed_at":"2026-08-11T12:35:32.793967Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:27.921136Z","title":"Sanchez-Stern, E","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.921136Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:3849c9930ccaad29770799ea701ec30fee357bb5b8d074198d9f75f54e88fbe8","observation_id":"d5ecfbef-db8b-463b-97ad-d61b8ca8d047","resolution":{"observed_at":"2026-08-11T12:35:27.921136Z","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-11T12:35:32.736900Z","title":"Sparck Jones","venue":null,"work_id":"ecc25239-e40f-484a-9e7a-d3c7d344c912","year":1972},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.950133Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:23992909a77873aef0d48a2ce4a1916b487bb59b1b1764a20e301654718d2a4f","observation_id":"8878efe8-e81d-49bb-baf7-1cdc71b2d60e","resolution":{"observed_at":"2026-08-11T12:35:32.756706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:27.941119Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.941119Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:5351498131e09333a65d1561fb9711c891ba6acc1d2be7e5add470c430b6bf1f","observation_id":"64ce3066-be5f-43db-b1bd-98b8a9951724","resolution":{"observed_at":"2026-08-11T12:35:27.941119Z","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-11T12:35:32.693607Z","title":"Thakur, Y","venue":null,"work_id":"7a3865ba-a9a4-44f1-ae74-e736412f0697","year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.968034Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:28fdf67a057b796ae8d64e29c9820fa1c50e27f5cdbeeebbb910b7e45c7c1de5","observation_id":"9fc3042b-5f5f-4389-9491-d3be9013aabb","resolution":{"observed_at":"2026-08-11T12:35:32.702563Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.11805","last_updated":"2025-05-09T21:04:06Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-12-19T02:39:27Z","title":"Gemini: A Family of Highly Capable Multimodal Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.11805","snapshot_observed_at":"2026-08-11T12:35:27.957972Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.957972Z"},"links":{"cited_paper":"/paper/2312.11805","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:fa454b783db5054ce44dc4d64fe3523332ff9c1da8c66a67664914e787f95f7a","observation_id":"c14058f3-2828-4837-b65c-9c73dad0cb73","resolution":{"observed_at":"2026-08-11T12:35:27.957972Z","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-11T12:35:27.986126Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.986126Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:789acf68244a5723e18db482c3d8fdc766875dd76ded6d737438dfc8b40707a2","observation_id":"1c6a022e-7c82-455c-9d47-413c4e3867b8","resolution":{"observed_at":"2026-08-11T12:35:27.986126Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T12:35:32.668341Z","title":"Coq, v.8.7","venue":null,"work_id":"7bf493c0-f01a-4162-be1d-e3680beb687f","year":2017},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.978969Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:c9bbbf5f58471bac64792f59bb356360cd2f9be6fa29465fbed57301a41eb5fc","observation_id":"a461733c-79c3-497c-ac9f-eafae3c4888d","resolution":{"observed_at":"2026-08-11T12:35:32.675725Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:28.003506Z","title":"Grimm, J","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:28.003506Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:786370261d60d887b58e1eb2c1e668cfc2086408c6f8d9f029b193da1725c5b5","observation_id":"3580c692-fbb6-493e-905b-5bee27102b0b","resolution":{"observed_at":"2026-08-11T12:35:28.003506Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.09288","last_updated":"2023-07-19T17:08:59Z","snapshot_observed_at":"2026-08-07T12:56:43.323460Z","submitted_at":"2023-07-18T14:31:57Z","title":"Llama 2: Open Foundation and Fine-Tuned Chat Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.09288","snapshot_observed_at":"2026-08-11T12:35:27.994520Z","title":"Touvron et al","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.994520Z"},"links":{"cited_paper":"/paper/2307.09288","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:d2196f9be36188b1c085975abefb193f7fed449fd92970802ea203eca2b606da","observation_id":"bcff69f1-2004-4e78-acb2-7ede2320d2f5","resolution":{"observed_at":"2026-08-11T12:35:27.994520Z","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-11T12:35:32.578783Z","title":null,"venue":null,"work_id":"3a1c7607-ddb9-4813-9098-adac1ca69eb0","year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:28.024882Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:dbf6f0fb4d6f0d4ff2c21fd6cec7881a03141174302096b0e343c4a534be5d70","observation_id":"fabf7a04-8871-433d-9553-b8db00c2f54b","resolution":{"observed_at":"2026-08-11T12:35:32.589492Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:32.627100Z","title":null,"venue":null,"work_id":"1798006c-6e1b-403d-afd9-090ccfb39334","year":2024},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:28.012961Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:898abb2cfae6ac8b5da7e67ecc0bb0c46a3827555a362534bb1dea863d02bc6b","observation_id":"8513d689-b740-49e0-90ad-50c75c048f6e","resolution":{"observed_at":"2026-08-11T12:35:32.639368Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2102.09756","last_updated":"2021-06-17T07:48:40Z","snapshot_observed_at":"2026-08-16T18:44:30.578159Z","submitted_at":"2021-02-19T06:08:39Z","title":"TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning","version":2},"cited_work":{"arxiv_id":"2102.09756","doi":null,"metadata_source":"pith","pith_arxiv_id":"2102.09756","snapshot_observed_at":"2026-08-11T12:35:28.803028Z","title":"TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning","venue":"cs.LG","work_id":"669d26ab-1cdd-4a8d-a56f-dc1cd7370a63","year":2021},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:28.045211Z"},"links":{"cited_paper":"/paper/2102.09756","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:f4b4853daf8ce0c9f4ab86487de8d979afbe07c2c5fecdb1e1626098a2ef9e8f","observation_id":"5a5b8091-2058-4c36-b88b-debc0133f675","resolution":{"observed_at":"2026-08-11T12:35:28.816367Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:28.037579Z","title":"Weiss, A","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:28.037579Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:23b76022b74b6372fa34dad119cf3705024c1b37431d9dc9232473bb955c5d98","observation_id":"aace8ba4-ed12-4e4b-a854-e6599326fb51","resolution":{"observed_at":"2026-08-11T12:35:28.037579Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14333","last_updated":"2024-05-23T09:03:42Z","snapshot_observed_at":"2026-08-16T13:50:18.721796Z","submitted_at":"2024-05-23T09:03:42Z","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14333","snapshot_observed_at":"2026-08-11T12:35:28.060007Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:28.060007Z"},"links":{"cited_paper":"/paper/2405.14333","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:379c7627fe8c47a9caee3f09be973a9617f9fe449cf99686ad703fcb8e9f9da7","observation_id":"54c45565-c10b-45c2-ba00-bb350b589236","resolution":{"observed_at":"2026-08-11T12:35:28.060007Z","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-11T12:35:32.533562Z","title":null,"venue":null,"work_id":"30a13b0c-999f-4756-81ff-27e8c74912f3","year":2022},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:28.054375Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:a9fb2192a8588aed1d0e1c7c18eabd02a301c13df0cf69192daceb60d4ab85a5","observation_id":"a7ecb17d-1e64-43de-83c3-cdd9e57b87d1","resolution":{"observed_at":"2026-08-11T12:35:32.545737Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:32.458785Z","title":null,"venue":null,"work_id":"8d7db2bc-330d-4168-a14d-d1068690b25c","year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:28.073887Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:642317183fdf1b44a9a1f6346827ef45a974a56b88cba603ed5311ca26b65ea2","observation_id":"afd6d906-1148-453d-8dbd-5706655fd7a7","resolution":{"observed_at":"2026-08-11T12:35:32.469488Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:32.488742Z","title":"Yang and J","venue":null,"work_id":"6e2b7b02-a8ec-49fa-b7cc-43222d187950","year":2019},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:28.066630Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:b7fec0af3adfc3358e1d16c3cefa0232c0a80df01c27942161a551df03950b19","observation_id":"03b81e88-8256-4e33-a0d0-95a15dc597f7","resolution":{"observed_at":"2026-08-11T12:35:32.498036Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-11T12:35:28.093540Z","title":"Zeller and R","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:28.093540Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:eabaeaf8d4d6934106aa02d5f4f3ed24cfb895593fb0691e893a97819a5416f9","observation_id":"206e84b6-e40e-41eb-af63-d416a86487dd","resolution":{"observed_at":"2026-08-11T12:35:28.093540Z","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-11T12:35:28.083717Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:28.083717Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:23502a4fd86d5c0c410786e572158068adce68c9ca1810cae64350127331dc5f","observation_id":"e987f020-518a-4be0-8be8-d954c807f3c8","resolution":{"observed_at":"2026-08-11T12:35:28.083717Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.15806","last_updated":"2024-08-24T12:01:30Z","snapshot_observed_at":"2026-08-16T14:57:07.361309Z","submitted_at":"2023-09-27T17:29:41Z","title":"Lyra: Orchestrating Dual Correction in Automated Theorem Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.15806","snapshot_observed_at":"2026-08-11T12:35:28.119361Z","title":"Zheng, H","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:28.119361Z"},"links":{"cited_paper":"/paper/2309.15806","citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:d96157c94550b9a4223626fef248ee9e66aa597e3e0856699ff1ba01161437d3","observation_id":"9db73d62-8bf9-48c1-8b84-849ef84217fd","resolution":{"observed_at":"2026-08-11T12:35:28.119361Z","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-11T12:35:28.106212Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:28.106212Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:8a9d0cae6e8d9f08de7b1d287b6079630d70b94dc8b08cd8376f75d0a2ecb193","observation_id":"3a1b5a5d-e628-4674-9c3b-fd083b8af472","resolution":{"observed_at":"2026-08-11T12:35:28.106212Z","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-11T12:35:28.130677Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:28.130677Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:bc0a867b4a8760fdd047edb646f7c021faab071432a1f909fc1f7f5080d4ccde","observation_id":"0707cc67-234d-4a84-8134-128da42c3e07","resolution":{"observed_at":"2026-08-11T12:35:28.130677Z","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-11T12:35:27.691466Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification","version":3},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-11T12:35:27.691466Z"},"links":{"citing_paper":"/paper/2412.14063"},"observation_digest":"sha256:0f0f88fd2ccc0bb11edbb25330420ad778c36f708843d544e43fd0ba95b0fca6","observation_id":"4f588b03-8a6a-4585-bb2f-9516490d3227","resolution":{"observed_at":"2026-08-11T12:35:27.691466Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2412.14063","last_updated":"2025-01-28T19:56:36Z","latest_version":3,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-18T02:44:54.192691Z","submitted_at":"2024-12-18T17:08:42Z","title":"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification"},"reference_resolution":{"displayed":98,"state_counts":{"malformed_identifier":1,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":74,"verified_exact":2,"verified_fuzzy":19},"total_outbound_references":98},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 98 of 98 outbound references and 6 inbound Pith citation observations for arXiv:2412.14063."}