{"as_of":"2026-08-19T16:24:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d7233265b6d5d257f9173e676b7d6669f5da7c1aa65e35795b160be14ca71c52","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":27,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T20:22:28.527645Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":4,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-11T20:02:27.466397Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.06176","last_updated":"2024-12-09T03:22:35Z","snapshot_observed_at":"2026-08-16T00:32:52.362957Z","submitted_at":"2024-12-09T03:22:35Z","title":"AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-11T20:02:27.466397Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2412.06176"},"observation_digest":"sha256:15b02bc4021bc068b52aa4512ed3969b378f7f94991f24e87c686159f249dedf","observation_id":"16da92fe-f7b2-4d30-ba9c-e3903dd1f80a","resolution":{"observed_at":"2026-08-11T20:02:27.466397Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-11T10:51:30.164600Z","title":"DafnyBench: A benchmark for formal software verification","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-14T15:03:35.102170Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"reference_index":160,"source":"pdf_text","source_observed_at":"2026-08-11T10:51:30.164600Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2412.16075"},"observation_digest":"sha256:e80ab905d828c00d04d53f7b90fc5e315c9ee98ee6b93376d5f0935f61ea5c85","observation_id":"7c7e073c-cc1c-42b8-b586-0fd04a7d8536","resolution":{"observed_at":"2026-08-11T10:51:30.164600Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-10T21:11:51.195239Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-18T00:50:03.973095Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.195239Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:718b251886b3199641861e312fabc2d169de75817757a53c273c7d7ddd128838","observation_id":"f070b09b-378a-4be8-8178-b7a7395e67b5","resolution":{"observed_at":"2026-08-10T21:11:51.195239Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-08T20:25:16.910497Z","title":"Dafnybench: A benchmark for formal software verification, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.05252","last_updated":"2025-02-07T17:05:25Z","snapshot_observed_at":"2026-08-16T21:32:26.482913Z","submitted_at":"2025-02-07T17:05:25Z","title":"GSM-Infinite: How Do Your LLMs Behave over Infinitely Increasing Context Length and Reasoning Complexity?","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-08T20:25:16.910497Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2502.05252"},"observation_digest":"sha256:6036f1dc9f8be1b3f7729fb82fad7918592b54623831d13e3ec06ffb0edd4c37","observation_id":"da20d73c-593a-4b08-8a0b-38a07b2b10af","resolution":{"observed_at":"2026-08-08T20:25:16.910497Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-08T18:20:22.539045Z","title":"LiveCodeBench: Holistic and Contamination Free Evaluation of Large Lan- guage Models for Code","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.05714","last_updated":"2025-02-08T22:54:58Z","snapshot_observed_at":"2026-08-19T14:20:27.983657Z","submitted_at":"2025-02-08T22:54:58Z","title":"Proving the Coding Interview: A Benchmark for Formally Verified Code Generation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-08T18:20:22.539045Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2502.05714"},"observation_digest":"sha256:fdfbeaa328c4861273612842cbfcc9d7464d66cdf940f7f147726e0653febe03","observation_id":"b1c27942-5e92-4b3c-a41d-e90b90ae2043","resolution":{"observed_at":"2026-08-08T18:20:22.539045Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-06T22:10:19.488681Z","title":"arXiv preprint arXiv:2406.08467 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.22370","last_updated":"2025-09-07T11:26:53Z","snapshot_observed_at":"2026-08-10T16:30:30.184583Z","submitted_at":"2025-06-27T16:34:13Z","title":"Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny","version":4},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T22:10:19.488681Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2506.22370"},"observation_digest":"sha256:e2fc14650b1dfc30810e40de70d80e366df55216a471d0d4bb46a8c13bdadf54","observation_id":"56e87d08-1a2d-41db-ba05-793a0798aa78","resolution":{"observed_at":"2026-08-06T22:10:19.488681Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-06T20:11:01.430708Z","title":"arXiv preprint arXiv:2406.08467 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:01.430708Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:6187ddafc656c431f1b41f3856943df220288a0b9d9d59dcd0b1ad207683936f","observation_id":"3e2b61e2-c54c-46f2-a7e9-d6accab90eb3","resolution":{"observed_at":"2026-08-06T20:11:01.430708Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-06T15:20:14.678411Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.16331","last_updated":"2026-07-03T09:17:03Z","snapshot_observed_at":"2026-08-15T12:22:31.317936Z","submitted_at":"2025-07-22T08:13:01Z","title":"Re:Form -- Reducing Human Annotations in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny","version":4},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-06T15:20:14.678411Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2507.16331"},"observation_digest":"sha256:840bb35e8a8cb0523c59bbdb44abbf3cb589fefee9857c042f32803fb7776bff","observation_id":"6ede6bfb-c111-489e-b696-e7aef64b5e20","resolution":{"observed_at":"2026-08-06T15:20:14.678411Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":"2406.08467","doi":"10.48550/arxiv.2406.08467","metadata_source":"pith","pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DafnyBench: A benchmark for formal software verification","venue":"cs.SE","work_id":"a976f0b7-700b-463a-a2c1-0c8e407f6662","year":2024},"citing_paper":{"arxiv_id":"2511.15403","last_updated":"2026-04-12T02:35:31Z","snapshot_observed_at":"2026-08-16T21:35:50.207035Z","submitted_at":"2025-11-19T12:58:06Z","title":"MutDafny: A Mutation-Based Approach to Assess Dafny Specifications","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-17T21:05:56.043277Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2511.15403"},"observation_digest":"sha256:1c72ba0309cd66b3e58d828bde95770d7cc7987bd015cedf0ef5b244c3da249c","observation_id":"c76d0b66-902e-48e4-bce2-6b22a74c8cb5","resolution":{"observed_at":"2026-05-17T21:10:16.989477Z","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":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":"2406.08467","doi":"10.48550/arxiv.2406.08467","metadata_source":"pith","pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DafnyBench: A benchmark for formal software verification","venue":"cs.SE","work_id":"a976f0b7-700b-463a-a2c1-0c8e407f6662","year":2024},"citing_paper":{"arxiv_id":"2511.21104","last_updated":"2026-05-14T05:18:06Z","snapshot_observed_at":"2026-08-13T01:41:55.964919Z","submitted_at":"2025-11-26T06:39:19Z","title":"BRIDGE: Building Representations In Domain Guided Program Synthesis","version":4},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-17T05:23:04.821980Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2511.21104"},"observation_digest":"sha256:6e4dc7a671ff1cff9a7f98867a8ba54180ddfd2eb3f396a5cd01f5eb2c0e1af7","observation_id":"2bb18b8b-8e5e-478c-a57b-72e3a90876c7","resolution":{"observed_at":"2026-05-17T05:24:04.806937Z","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":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-03T19:22:03.935580Z","title":"arxiv (2024) https://doi.org/10.48550/arxiv.2406.08467","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2512.02080","last_updated":"2026-06-24T10:23:11Z","snapshot_observed_at":"2026-08-13T17:34:27.146831Z","submitted_at":"2025-11-30T22:19:09Z","title":"The 4/$\\delta$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-03T19:22:03.935580Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2512.02080"},"observation_digest":"sha256:bdafa01379893ddaa351e30056a2252e2aeb48639ffac0bee88ec01a0dcb004e","observation_id":"01a3c36e-a1a5-4485-9da2-bca684a190ca","resolution":{"observed_at":"2026-08-03T19:22:03.935580Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":"2406.08467","doi":"10.48550/arxiv.2406.08467","metadata_source":"pith","pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DafnyBench: A benchmark for formal software verification","venue":"cs.SE","work_id":"a976f0b7-700b-463a-a2c1-0c8e407f6662","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":23,"source":"pdf_text","source_observed_at":"2026-05-16T21:04:11.290943Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2512.18436"},"observation_digest":"sha256:f01f80a6f2f7e1594924fca07ec2cc1814b969ee6f73af281f19c1e4ae7532e8","observation_id":"de529726-6ff0-417e-9b26-68404c8a1765","resolution":{"observed_at":"2026-05-16T21:08:33.054934Z","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":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":"2406.08467","doi":"10.48550/arxiv.2406.08467","metadata_source":"pith","pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DafnyBench: A benchmark for formal software verification","venue":"cs.SE","work_id":"a976f0b7-700b-463a-a2c1-0c8e407f6662","year":2024},"citing_paper":{"arxiv_id":"2604.22601","last_updated":"2026-04-24T14:28:10Z","snapshot_observed_at":"2026-08-15T01:51:27.102986Z","submitted_at":"2026-04-24T14:28:10Z","title":"From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-08T11:19:26.423530Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2604.22601"},"observation_digest":"sha256:98bc453d6134f7ecc3218ca918ea3dec9719f0a7d8f493177a3de05202cfd6e5","observation_id":"62399d0d-cda0-4d99-a034-76fb953d28e6","resolution":{"observed_at":"2026-05-11T19:41:08.477801Z","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":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":"2406.08467","doi":"10.48550/arxiv.2406.08467","metadata_source":"pith","pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DafnyBench: A benchmark for formal software verification","venue":"cs.SE","work_id":"a976f0b7-700b-463a-a2c1-0c8e407f6662","year":2024},"citing_paper":{"arxiv_id":"2605.08553","last_updated":"2026-05-08T23:25:05Z","snapshot_observed_at":"2026-08-13T04:52:24.109699Z","submitted_at":"2026-05-08T23:25:05Z","title":"VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-12T01:21:42.562823Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2605.08553"},"observation_digest":"sha256:455c6c1193f29a99c7bd17ec371b263e35f17134d95e96e329800eff718f17d6","observation_id":"47382d38-3c37-4373-8b4b-e33e43f25322","resolution":{"observed_at":"2026-05-12T08:01:32.397531Z","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":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":"2406.08467","doi":"10.48550/arxiv.2406.08467","metadata_source":"pith","pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DafnyBench: A benchmark for formal software verification","venue":"cs.SE","work_id":"a976f0b7-700b-463a-a2c1-0c8e407f6662","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":30,"source":"pdf_text","source_observed_at":"2026-05-25T04:52:06.456555Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2605.23109"},"observation_digest":"sha256:b304fecd727313d0172fde0b58283f5dd1e86879bb00b76cd9785296692cb1f5","observation_id":"d37fd8a2-ebb5-41b6-958f-47506451a641","resolution":{"observed_at":"2026-05-25T04:55:23.787878Z","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":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":"2406.08467","doi":"10.48550/arxiv.2406.08467","metadata_source":"pith","pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DafnyBench: A benchmark for formal software verification","venue":"cs.SE","work_id":"a976f0b7-700b-463a-a2c1-0c8e407f6662","year":2024},"citing_paper":{"arxiv_id":"2605.27485","last_updated":"2026-05-26T14:50:47Z","snapshot_observed_at":"2026-08-02T13:15:11.614769Z","submitted_at":"2026-05-26T14:50:47Z","title":"Automating Formal Verification with Agent-Guided Tree Search","version":1},"reference_index":104,"source":"pdf_text","source_observed_at":"2026-06-29T14:54:59.333847Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2605.27485"},"observation_digest":"sha256:426d3d539ffd6a23fd691e11f15effb6e047f7076f4872503da8f9cf30a87a05","observation_id":"ba14b30e-b219-46de-81f7-938c1f46f657","resolution":{"observed_at":"2026-06-29T15:03:31.387045Z","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":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":"2406.08467","doi":"10.48550/arxiv.2406.08467","metadata_source":"pith","pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DafnyBench: A benchmark for formal software verification","venue":"cs.SE","work_id":"a976f0b7-700b-463a-a2c1-0c8e407f6662","year":2024},"citing_paper":{"arxiv_id":"2605.30914","last_updated":"2026-05-29T06:59:28Z","snapshot_observed_at":"2026-08-14T18:21:58.376831Z","submitted_at":"2026-05-29T06:59:28Z","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-06-28T23:52:36.891080Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2605.30914"},"observation_digest":"sha256:45fb57ed3e0d60645b0000bc51f72e7aa9fbf7f8eb8c6642fbaef84b049971c6","observation_id":"fda77c74-7520-4ba8-b1ce-e3b1701bb1ed","resolution":{"observed_at":"2026-06-28T23:52:48.496756Z","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":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":"2406.08467","doi":"10.48550/arxiv.2406.08467","metadata_source":"pith","pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DafnyBench: A benchmark for formal software verification","venue":"cs.SE","work_id":"a976f0b7-700b-463a-a2c1-0c8e407f6662","year":2024},"citing_paper":{"arxiv_id":"2605.30914","last_updated":"2026-05-29T06:59:28Z","snapshot_observed_at":"2026-08-14T18:21:58.376831Z","submitted_at":"2026-05-29T06:59:28Z","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","version":1},"reference_index":103,"source":"pdf_text","source_observed_at":"2026-06-28T23:52:36.891080Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2605.30914"},"observation_digest":"sha256:87a666619d404d7276d725f197100b76acb4c59fedfff9187adf837a939639f6","observation_id":"1b662dc9-807c-4c05-ae73-5e45bfa8745d","resolution":{"observed_at":"2026-06-28T23:52:49.223328Z","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":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":"2406.08467","doi":"10.48550/arxiv.2406.08467","metadata_source":"pith","pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DafnyBench: A benchmark for formal software verification","venue":"cs.SE","work_id":"a976f0b7-700b-463a-a2c1-0c8e407f6662","year":2024},"citing_paper":{"arxiv_id":"2606.01008","last_updated":"2026-08-17T18:41:11Z","snapshot_observed_at":"2026-08-19T16:21:50.577982Z","submitted_at":"2026-05-31T04:51:27Z","title":"FVSpec: Real-World Property-Based Tests as Lean Challenges","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-28T17:05:13.012431Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2606.01008"},"observation_digest":"sha256:72fc0fe840cd4366e8d26f7cd2ca78d086be6597069c027b21e895ce9939c4be","observation_id":"147fa11c-97b7-499f-a5f5-3ad8e95997bb","resolution":{"observed_at":"2026-06-28T17:12:25.298203Z","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":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":"2406.08467","doi":"10.48550/arxiv.2406.08467","metadata_source":"pith","pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DafnyBench: A benchmark for formal software verification","venue":"cs.SE","work_id":"a976f0b7-700b-463a-a2c1-0c8e407f6662","year":2024},"citing_paper":{"arxiv_id":"2606.32007","last_updated":"2026-06-30T17:39:43Z","snapshot_observed_at":"2026-08-12T16:31:30.283764Z","submitted_at":"2026-06-30T17:39:43Z","title":"AxDafny: Agentic Verified Code Generation in Dafny","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-07-01T05:01:14.526987Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2606.32007"},"observation_digest":"sha256:a1d6171694c7e4832016674d248740d6152f71790d3846d42206f591419eaab7","observation_id":"fbeda992-a31d-42ca-8506-a5488e1f2b64","resolution":{"observed_at":"2026-07-01T10:55:41.397560Z","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":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-07-11T16:08:39.755740Z","title":"DafnyBench: A benchmark for formal software verification.arXiv preprint arXiv:2406.08467, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.04631","last_updated":"2026-07-06T03:31:14Z","snapshot_observed_at":"2026-08-06T21:22:23.938933Z","submitted_at":"2026-07-06T03:31:14Z","title":"Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-11T16:08:39.755740Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2607.04631"},"observation_digest":"sha256:5adf5dc91e600bd2a2a2317f5aacefbe81e58afc8c78ddf2549646c89ce7b3aa","observation_id":"74e0edb1-6760-43bd-ba5d-f6debc46c01c","resolution":{"observed_at":"2026-07-11T16:08:39.755740Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":"2406.08467","doi":"10.48550/arxiv.2406.08467","metadata_source":"pith","pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"DafnyBench: A benchmark for formal software verification","venue":"cs.SE","work_id":"a976f0b7-700b-463a-a2c1-0c8e407f6662","year":2024},"citing_paper":{"arxiv_id":"2607.05810","last_updated":"2026-07-07T04:09:41Z","snapshot_observed_at":"2026-08-13T15:22:36.782702Z","submitted_at":"2026-07-07T04:09:41Z","title":"SCOPE: Leveraging Subgoal Critiques for Code Generation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-08T23:39:03.204195Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2607.05810"},"observation_digest":"sha256:71d3eab5fa56ab0c9a99804961a89199c73380bfba8296271552c1e88d5dabad","observation_id":"0b03773d-eedc-4a36-b84e-7aef29d9a60a","resolution":{"observed_at":"2026-07-08T23:45:43.218459Z","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":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-07-30T22:39:33.938245Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23425","last_updated":"2026-07-26T02:49:56Z","snapshot_observed_at":"2026-08-11T20:27:29.196092Z","submitted_at":"2026-07-26T02:49:56Z","title":"TLA+-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA Specification Generation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-30T22:39:33.938245Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2607.23425"},"observation_digest":"sha256:45e6730ebe2eb6eb158b925a416f13133e304eac7fb500f0972662570d0ad4ac","observation_id":"08d7d937-b307-4c1e-a77b-be5513da35b7","resolution":{"observed_at":"2026-07-30T22:39:33.938245Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-01T02:26:35.535332Z","title":"Ma, L.; Liu, S.; Li, Y.; Xie, X.; and Bu, L","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27733","last_updated":"2026-07-30T06:15:29Z","snapshot_observed_at":"2026-08-05T06:58:19.349610Z","submitted_at":"2026-07-30T06:15:29Z","title":"VeriSkill: A Self-Evolution Framework for Program Verification Skills","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-01T02:26:35.535332Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2607.27733"},"observation_digest":"sha256:b6cfdbf0f164224f732b40b0e38f89f2e2d35f2bf9bde45e6905d24b5f4c1373","observation_id":"40f2b064-f4e1-4975-a811-e588b3576b82","resolution":{"observed_at":"2026-08-01T02:26:35.535332Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-08T13:56:53.487916Z","title":"Dafnybench: A benchmark for formal software verification,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-08T13:56:53.487916Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:e10f7c466fb2cbb89fdafba353b0494e05fd93ecd78cee683d3f3695d4741ba9","observation_id":"e1d63f83-e3af-42e4-9742-5189fb54adb0","resolution":{"observed_at":"2026-08-08T13:56:53.487916Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-10T04:33:18.881036Z","title":"Dafnybench: A benchmark for formal software verification,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05399","last_updated":"2026-08-07T14:31:04Z","snapshot_observed_at":"2026-08-18T23:00:07.218144Z","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T04:33:18.881036Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2608.05399"},"observation_digest":"sha256:38be6b2b802653d26896d45c6a75c143902e6bfac84dee71e860be6235f7ff64","observation_id":"d0e32ff9-a735-4512-88c7-14fc0ab5a0ce","resolution":{"observed_at":"2026-08-10T04:33:18.881036Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-11T20:22:28.527645Z","title":"DafnyBench: A benchmark for formal software verification.arXiv preprint arXiv:2406.08467, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.09277","last_updated":"2026-08-10T08:33:18Z","snapshot_observed_at":"2026-08-19T05:03:53.936526Z","submitted_at":"2026-08-10T08:33:18Z","title":"P$^{3}$: Joint Program-and-Proof Planning for Verified Code Generation","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-11T20:22:28.527645Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2608.09277"},"observation_digest":"sha256:7ea36c4edac04c5ac8466c52b31b5401fa9195664168c930f6962b10c761a753","observation_id":"6e72f3b5-41eb-4095-be92-200b2a3c5eb2","resolution":{"observed_at":"2026-08-11T20:22:28.527645Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2406.08467/citation-record","integrity":"/paper/2406.08467/integrity","json":"/paper/2406.08467/citation-record.json","paper":"/paper/2406.08467"},"outbound":[],"paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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 19 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 27 inbound Pith citation observations for arXiv:2406.08467."}