{"as_of":"2026-08-20T07:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:499842dde7cd67b49527cc41cae2551dd04a9b3addce7a07f10f2ad52e597f7d","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-20T06:33:59.587034+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-19T21:45:02.859666Z","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:e1929c06ce30375c968ed4f3417b824ac78c3612ccc3ff32fb4c279796b60051","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:a8e7c219a7313cf01b168c1cf0fd4976f7a2389708359d66e0d15baf5419db9f","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:180af5ade369d1dff3a897f1d5eafd8cb049f1a80f0360a8b238ed4a24250e99","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:e47119e615a0a2539de5cddacf027973f9f6ff22b70c8d2c74a77ed59db59ba4","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:768483edc42a4056a27c4fab534a12dbb1e84dd61bfbc26e65f09269cea19eae","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:75ee8df509140372514552b13975585729274434d03ec37ff24909209e17fe87","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:f2d031a0f56ea0fdd8c0d9378d1349cd095b7df57868a6723f1983759b784a30","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:4a80db89d8cfcb7e3ada9332eda84c9e76dc0b07ab1c03d0a3ff6b50161c3907","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:2d1644f51e19511c8926ccf18eb27558eb1b88f9c0018e27c291e55773d0a889","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:b4351770eea34eb8a3863878a5b64649c45b1efe38bd1aa076a5214ad2c9be6b","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-20T07:17:09.424590Z","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:974ba6755d2b0e2604e1b98b76c5b7571786b3bf24b32a6a863fc2d9755cbb45","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:03fddb1947ac611e22cf6dc1e5324075b25493b30ad0cb3ad259b54b848aa6e6","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:dfcf4e77bf71f39b7bb246328b7bbd8a465a130e5a7b5c8ba26b4eb57ea44757","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-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-19T17:14:14.124608Z","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:a606f8c37d899478fe16f3eeeb3ec346368200caf9634c651552eb8c48bb895d","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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 27 inbound Pith citation observations for arXiv:2406.08467."}