{"as_of":"2026-08-11T13:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fe9d3a9bc83aab5c7b9063f60132cdc3d3437d1406b1ecda960d55e757f06345","coverage":[{"denominator":16,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T21:11:51.774872Z","state":"measured"},{"denominator":19,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":19,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T15:20:14.285945Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T15:20:18.993538Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"cited_work":{"arxiv_id":"2501.06283","doi":null,"metadata_source":"pith","pith_arxiv_id":"2501.06283","snapshot_observed_at":"2026-08-06T15:20:18.993538Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","venue":"cs.SE","work_id":"e72c518b-59d9-4823-b2c9-0416c4041f7d","year":2025},"citing_paper":{"arxiv_id":"2507.16331","last_updated":"2026-07-03T09:17:03Z","snapshot_observed_at":"2026-08-07T04:15:41.914807Z","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":45,"source":"arxiv_source","source_observed_at":"2026-08-06T15:20:14.285945Z"},"links":{"cited_paper":"/paper/2501.06283","citing_paper":"/paper/2507.16331"},"observation_digest":"sha256:dd635826507850a4f5cb34dd4cedd8a4093197a849682bdcb8300313eac83764","observation_id":"f062fcf9-6ca4-48f0-9a4f-5a4f8255694b","resolution":{"observed_at":"2026-08-06T15:20:18.998311Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.06283","snapshot_observed_at":"2026-07-12T04:41:22.115252Z","title":"Dafny as verification- aware intermediate language for code generation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.03130","last_updated":"2026-07-03T09:19:34Z","snapshot_observed_at":"2026-08-03T05:41:00.957628Z","submitted_at":"2026-07-03T09:19:34Z","title":"Copper: Unifying Correctness and Performance Specification in Code Generation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-12T04:41:22.115252Z"},"links":{"cited_paper":"/paper/2501.06283","citing_paper":"/paper/2607.03130"},"observation_digest":"sha256:f074bbae49a967f1464e7e62d78220f4537a8cf46aa664b488934717b56473fd","observation_id":"d9fc0aa2-132e-42f5-ba73-ec21ca7b3d74","resolution":{"observed_at":"2026-07-12T04:41:22.115252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.06283","snapshot_observed_at":"2026-07-11T22:48:02.568715Z","title":"arXiv preprint arXiv:2501.06283 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.03951","last_updated":"2026-07-04T16:53:39Z","snapshot_observed_at":"2026-08-08T02:14:28.380655Z","submitted_at":"2026-07-04T16:53:39Z","title":"Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-11T22:48:02.568715Z"},"links":{"cited_paper":"/paper/2501.06283","citing_paper":"/paper/2607.03951"},"observation_digest":"sha256:ab94f56eeeea1a6d6275f715a3ae976eb57093641c3a3bb018497b5f23e0717c","observation_id":"ef91f937-1337-409f-8231-10ef8866bce6","resolution":{"observed_at":"2026-07-11T22:48:02.568715Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2501.06283/citation-record","integrity":"/paper/2501.06283/integrity","json":"/paper/2501.06283/citation-record.json","paper":"/paper/2501.06283"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2402.08147","last_updated":"2024-05-24T14:51:14Z","snapshot_observed_at":"2026-08-02T12:02:08.112912Z","submitted_at":"2024-02-13T00:55:14Z","title":"VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.08147","snapshot_observed_at":"2026-08-10T21:11:51.054863Z","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-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.054863Z"},"links":{"cited_paper":"/paper/2402.08147","citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:b114a383064ff10b1877230628f462032ff5481353fc72e583676cba5a68811e","observation_id":"d8bbef6c-df07-45e6-9087-b779d1ff56a5","resolution":{"observed_at":"2026-08-10T21:11:51.054863Z","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-10T21:11:51.104759Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.104759Z"},"links":{"citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:b280eb497791d8eefe5ab27d5cef36f295fa665fc2eba4e7c94a6f0f566add2d","observation_id":"3b765e5a-348d-40f7-91a4-7343ee0d0543","resolution":{"observed_at":"2026-08-10T21:11:51.104759Z","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-07-06T18:29:49.284504Z","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-10T21:03:39.447031Z","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:e8062d0b80acee4b1ea416fa7110c58ebf53b7dcd70d12a5abca465093f68951","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T21:11:51.235208Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.235208Z"},"links":{"citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:7dcb58eeb439e599b2558313af2adb14a6d3c142c4670fdff059a50c98ace3a3","observation_id":"66ba39e0-9f91-4a15-b365-7ff4512f16a3","resolution":{"observed_at":"2026-08-10T21:11:51.235208Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.16792","last_updated":"2025-03-03T22:24:37Z","snapshot_observed_at":"2026-07-06T18:20:18.770090Z","submitted_at":"2024-05-27T03:26:01Z","title":"Laurel: Unblocking Automated Verification with Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.16792","snapshot_observed_at":"2026-08-10T21:11:51.300216Z","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-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.300216Z"},"links":{"cited_paper":"/paper/2405.16792","citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:df7965d79dbe543714a37066bbd55cedc1d1068258641d840f572120bacf524b","observation_id":"abe16ec6-a471-46a6-b540-37f47689c0d6","resolution":{"observed_at":"2026-08-10T21:11:51.300216Z","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-10T21:11:51.266646Z","title":"Proceed- ings of the ACM on Software Engineering 1, FSE (2024), 812–835","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-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.266646Z"},"links":{"citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:f714511d84282867dfe1e73dce10f9878c34628ad9e6043662045b92212876b0","observation_id":"07d5c491-f73e-480c-adaf-bd3821a5d21d","resolution":{"observed_at":"2026-08-10T21:11:51.266646Z","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-10T21:11:51.334751Z","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-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.334751Z"},"links":{"citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:54612a11966660a351b8b0bae8703b4648329177f617359c933a476807a47688","observation_id":"e10e9c02-af93-42f8-9333-7a3c701d94bf","resolution":{"observed_at":"2026-08-10T21:11:51.334751Z","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-10T21:11:51.417272Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.417272Z"},"links":{"citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:d42ee8ae92c94d6f83d9e10a268893c13ae03b41942cb0ee257cd65d6c5e9f34","observation_id":"3a89f3ec-e6e9-459b-953c-226dc42cfa0f","resolution":{"observed_at":"2026-08-10T21:11:51.417272Z","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-10T21:11:51.454747Z","title":"Are you satisfied with this specification, or would you like to make any changes? <USER> Oops, I made a mistake","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.454747Z"},"links":{"citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:ff8bc2a3b89369da27c9f01309a3a98f70c0d057cea167d99dd470561089fee4","observation_id":"f298b010-bd6e-47fe-877a-c81080cf0d7f","resolution":{"observed_at":"2026-08-10T21:11:51.454747Z","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-10T21:11:51.494989Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.494989Z"},"links":{"citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:a6653b8512dda173b8290cbdaa9064762694b0a665f715089354ff100b43bf1f","observation_id":"cb560acd-b0eb-420d-a25d-a8da571fde39","resolution":{"observed_at":"2026-08-10T21:11:51.494989Z","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-10T21:11:51.555061Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.555061Z"},"links":{"citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:631d8280876783a6af2ba40a604aa4c01b90b292aa5f7f10f457d957cdea9f78","observation_id":"3830b0cd-7bca-48ab-91ca-da211f702be2","resolution":{"observed_at":"2026-08-10T21:11:51.555061Z","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-10T21:11:51.604099Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.604099Z"},"links":{"citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:e93d380d6ed4b510cb25ba25a429acc7fc1be0ce198121c75c2434d457a338ea","observation_id":"8897beaa-e436-4cba-b009-3a322527f48f","resolution":{"observed_at":"2026-08-10T21:11:51.604099Z","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-10T21:11:51.644857Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.644857Z"},"links":{"citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:95a6c391bb6fdf491baf4a06f8c7f26cde960ba861a197fe2ac2cf530ea310f0","observation_id":"a5b715be-fcb8-4da5-a660-74a29b7a6a09","resolution":{"observed_at":"2026-08-10T21:11:51.644857Z","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-10T21:11:51.695258Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.695258Z"},"links":{"citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:98819e81a812616f2182eabe54c0d1d587fc5bf0cdb6cdae6551367771622ea7","observation_id":"51108b29-1255-48cb-a91c-8e59430dfa51","resolution":{"observed_at":"2026-08-10T21:11:51.695258Z","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-10T21:11:51.774872Z","title":"Are you satisfied with this Python implementation? If you have any questions or would like any modifications, please let me know","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.774872Z"},"links":{"citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:26437d0b7fa2ede9905202db4d979fcb777da4adbd2b5092080395887cff7e2b","observation_id":"067ee2c7-ce3f-4b61-8d1f-12b71586be5a","resolution":{"observed_at":"2026-08-10T21:11:51.774872Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.00515","last_updated":"2024-11-10T22:02:27Z","snapshot_observed_at":"2026-07-29T20:40:25.374189Z","submitted_at":"2024-06-01T17:48:15Z","title":"A Survey on Large Language Models for Code Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.00515","snapshot_observed_at":"2026-08-10T21:11:51.154862Z","title":"arXiv:2406.00515 [cs.CL] https://arxiv.org/abs/2406.00515","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","snapshot_observed_at":"2026-08-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-10T21:11:51.154862Z"},"links":{"cited_paper":"/paper/2406.00515","citing_paper":"/paper/2501.06283"},"observation_digest":"sha256:b2d6764885196d1f03e21731acc2ef561dbd3ecc5a5c20830119e8bb5b36c6ea","observation_id":"6f13b083-085f-4ce9-bd01-98619cf74d9f","resolution":{"observed_at":"2026-08-10T21:11:51.154862Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2501.06283","last_updated":"2025-01-10T17:23:14Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-10T21:03:39.447031Z","submitted_at":"2025-01-10T17:23:14Z","title":"Dafny as Verification-Aware Intermediate Language for Code Generation"},"reference_resolution":{"displayed":16,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":16},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 3 inbound Pith citation observations for arXiv:2501.06283."}