{"as_of":"2026-08-10T07:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c454c7fa454586645d988fb9de86dacd296d176d64236157ba4d9b689c4cdb9d","coverage":[{"denominator":26,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":26,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T11:48:59.174822Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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-06T18:07:08.531512Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-06-28T20:12:37.730379Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.07728","snapshot_observed_at":"2026-08-06T18:07:08.531512Z","title":"Verifying llm-generated code in the context of software verification with ada/spark","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.09135","last_updated":"2025-07-12T04:32:15Z","snapshot_observed_at":"2026-08-09T19:13:01.389864Z","submitted_at":"2025-07-12T04:32:15Z","title":"Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T18:07:08.531512Z"},"links":{"cited_paper":"/paper/2502.07728","citing_paper":"/paper/2507.09135"},"observation_digest":"sha256:d83d528e28e89b06b9f5385f44836e5cc9155189a8d543541eac9dda0952f3ca","observation_id":"cc8bc8d6-29f9-452a-9a2d-30704ed26ba0","resolution":{"observed_at":"2026-08-06T18:07:08.531512Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"cited_work":{"arxiv_id":"2502.07728","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.07728","snapshot_observed_at":"2026-06-28T20:12:37.730379Z","title":null,"venue":null,"work_id":"bd5246b2-04a7-4c12-b9e6-050ffad32796","year":2025},"citing_paper":{"arxiv_id":"2605.31389","last_updated":"2026-05-29T14:54:51Z","snapshot_observed_at":"2026-08-07T07:03:49.550209Z","submitted_at":"2026-05-29T14:54:51Z","title":"Neuroforger: certified violation witnesses for smart contracts verification via LLMs","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-28T20:05:09.897564Z"},"links":{"cited_paper":"/paper/2502.07728","citing_paper":"/paper/2605.31389"},"observation_digest":"sha256:f88248aec8ea1bd5c628a19b6776a86625b9c8dea8a72f0802e97512d10fb72e","observation_id":"4bcd9ac2-2911-4ab4-8cd2-ee90be43e175","resolution":{"observed_at":"2026-06-28T20:12:37.731551Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.07728","snapshot_observed_at":"2026-08-02T02:26:01.577798Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14340","last_updated":"2026-07-15T20:09:05Z","snapshot_observed_at":"2026-08-02T02:25:59.765114Z","submitted_at":"2026-07-15T20:09:05Z","title":"The Prover Is the Judge: Verified Security Software from AI Coding Agents in Ada/SPARK","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T02:26:01.577798Z"},"links":{"cited_paper":"/paper/2502.07728","citing_paper":"/paper/2607.14340"},"observation_digest":"sha256:c04ec69fb36b3c26d5ffadd6ca1dd20a38811baff08833cd3afc584fe4bc9b81","observation_id":"e303eb39-2abf-4064-8d3d-5679fe87e38c","resolution":{"observed_at":"2026-08-02T02:26:01.577798Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2502.07728/citation-record","integrity":"/paper/2502.07728/integrity","json":"/paper/2502.07728/citation-record.json","paper":"/paper/2502.07728"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.062326Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.062326Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:e3c5ec91b783f0f12ddc52af1010054ca4acbfa89ea381185561fd4bb696ccaf","observation_id":"3bace703-5ab1-4597-bcb8-d3da761e591b","resolution":{"observed_at":"2026-08-08T11:48:59.062326Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.541047Z","title":"Ada programming language","venue":null,"work_id":"b3ce4650-2aba-4fef-b251-30826294113a","year":1980},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.068345Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:d489d7fe154ac7b5db579bbd61bcc7654b37233585440623745b679c494e0084","observation_id":"86a7ab48-f8e1-42de-8722-db25dc58bf1f","resolution":{"observed_at":"2026-08-08T11:48:59.545515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.526755Z","title":null,"venue":null,"work_id":"79f09649-abc0-4ca5-bc5c-e7d9dd04997f","year":2012},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.072910Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:c6d6b6580d13312520e683681244ab25d358a947a9cce9c0b06487df389088c5","observation_id":"cfe76089-dcf2-4be6-9ee4-f38421978b0f","resolution":{"observed_at":"2026-08-08T11:48:59.531092Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.511764Z","title":"C., Kaliszyk, C., Paulson, L","venue":null,"work_id":"9aa4a3a0-d9d9-4b35-9fa6-3a0ebcc24bdd","year":2016},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.076994Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:dd2ee9b4bc8f1f952be9907ab19bdb49761aa3e6993d68f6512bc663ac187a54","observation_id":"d7406dad-9796-44f5-ba97-1bd4d6ae129e","resolution":{"observed_at":"2026-08-08T11:48:59.516738Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.497988Z","title":null,"venue":null,"work_id":"75021498-8e88-4bbe-9c36-24f18afde011","year":2019},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.080975Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:34fb934e9be9d280a55518a1cd75237251709b6e248ee38aaa184140f290e3c9","observation_id":"8e9d5264-74ac-4cc3-a800-10dd9af20ae6","resolution":{"observed_at":"2026-08-08T11:48:59.502356Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.485818Z","title":null,"venue":null,"work_id":"83ad36ac-2fcd-41bf-ad6c-e933faa3a659","year":2024},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.085173Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:169e49d82c94d4ac4053999c3f8fa88f13b862d2c15d3eead254d34c4ff3f553","observation_id":"a7685efa-043a-4bf7-8e1a-bb0895200ef7","resolution":{"observed_at":"2026-08-08T11:48:59.489536Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.472365Z","title":"and Schanda, F","venue":null,"work_id":"9c78b93d-9189-4794-8ad8-c3811fedbdbd","year":2014},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.089885Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:00637d7fd04aa3a43386b47a64dc87e5a13cd6909e5e8d778ed94fa786dcd128","observation_id":"31154850-4d35-4b41-a6cf-1b1b8524d82c","resolution":{"observed_at":"2026-08-08T11:48:59.476982Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.458438Z","title":null,"venue":null,"work_id":"258a8c18-b2ed-4c47-a25f-fb6a9335469d","year":2022},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.094475Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:2066f98529115a9ef1179da03aade2d6ccda421fc42a566885f943daae2811f8","observation_id":"6e6dee66-e627-4113-b4c5-0953dcb978c4","resolution":{"observed_at":"2026-08-08T11:48:59.462857Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.444903Z","title":null,"venue":null,"work_id":"9bc882c0-5195-4f05-befb-31eb1c901d5d","year":2023},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.098284Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:1d22988a3787361dcd9629cd5dde68a27f28d97027cfb9c0b242c90f5e6da0e4","observation_id":"5f6362f5-9308-48c7-b340-913b4b2e781f","resolution":{"observed_at":"2026-08-08T11:48:59.449253Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.431306Z","title":null,"venue":null,"work_id":"93a3877e-109d-49df-9187-f5ba01ab6430","year":2014},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.102138Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:7f8ad6e2bffac4f8199839f21ce67acc1c2c6872883126d3a040f5098a4ac41b","observation_id":"6a1fdafd-34b6-4323-a87c-4810f7e91ebe","resolution":{"observed_at":"2026-08-08T11:48:59.435666Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.416447Z","title":"and Paskevich, A","venue":null,"work_id":"0e764ab4-486c-4202-af32-85460b7beff2","year":2013},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.109236Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:99d6a98675b9e5bebf310d1ea68958689738de10f7fe2778a3d44eb7be04cf44","observation_id":"1c2be4a2-e0bc-448d-a9e6-5469f3415fe0","resolution":{"observed_at":"2026-08-08T11:48:59.421061Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.401503Z","title":null,"venue":null,"work_id":"12f1b8b8-4ea0-4f2a-8acf-9924f9ed697b","year":2011},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.114049Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:2e1624662c19fcd969179465766fe6945aea23ce375ff1d256f43083fc3ae721","observation_id":"235ddfd6-483f-4414-abc9-0b196683951b","resolution":{"observed_at":"2026-08-08T11:48:59.406433Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.386259Z","title":"N., Ringer, T., and Brun, Y","venue":null,"work_id":"e920588e-2682-4784-a0f5-6c60f66dbe94","year":2023},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.118422Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:18d45bfeb064709dc39387376c4a9b4317ebcf047ce46c040cd0f67e7c250485","observation_id":"af148078-abca-4c0b-be68-1854b15f6aab","resolution":{"observed_at":"2026-08-08T11:48:59.390724Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.372248Z","title":null,"venue":null,"work_id":"aaff2ac3-010f-430b-baa7-beae0234b246","year":1969},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.122828Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:36e0971758282d31d98e41279729c60c1d75a81b9ed24502df8b02cfb8293b61","observation_id":"9fdf83c0-7062-4c73-99c8-a46dcb163093","resolution":{"observed_at":"2026-08-08T11:48:59.376512Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.358498Z","title":"W., Schuurmans, D., Bosma, M., Ichter, B., Xia, F., Chi, E., Le, Q., and Zhou, D","venue":null,"work_id":"fd772417-3afc-42ba-8110-37a9165a4067","year":2023},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.127192Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:97a5ce2a688a8090bd9fb960d4bd13f0fd88e963aca8dd56b2b4432121ee626d","observation_id":"34394e9e-972c-42cd-84a7-39fe8aedc01d","resolution":{"observed_at":"2026-08-08T11:48:59.362837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.343853Z","title":"Q., Li, W., Tworkowski, S., Czechowski, K., Odrzygóźdź, T., Miłoś, P., Wu, Y., and Jamnik, M","venue":null,"work_id":"e693ec97-b161-4f5c-b705-15dd6a3f64ec","year":2023},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.131130Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:2e7e1a1498ce08c8d23bb5517dfb6925c416ee14d800fe0375816963b64bcb76","observation_id":"0294b45a-9e27-427f-9a2f-02ff5aa7a5bb","resolution":{"observed_at":"2026-08-08T11:48:59.349055Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.329943Z","title":"Q., Welleck, S., Zhou, J","venue":null,"work_id":"fa904226-14a9-4b56-95fc-2b7a82fb81a2","year":2023},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.135251Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:1473b43947e21193edda3aabd84ae72693aa5c7ddbf87ccac4a390d98f58eb35","observation_id":"bb3618fd-48bb-44bd-9e27-b0b1574b1c4c","resolution":{"observed_at":"2026-08-08T11:48:59.334399Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.139415Z","title":"S., Reid, M., Matsuo, Y., and Iwasawa, Y","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.139415Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:715009bb40dbb0814e62dc51563a7a2c06caec23e9e23214f5dab039fbb386ed","observation_id":"392e80ec-bccc-4bb8-801e-ebbd3c0601af","resolution":{"observed_at":"2026-08-08T11:48:59.139415Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.306591Z","title":null,"venue":null,"work_id":"f8dbeaf6-28fc-4390-9916-8fc2b2d20ad3","year":2013},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.143674Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:c8ae5c9c52bc031458780d1d3693362e86ba27e85ba2c202dcf41225a53af831","observation_id":"488c9e27-8395-4b27-bbe3-0d59ef458521","resolution":{"observed_at":"2026-08-08T11:48:59.310692Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.293906Z","title":"Q., Zhou, J","venue":null,"work_id":"2efeaac3-7d33-4cc8-8782-588a6a3ff8ae","year":2024},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.148179Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:8cc9a2f852586c1868a0b2ae01d762ad1e23fee4c0d911c4634ba7f461fbee43","observation_id":"b31fbb4c-4130-41ae-bbb6-cf06f49d6b68","resolution":{"observed_at":"2026-08-08T11:48:59.297966Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.279280Z","title":null,"venue":null,"work_id":"2524c960-79f8-46a1-b98e-425dc127d6f3","year":2013},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.152516Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:822a40c6819579513e04e647f1bb95067357d9224987ca582a4493b037c3029b","observation_id":"1e83e696-bb19-4cef-a270-156d3c1e302c","resolution":{"observed_at":"2026-08-08T11:48:59.283961Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.263812Z","title":null,"venue":null,"work_id":"f58fd5a4-8f09-4695-b29c-d4af6f992fa6","year":2013},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.156755Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:7eb19067376fb0ae0cda74e00739088defeda8e40aeb6532cdf69634a73a223c","observation_id":"5279cfca-94ef-4097-a9ff-50a005cfdcca","resolution":{"observed_at":"2026-08-08T11:48:59.269055Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.249927Z","title":null,"venue":null,"work_id":"c4623e67-29f4-4ed7-b547-958309db79d6","year":2012},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.160895Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:899fc8a12b0b526cb6ad4a740775604289f5acbc30aad9649807e2dc20d16ae5","observation_id":"6159f9a6-718b-4f51-9106-d688cd1e8023","resolution":{"observed_at":"2026-08-08T11:48:59.254276Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.235251Z","title":null,"venue":null,"work_id":"a83dc1f2-4206-4815-84ca-35778b48ca3a","year":1994},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.165275Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:82e88cb7a62d9511413aecd82f45fe19ad53a49a35e61473d45c5c997530ac27","observation_id":"52ba968e-2389-4a75-b266-03e55bfc0262","resolution":{"observed_at":"2026-08-08T11:48:59.240023Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.220998Z","title":null,"venue":null,"work_id":"bbf9c3f6-0a7f-4329-8699-5206e61539ae","year":2014},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.170376Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:927ffe27133c503ed0d5d90549e5d85bdfd39a88b5b4e9f299454481a9468589","observation_id":"708e43df-1255-4055-9141-32ae38342023","resolution":{"observed_at":"2026-08-08T11:48:59.225599Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T11:48:59.204560Z","title":"N., Kaiser, L., and Polosukhin, I","venue":null,"work_id":"625dd7e8-9d96-46b8-9b28-f3cce8574a06","year":2017},"citing_paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-08T11:48:59.174822Z"},"links":{"citing_paper":"/paper/2502.07728"},"observation_digest":"sha256:7f90b0fd1a55cd867fddd2696c9b431a98db4178c9041dce931adac6eb1a4c57","observation_id":"f3f95f95-a344-4428-a555-f10db7f5f6dd","resolution":{"observed_at":"2026-08-08T11:48:59.210595Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2502.07728","last_updated":"2025-02-11T17:42:07Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-08T11:43:40.196887Z","submitted_at":"2025-02-11T17:42:07Z","title":"Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK"},"reference_resolution":{"displayed":26,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":0,"verified_fuzzy":10},"total_outbound_references":26},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 3 inbound Pith citation observations for arXiv:2502.07728."}