{"as_of":"2026-08-18T14:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2d890b489c56a19d2fd94fd6ff0b66d2d6a7793150c1a02fbba9e5b4a28a7290","coverage":[{"denominator":168,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T19:52:51.909845Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.14627/citation-record","integrity":"/paper/2506.14627/integrity","json":"/paper/2506.14627/citation-record.json","paper":"/paper/2506.14627"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:51.539664Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.539664Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:5c9baa1662fbb325327079a241c8ef4eb5301d9aaadd39edd75f1520d41388fc","observation_id":"2f8cbc5e-842d-435c-bc7a-9a86020de33b","resolution":{"observed_at":"2026-08-15T19:52:51.539664Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/tse.2012.71","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:52.500838Z","title":null,"venue":null,"work_id":"59df9aa8-030e-4e7b-8072-568fb84727cf","year":2013},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.544328Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:2c1ac7bbc2d652fcb557ec360d1d04b3e124297b3c1b6cc796615aa4945ce2bc","observation_id":"48b14e55-95d2-4dbc-879e-056e4c4dced2","resolution":{"observed_at":"2026-08-15T19:52:52.504376Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.14423","last_updated":"2024-05-05T00:54:26Z","snapshot_observed_at":"2026-08-16T14:24:59.752499Z","submitted_at":"2024-01-24T06:20:18Z","title":"Prompt Design and Engineering: Introduction and Advanced Methods","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.14423","snapshot_observed_at":"2026-08-15T19:52:51.548624Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.548624Z"},"links":{"cited_paper":"/paper/2401.14423","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:81a4c0e5343bb6e3b9185563aa96d940a4b17e11df3f2c09039f3cc2a899b9ea","observation_id":"ab8ed4be-69e4-4c33-bb16-07a81e9348b9","resolution":{"observed_at":"2026-08-15T19:52:51.548624Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.13976","last_updated":"2023-11-01T06:16:16Z","snapshot_observed_at":"2026-08-18T05:27:58.323792Z","submitted_at":"2023-10-21T11:29:31Z","title":"Advancing Requirements Engineering through Generative AI: Assessing the Role of LLMs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.13976","snapshot_observed_at":"2026-08-15T19:52:51.552958Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.552958Z"},"links":{"cited_paper":"/paper/2310.13976","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:77dd403ee86f5d8fdbc9a7e8d413b5c3acba5b218edf17cdf569328c9edbd87e","observation_id":"965bd243-60f2-4238-adac-af3e8abc19c8","resolution":{"observed_at":"2026-08-15T19:52:51.552958Z","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-15T19:52:51.557120Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.557120Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:1c7b7dfe95b3fed2084c126802ec90c3f05b1291ee4ab641f7bb800a67b9bda6","observation_id":"0d81ca66-ae26-48fc-ba8d-675921d9ad7e","resolution":{"observed_at":"2026-08-15T19:52:51.557120Z","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-15T19:52:51.561073Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.561073Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:bb76597ebad479d975a8d66c6056b59f2b7c0c440e2a8cc614f223680631af66","observation_id":"d1c813a9-808f-4faa-8602-b85f6c55ea40","resolution":{"observed_at":"2026-08-15T19:52:51.561073Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-18T01:00:13.964175Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.10704","snapshot_observed_at":"2026-08-15T19:52:51.564884Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.564884Z"},"links":{"cited_paper":"/paper/2506.10704","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:bec2a86b94110686626f98db2ba1b8fcf542355ccb592f99546d21779a17c228","observation_id":"cbf3bda6-20d6-42c3-a10a-12d6d7a5ba94","resolution":{"observed_at":"2026-08-15T19:52:51.564884Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-16T01:05:44.626821Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"cited_work":{"arxiv_id":"2506.11874","doi":null,"metadata_source":"pith","pith_arxiv_id":"2506.11874","snapshot_observed_at":"2026-08-15T19:52:54.054925Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","venue":"cs.SE","work_id":"8d551ec7-0464-4100-8d59-4abd26abb633","year":2025},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.568593Z"},"links":{"cited_paper":"/paper/2506.11874","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:56de27a64286143cb809da782eb04caadd5c9aad6da67404408f94066685b2b0","observation_id":"8ad2e96c-8910-4f0a-8f63-11e87f4f2570","resolution":{"observed_at":"2026-08-15T19:52:54.059199Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T19:52:51.572183Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.572183Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:f9dab3c9edfeb567f0d90cc36cb967a98b9fc61062275bf19c0c0a9a43882c7b","observation_id":"33c0c80e-15cc-4301-bf64-2293a58ea300","resolution":{"observed_at":"2026-08-15T19:52:51.572183Z","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-15T19:52:51.575762Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.575762Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:6e9f5cc66ff58c2a7ee57abc2851f88ce024ec08113628cd94cf51a0fed0050b","observation_id":"5b0938e4-0b92-4f4b-8089-e3b155b89fdf","resolution":{"observed_at":"2026-08-15T19:52:51.575762Z","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-15T19:52:51.579820Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.579820Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:2eca776d1f40a49e5836730c74a2ad9aaa2bdc8867428eedd60a32ebc0f708fd","observation_id":"0cd8c662-87a2-42e9-b23a-ffc05e1b7453","resolution":{"observed_at":"2026-08-15T19:52:51.579820Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-40436-8_13","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"8e9cd80e-cc20-42a3-a112-f0b8cd95293f","year":2023},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.584344Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:4180b306c316660238aa66a1e5e1a9b502fd5e6f9ab868088af64974b2552a5e","observation_id":"5d12b87d-25b3-4903-ae56-5001407dc483","resolution":{"observed_at":"2026-08-15T19:52:52.373486Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T19:52:51.587857Z","title":"Kelleher, Shen Fei, Gui Tong, Jiandong Ding, and Puchao Zhang","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.587857Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:104013fdfaa4ff4d0dc164a55e956d5887c85f44e65b81d6149f08a6e66180c9","observation_id":"498e0ef4-9a1e-4ed1-a31b-3fb0e1f8e3da","resolution":{"observed_at":"2026-08-15T19:52:51.587857Z","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-15T19:52:51.591608Z","title":"Daggitt, Omri Isac, Guy Katz, Verena Rieser, and Oliver Lemon","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.591608Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:3a1685f1f218a3d48186e237b571d493d35d9b2e071d343f37b9904783ad7c37","observation_id":"00ab817f-2e1e-42fb-9c16-211e014f83f4","resolution":{"observed_at":"2026-08-15T19:52:51.591608Z","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-15T19:52:51.598651Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.598651Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:03fa8f7ab4179ef6894f5690ec2610b1bf0416e01839c7e72bd49215cbe058e7","observation_id":"69e789bc-e4a8-4abb-9806-670899016e93","resolution":{"observed_at":"2026-08-15T19:52:51.598651Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2003.12322","last_updated":"2020-03-27T10:41:39Z","snapshot_observed_at":"2026-08-05T04:08:07.172088Z","submitted_at":"2020-03-27T10:41:39Z","title":"Light Field Image Coding Using Dual Discriminator Generative Adversarial Network and VVC Temporal Scalability","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.12322","snapshot_observed_at":"2026-08-15T19:52:51.601810Z","title":"Cleland-Huang, C.K","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.601810Z"},"links":{"cited_paper":"/paper/2003.12322","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:5cfb83f500fe61304b49dc2844ab68b30fdc240379b318e706135b3e4a7a4178","observation_id":"fbf61e13-6b98-475e-bdea-c112e9989183","resolution":{"observed_at":"2026-08-15T19:52:51.601810Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04864","last_updated":"2023-03-08T20:08:53Z","snapshot_observed_at":"2026-08-16T15:49:42.494591Z","submitted_at":"2023-03-08T20:08:53Z","title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.04864","snapshot_observed_at":"2026-08-15T19:52:51.605671Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.605671Z"},"links":{"cited_paper":"/paper/2303.04864","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:58327d9b6f77412faeee86ed94a040457866aba6f5a7c744c718e0e3eed40257","observation_id":"62d9f65e-e390-4d74-85b2-47bb1ecac43c","resolution":{"observed_at":"2026-08-15T19:52:51.605671Z","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-15T19:52:51.609181Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.609181Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:556e65660646aabd5e0f6b15ef999b146ec0ab4fc301610e1e5ab38e25aca7e5","observation_id":"1bbc3b4e-b031-4df1-aaa7-6e1cb1226ee2","resolution":{"observed_at":"2026-08-15T19:52:51.609181Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/re.2016.32","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:52.353057Z","title":null,"venue":null,"work_id":"56f481f9-6f8b-4264-9785-6cdc6d28bf67","year":2016},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.612482Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:3c0c2d4c6964ff40d6f3dca6c829b493717424419f3aa5a73cd43386911926ba","observation_id":"853d0ccd-3967-46c8-81bf-226b7be7e790","resolution":{"observed_at":"2026-08-15T19:52:52.357424Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T19:52:51.617361Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.617361Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:c380fbe89eca1cab1210fc01ba5429ce1026633d8e5b95395618ab36415b35f5","observation_id":"95538019-4d76-4bb3-8c84-4698246406be","resolution":{"observed_at":"2026-08-15T19:52:51.617361Z","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-15T19:52:51.620965Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.620965Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:2bea8f800877c5b5b4d12e317fc06120ad022d1a340dfa97e097dfe63431669e","observation_id":"ec85332a-ae7a-4a50-9616-2025403d08c3","resolution":{"observed_at":"2026-08-15T19:52:51.620965Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.02318","last_updated":"2025-01-03T02:19:03Z","snapshot_observed_at":"2026-08-16T13:03:04.852130Z","submitted_at":"2024-11-04T17:44:11Z","title":"Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.02318","snapshot_observed_at":"2026-08-15T19:52:51.624318Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.624318Z"},"links":{"cited_paper":"/paper/2411.02318","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:82dd84da5cd569d74734a1e9ffff3e74eb2eef6c4a3ed47a6bd22ef7d33460df","observation_id":"b1ad7260-82ec-481d-8c59-2be03ef8ccad","resolution":{"observed_at":"2026-08-15T19:52:51.624318Z","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-15T19:52:51.627804Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.627804Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:895aaa178bed509b6d886ac15cc1937d44342403f9363fa888429239b0c095f6","observation_id":"c11028f8-ca62-4177-b18a-9c2a0d195dc1","resolution":{"observed_at":"2026-08-15T19:52:51.627804Z","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-15T19:52:51.631174Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.631174Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:697479b1c56ff405ba133d12261d488619da3e4504891ea2cc64cb4f39e89d95","observation_id":"6c2a24ab-b3af-436d-a04d-a274dc7bc55b","resolution":{"observed_at":"2026-08-15T19:52:51.631174Z","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-15T19:52:51.634918Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.634918Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:adb817f5c35f1cfe219a278ecffbe125661b016fe4b527fd253a93161dc5e3b1","observation_id":"637094ea-7c57-457e-a12f-43b53055dd1d","resolution":{"observed_at":"2026-08-15T19:52:51.634918Z","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-15T19:52:51.638252Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.638252Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:3e51d2e257c9695eb789f05dd6dd863dab0972cdcc571cdde19f0ed472aad481","observation_id":"60a62879-b68b-45d9-aba2-407f3e3d98f2","resolution":{"observed_at":"2026-08-15T19:52:51.638252Z","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-15T19:52:51.641687Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.641687Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:bc3d2f0596d8b9b9f66b5c536a19548ceafae462ac18b80f6a9b7ddf7f68e3ce","observation_id":"d3b7fe25-820d-47d5-80b3-baa4a2db1d6a","resolution":{"observed_at":"2026-08-15T19:52:51.641687Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-59293-8_188","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"8946c74d-d53e-4267-a92e-ed8bd5e2a145","year":1995},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.645033Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:c72d0ec285b80e94f01cc770fd94ddc5a22bb95a0a8b30b501db13e0f0f00d78","observation_id":"519cc6bb-a4e2-46c4-8ab2-4a64e84aa63a","resolution":{"observed_at":"2026-08-15T19:52:52.333524Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4018/978-1-60566-731-7.ch008","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:52.319457Z","title":null,"venue":null,"work_id":"65e7b8c5-d39a-4172-9a73-bd32119a7558","year":2010},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.648483Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:0a92b4c90518d6e9d47b63f4657faddde8ca920e0a9b1239304ba942f8250868","observation_id":"36aaac2b-7893-4e7c-b1c2-f082d4b61dd6","resolution":{"observed_at":"2026-08-15T19:52:52.322878Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T19:52:51.651764Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.651764Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:63b63b341fda540d29a88a67c54e45fb82157103a3e238c34572add79392cabc","observation_id":"1241da1e-010d-460d-bbf8-702ba8e89268","resolution":{"observed_at":"2026-08-15T19:52:51.651764Z","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-15T19:52:51.655735Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.655735Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:73716d550fa0228aaebee2ad6baccd612f3c11e289c7c018c22db8921fe4b58c","observation_id":"78082e28-7160-43c3-bcda-85b109ff6e10","resolution":{"observed_at":"2026-08-15T19:52:51.655735Z","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-15T19:52:51.658933Z","title":"Goguen and Rod M","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.658933Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:9de4736b9aeb3cd5572ead16b2dd95e548a8da1e81649af0705a7618ae325876","observation_id":"28fd31d9-6c7c-46fb-ad27-faafadc791fa","resolution":{"observed_at":"2026-08-15T19:52:51.658933Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10270-009-0142-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:52.303057Z","title":null,"venue":null,"work_id":"14cee1fc-a2ca-4005-ac0d-24d19e85bdd8","year":2011},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.662398Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:9b5eeb2983059291b2f8cda722e18035b83cbe7ab33a8e4e866319144cc23621","observation_id":"96580097-4d22-4d5c-804f-7887d5375171","resolution":{"observed_at":"2026-08-15T19:52:52.306501Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T19:52:51.666885Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.666885Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:c232d1e6fa8064021fdca9e44ca3386c14236e53084988c5e5a5958b7787e4d3","observation_id":"ffb7020a-464c-40eb-976d-667a9bd25214","resolution":{"observed_at":"2026-08-15T19:52:51.666885Z","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-15T19:52:51.670493Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.670493Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:453ab6a8d56a14f7d00714ec2f97ec4f4b8742cf8158e0e3a096ce27e27e207b","observation_id":"1f9871c7-cd5f-4940-a812-12d3f57cf403","resolution":{"observed_at":"2026-08-15T19:52:51.670493Z","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-15T19:52:51.673630Z","title":"Greenspan, Alexander Borgida, and John Mylopoulos","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.673630Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:e031df2e7cd28723b0b53aea7bd2ab20691745efd54151fd1db805333ee726b2","observation_id":"e4f4e230-c484-43a5-b7f8-4eb4cdf9afb4","resolution":{"observed_at":"2026-08-15T19:52:51.673630Z","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-15T19:52:51.676803Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.676803Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:70b2a59eb4a7af0092c92283e94b8c8c85a91b2c0f50faea9cb7643d88bf8ada","observation_id":"9635bd2d-21c5-4cb3-883f-612afb6ed2bb","resolution":{"observed_at":"2026-08-15T19:52:51.676803Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2206.01962","last_updated":"2022-10-19T22:12:58Z","snapshot_observed_at":"2026-08-16T16:55:21.330482Z","submitted_at":"2022-06-04T10:49:30Z","title":"Formal Specifications from Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.01962","snapshot_observed_at":"2026-08-15T19:52:51.680773Z","title":"Tillman, Niklas Metzger, Julian Siber, and Bernd Finkbeiner","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.680773Z"},"links":{"cited_paper":"/paper/2206.01962","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:ed919ed3f65eccbd2e3e62fb2daf5219361c5f49ffffa55cf025f4986866eede","observation_id":"da2fcd1c-032d-46c8-b0d3-7c5ffd20f971","resolution":{"observed_at":"2026-08-15T19:52:51.680773Z","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-15T19:52:51.684229Z","title":"Jones, and Kristin Y","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.684229Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:03bcd72f3652237e1ff73a6427bee37aab783c24218c4216227f312aa1c6c913","observation_id":"edd45313-a9e0-4501-833e-643a3c6cf484","resolution":{"observed_at":"2026-08-15T19:52:51.684229Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11334-007-0024-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:52.276163Z","title":"Ashlee Holbrook, Sravanthi Vadlamudi, and Alain April","venue":null,"work_id":"908a4a47-0d61-449b-a76f-853e0a8c6882","year":2007},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.687771Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:226379e6da544033c1d4155243cc154310d2068c578b42fd8d34fb1a11b7e257","observation_id":"dfe77225-4352-4d59-acd3-cf7930be102b","resolution":{"observed_at":"2026-08-15T19:52:52.280167Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T19:52:51.692317Z","title":"Hierons, Kirill Bogdanov, Jonathan P","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.692317Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:f103948a7ea6f1d2b3958d89a6b2a3d203061bfc6b46a6809040c971cdeb3494","observation_id":"a12e7a92-50e3-421e-b5d1-3d58991167ff","resolution":{"observed_at":"2026-08-15T19:52:51.692317Z","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-15T19:52:51.696180Z","title":"Le, Abhishek Kumar, James R","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.696180Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:3aab075ecade5a1d6f97c8c34bd97c2414c9308f95d5c5a8ebd56545456c0285","observation_id":"b24f6028-5001-47a6-9838-f93fff44a158","resolution":{"observed_at":"2026-08-15T19:52:51.696180Z","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-15T19:52:51.700134Z","title":"Hu, Yelong Shen, Phillip Wallis, Zeyuan Allen-Zhu, Yuanzhi Li, Shean Wang, Lu Wang, and Weizhu Chen","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.700134Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:de1503da4fab87200983f074f6aabfa8423dc78bd94c79cc443ed8f808868e8e","observation_id":"f0e6e853-a3d7-44e1-b275-e44e7a5d5d37","resolution":{"observed_at":"2026-08-15T19:52:51.700134Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.07279","last_updated":"2024-02-13T03:11:38Z","snapshot_observed_at":"2026-08-14T11:52:04.406757Z","submitted_at":"2020-02-17T22:09:02Z","title":"Formal Methods: From Academia to Industrial Practice. A Travel Guide","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.07279","snapshot_observed_at":"2026-08-15T19:52:51.703805Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.703805Z"},"links":{"cited_paper":"/paper/2002.07279","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:343587750d762d8096f7b9b64c892929844b7c93d0fe4d8ba623cad53da40ec9","observation_id":"8d315a9f-82b4-4760-a338-3b70e627a4c4","resolution":{"observed_at":"2026-08-15T19:52:51.703805Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-24622-0_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":null,"venue":"Lecture notes in computer science","work_id":"11364990-1d47-47a6-9312-86fbaa2500c7","year":2004},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.707417Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:125989102a1d519153552bfd2f8215c3f5dcca575aa46ecc87657ce7b6423a86","observation_id":"08b6ae95-5f30-4763-b309-a1cd31fe294e","resolution":{"observed_at":"2026-08-15T19:52:52.269726Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2011.60589","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:53.442397Z","title":null,"venue":null,"work_id":"d49aa8c5-2188-4783-97d9-e4428f66ce85","year":2011},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.710829Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:3dcfc638656bd66308e7a954bc268b72551cdd5095ee5f6bf506736505435ae1","observation_id":"78888ad7-0240-4e3f-90d0-e5e45904db11","resolution":{"observed_at":"2026-08-15T19:52:53.447021Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T19:52:51.714593Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.714593Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:c9b918dc0380afa683a2b5ea5659b0a56810f7fa60fc78bf6994389129b512c2","observation_id":"31e048ce-f1d7-41fe-9504-23a3cff344f7","resolution":{"observed_at":"2026-08-15T19:52:51.714593Z","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-15T19:52:51.719011Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.719011Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:7684a37d813143c0ba087901ae8fa59962a4ade79e847838b48edbec9f54c48c","observation_id":"b9995f65-b726-4b52-bd95-d2ba14ed2b8f","resolution":{"observed_at":"2026-08-15T19:52:51.719011Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-46029-2_13","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"Kwiatkowska, Gethin Norman, and David Parker","venue":"Lecture notes in computer science","work_id":"70c53bc2-c629-4829-8b0c-5efa5266e86f","year":2002},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.723849Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:37f63cc5e7e04fe54849a0399f5c802f626bc2609d6028a68184ab2b8bcc1c65","observation_id":"d5f9877f-774d-44bc-a982-75cb28d3bb13","resolution":{"observed_at":"2026-08-15T19:52:52.259409Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T19:52:51.727798Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.727798Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:49be89c6cad66fc12cc6c4c79b69a51cc0da760f2e7eae2814ec9189853f3832","observation_id":"c5f22674-fa73-4579-bb1f-e2b277b70db7","resolution":{"observed_at":"2026-08-15T19:52:51.727798Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:51.731766Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.731766Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:83aa6f0a6d2fae819ecd274c108fc9f6da409fd35f08644caefafa1e1008f282","observation_id":"77213c9d-93ba-40d0-b896-679d8d20477e","resolution":{"observed_at":"2026-08-15T19:52:51.731766Z","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-15T19:52:51.735660Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.735660Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:e6fd140a756bb18faed2ef058f0395a88b6e3acb2b2d477ecb52d49395914512","observation_id":"019fbf86-ed0f-41cf-92b1-8a46ad4487e8","resolution":{"observed_at":"2026-08-15T19:52:51.735660Z","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-15T19:52:51.739231Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.739231Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:c482cb38c74efb255e82a238be22df97bc00b0bcdce6490f33205b8e6faa2e66","observation_id":"5fe6654f-976b-4c01-a795-e0ffacd4d059","resolution":{"observed_at":"2026-08-15T19:52:51.739231Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.13266","last_updated":"2024-01-24T07:13:03Z","snapshot_observed_at":"2026-08-16T14:24:58.833724Z","submitted_at":"2024-01-24T07:13:03Z","title":"SpecLLM: Exploring Generation and Review of VLSI Design Specification with Large Language Model","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.13266","snapshot_observed_at":"2026-08-15T19:52:51.742812Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.742812Z"},"links":{"cited_paper":"/paper/2401.13266","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:3457b6c4c9ffe47b25892d0560272d09ebbf3331d65a7b128d2643bafb2a6c81","observation_id":"724d2dab-d82d-4197-a654-aba988c48124","resolution":{"observed_at":"2026-08-15T19:52:51.742812Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.10302","last_updated":"2024-06-03T13:46:16Z","snapshot_observed_at":"2026-08-16T17:04:49.810665Z","submitted_at":"2023-12-16T03:33:12Z","title":"One-Shot Learning as Instruction Data Prospector for Large Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.10302","snapshot_observed_at":"2026-08-15T19:52:51.746516Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.746516Z"},"links":{"cited_paper":"/paper/2312.10302","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:74624ff5b5ccc60ea4d790fe14966f11d33576783e28d74791a1de14a1fa0b3a","observation_id":"968ed85c-f974-41df-9c81-84a8a18e776e","resolution":{"observed_at":"2026-08-15T19:52:51.746516Z","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-15T19:52:51.750041Z","title":"Dennis, Clare Dixon, and Michael Fisher","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.750041Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:2d98e9250b9769e3fdfef93a3c4710f4793a3d640cc49a532d7faf397897ad22","observation_id":"5d549a7e-0be3-4e50-87c0-90ac6f841d22","resolution":{"observed_at":"2026-08-15T19:52:51.750041Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-18T13:28:07.011952Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-15T19:52:51.754532Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.754532Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:41c293848d4d810915eb2d0e7507843e42bdfb3d59225a76efa4f8f495a4a057","observation_id":"0ab178d2-00e1-4913-a298-edc33ef6acc2","resolution":{"observed_at":"2026-08-15T19:52:51.754532Z","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-15T19:52:51.758051Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.758051Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:c32dd7e131668a2729a6cc6913b12d40156a931f723c607e95b5113c8986c14b","observation_id":"1fb869b6-f49a-4163-8611-2aaffe2d91fc","resolution":{"observed_at":"2026-08-15T19:52:51.758051Z","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-15T19:52:51.761236Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.761236Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:6e230c7f50977f5768bc892f243c50e43db2ef7ba12a612950be9ec55c3e7087","observation_id":"72886547-6523-4425-ad65-824f9f5ca625","resolution":{"observed_at":"2026-08-15T19:52:51.761236Z","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-15T19:52:51.768239Z","title":"Lopes, Iris Ma, and James Noble","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.768239Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:bfbf189b6b7f8b58d6365458490576c0767b50fa06b4cf459acb97cf5c7a82c4","observation_id":"5ddd859a-c237-4fdf-a85a-256d56f02909","resolution":{"observed_at":"2026-08-15T19:52:51.768239Z","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-08-18T10:50:02.967480Z","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-15T19:52:51.771399Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.771399Z"},"links":{"cited_paper":"/paper/2405.16792","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:b7296e2b374063383f744f8ea91524f90366767b0f1c5e856cd71e9416226f79","observation_id":"86b06909-ac8a-47f9-b79e-ead1ad000b38","resolution":{"observed_at":"2026-08-15T19:52:51.771399Z","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-15T19:52:51.775445Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.775445Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:6773d0b44fc569832ec0e5cefd1bee2b942cca4f7a913aa5b47b86222fbe0372","observation_id":"59dc7396-ecd2-4481-9900-e753f0612cde","resolution":{"observed_at":"2026-08-15T19:52:51.775445Z","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-15T19:52:51.779280Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.779280Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:9d8751ad60f0b1a6c5b239e6daa6146c24b37751b223dd8e42446b9f14cb9ec3","observation_id":"2f164fa7-443a-405f-98d7-10231a1f8291","resolution":{"observed_at":"2026-08-15T19:52:51.779280Z","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-15T19:52:51.783378Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.783378Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:4817361180d24a41220bda336789b407ff01243c3f5e2db1a165d1a766911b9d","observation_id":"d829ab92-e7ac-4048-8826-fe93970ca7d5","resolution":{"observed_at":"2026-08-15T19:52:51.783378Z","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-15T19:52:51.786743Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.786743Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:5a9f3850713f46a40da5b1afb8d18da5a84f9579c9aa04eeffbf4ea424d7cb90","observation_id":"ff5883e7-0fa3-42a5-9b00-f70ffe48585f","resolution":{"observed_at":"2026-08-15T19:52:51.786743Z","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-15T19:52:51.790370Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.790370Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:5ef8cc6f2c4b261997d69afe1d202c92416736f95c44928dff711c709fb72f2e","observation_id":"015bb2a4-e3b6-4c7d-9467-b1f90545378e","resolution":{"observed_at":"2026-08-15T19:52:51.790370Z","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-15T19:52:51.794204Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.794204Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:f1fdb712b66793b1e339ded030dc9fe375922372cfd0b0d1eae961a4f8f21120","observation_id":"a7a8f8bd-ca36-46f3-8e0a-abcda7092c5e","resolution":{"observed_at":"2026-08-15T19:52:51.794204Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:51.798411Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.798411Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:ae0a1e5e5e8baedee7b00152f35e642cec298e88374168b04edb9485bc181cae","observation_id":"fe6d22c9-43e2-44ba-b954-d15766c3976f","resolution":{"observed_at":"2026-08-15T19:52:51.798411Z","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-15T19:52:51.801805Z","title":"Osborne and C.K","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.801805Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:23f096c782ff8fde6e27069e5b412f35ab93c87b1dedf940a046d4388ca2808d","observation_id":"2ea2e9bf-8bc1-4dcc-8365-ef5ae0f7221f","resolution":{"observed_at":"2026-08-15T19:52:51.801805Z","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":"2011.0251","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:53.013600Z","title":null,"venue":null,"work_id":"8e2e8f3c-39dc-4448-bc88-017a0805e2f6","year":2011},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.805105Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:239775e2393a570a71ec8ec047836a58ba70131b2edd2a3d1332a3858736a0a9","observation_id":"d9543964-8db1-46ea-b004-0f3d1dfc5ad6","resolution":{"observed_at":"2026-08-15T19:52:53.019069Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1996.49144","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:52.952394Z","title":"Pinheiro and J.A","venue":null,"work_id":"5f84c198-385e-4f1c-997c-d30b968b8479","year":1996},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.808274Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:5ad9b646c36c866e2604c256c45176449d4bcc9556a7c48946dc721b00e82ded","observation_id":"3b486fa1-dac6-468f-9b29-de213b51ea6c","resolution":{"observed_at":"2026-08-15T19:52:52.958575Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T19:52:51.811802Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.811802Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:0b790f627944982c98005e508537999f5dbf036f234404143ce3245b63de21fe","observation_id":"7a830b8f-88d5-4634-bb33-e82437f11708","resolution":{"observed_at":"2026-08-15T19:52:51.811802Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.01379","last_updated":"2024-10-11T11:54:35Z","snapshot_observed_at":"2026-08-16T21:20:28.325382Z","submitted_at":"2024-05-02T15:20:01Z","title":"Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.01379","snapshot_observed_at":"2026-08-15T19:52:51.814950Z","title":"Dennis, and André Freitas","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.814950Z"},"links":{"cited_paper":"/paper/2405.01379","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:36a6210ff9bd33572233dfbeb4bc1afe088a8142e1558e06aba11165a9efeb1c","observation_id":"4ba0b57d-c136-4ae4-913e-b2c0daffa234","resolution":{"observed_at":"2026-08-15T19:52:51.814950Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.11582","last_updated":"2024-11-18T13:59:29Z","snapshot_observed_at":"2026-08-18T11:03:38.763011Z","submitted_at":"2024-11-18T13:59:29Z","title":"Exploring LLMs for Verifying Technical System Specifications Against Requirements","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.11582","snapshot_observed_at":"2026-08-15T19:52:51.818366Z","title":"Reinpold, Marvin Schieseck, Lukas P","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.818366Z"},"links":{"cited_paper":"/paper/2411.11582","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:e08b30a69eb08f512bfbe58c3291c16fce2fb2f61f08cb99524e9641c40f1f78","observation_id":"922638d4-9daa-4515-aeed-8da1f7a6bd17","resolution":{"observed_at":"2026-08-15T19:52:51.818366Z","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-15T19:52:51.822260Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.822260Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:33401a4e3990beabf5c12f04c867dbcd817af1d723f201052dd9418dcc51a97b","observation_id":"dd117b61-dde9-4bed-b4f1-00fd985562a9","resolution":{"observed_at":"2026-08-15T19:52:51.822260Z","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":"2006.20523","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:52.730801Z","title":null,"venue":null,"work_id":"0d19849b-c924-4ae7-a860-799735e72c6e","year":2006},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.825393Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:04035c4116235d0e77bcaf48a1338be3e412bd4678a04b12eb8c2ed67bff0b6d","observation_id":"072f9ab7-0164-4371-a76d-555be262bed0","resolution":{"observed_at":"2026-08-15T19:52:52.737383Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2010.01050","last_updated":"2020-10-02T15:29:32Z","snapshot_observed_at":"2026-08-03T00:43:32.894095Z","submitted_at":"2020-10-02T15:29:32Z","title":"Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2010.01050","snapshot_observed_at":"2026-08-15T19:52:51.828623Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.828623Z"},"links":{"cited_paper":"/paper/2010.01050","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:9e8c638d993a4f5ab9708d1c65f4a9f81cc6101d03d1ba113be62019c7d4fad1","observation_id":"e5edc8be-a5de-4e3f-95d7-695355a9cd72","resolution":{"observed_at":"2026-08-15T19:52:51.828623Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/rsp.2008.14","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:52.217499Z","title":null,"venue":null,"work_id":"8a7b6f48-e95b-4446-a8ec-69a3eee8555d","year":2008},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.831839Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:421455800fff1d6e6305b4c2290e3248c88981832c77e75afdf3a4a2edfeb8bf","observation_id":"75fa39a1-8911-4535-8021-000c860e4a2a","resolution":{"observed_at":"2026-08-15T19:52:52.220847Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T19:52:51.835302Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.835302Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:71cc2a2d3b7fcae7e8dac17ee9c5112636631e0d8c20d4e48e976e87dd92d750","observation_id":"507184b0-f659-43e2-b9ba-253a0054636f","resolution":{"observed_at":"2026-08-15T19:52:51.835302Z","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-15T19:52:51.839259Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.839259Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:d476375bc96c3c3aec2d80cad04dc58621d949d9c0bb7cfc2824e028e3a241a7","observation_id":"99cd410f-4901-4718-af4a-ac7deb247eba","resolution":{"observed_at":"2026-08-15T19:52:51.839259Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14752","last_updated":"2024-06-27T18:40:19Z","snapshot_observed_at":"2026-08-16T15:30:21.004318Z","submitted_at":"2023-05-24T05:54:10Z","title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.14752","snapshot_observed_at":"2026-08-15T19:52:51.842550Z","title":"Cordeiro","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.842550Z"},"links":{"cited_paper":"/paper/2305.14752","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:66865e7da61736ed69fb57f4ba7250a93692fc35da9b485c4c4de834ffacc281","observation_id":"4ca6c3ee-c3d0-4c5b-ac01-b489d75faae5","resolution":{"observed_at":"2026-08-15T19:52:51.842550Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1142/s021819401250009x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:52.201477Z","title":null,"venue":null,"work_id":"7ff7a288-8e73-4d54-b726-6db63eef1d60","year":2012},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.846317Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:16a2047e779d2af439faf996ba89890ab112957825e3e2ad076c73e0f0c53354","observation_id":"6e538822-a0aa-45d3-80eb-01b88cb5e440","resolution":{"observed_at":"2026-08-15T19:52:52.204681Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T19:52:51.849969Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.849969Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:0305d422ac77e1d4649fd7f7568c0136e31ca0c9cdc1100e13a4c2130e3bfdf1","observation_id":"d6c4a14f-60b5-42cc-9b49-29e90151c182","resolution":{"observed_at":"2026-08-15T19:52:51.849969Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1142/s0218194020500278","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:52.183488Z","title":null,"venue":null,"work_id":"f074f021-714f-46f2-bd2a-d0f4c9abaa2b","year":2020},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.853366Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:ca56ff11f3444ebf40697d61a4bbe61834563b777a097da47511d9c7107ce17a","observation_id":"f263d1db-a597-4ffc-8f77-6a4c925e5f30","resolution":{"observed_at":"2026-08-15T19:52:52.189035Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-15T19:52:51.857471Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.857471Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:a3935ccf2caec2cd38194cefe15a05d4ba035ef7b462639eba784d233de8e2e8","observation_id":"d691ee88-d509-480f-801f-de82f6dc74de","resolution":{"observed_at":"2026-08-15T19:52:51.857471Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.11382","last_updated":"2023-02-21T12:42:44Z","snapshot_observed_at":"2026-07-06T14:54:37.559648Z","submitted_at":"2023-02-21T12:42:44Z","title":"A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.11382","snapshot_observed_at":"2026-08-15T19:52:51.860658Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.860658Z"},"links":{"cited_paper":"/paper/2302.11382","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:44b33bfebb2518254b155dbcd1fd95d9dd07354d74895511fcdb8f21505b840f","observation_id":"295f5820-bd16-4d72-b161-82b8421cdea5","resolution":{"observed_at":"2026-08-15T19:52:51.860658Z","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-15T19:52:51.864272Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.864272Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:f0f74383d93f0f2b698dd3915726c5db563c8c5179ef8e844d12be2d4c73e54d","observation_id":"20c574c1-704f-48e1-9aaa-71ad888bebdc","resolution":{"observed_at":"2026-08-15T19:52:51.864272Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:52:51.867975Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.867975Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:14d6213a57b3b5a0dba875ae8a63205b7b3c10222438c9a709f0866aa0e58c75","observation_id":"7eb756fe-0f72-494a-afd8-40f41bb8a91f","resolution":{"observed_at":"2026-08-15T19:52:51.867975Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-08-16T14:54:13.331008Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-08-15T19:52:51.871680Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.871680Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:ddb15296ab30a578202492f29301a0683980da9cbcffc0ad7bba5197cd95190b","observation_id":"208b0139-c76b-4257-92a5-b1b0818042d8","resolution":{"observed_at":"2026-08-15T19:52:51.871680Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.09993","last_updated":"2024-05-23T21:23:12Z","snapshot_observed_at":"2026-08-18T07:26:03.270318Z","submitted_at":"2023-05-17T06:35:43Z","title":"Reprompting: Automated Chain-of-Thought Prompt Inference Through Gibbs Sampling","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.09993","snapshot_observed_at":"2026-08-15T19:52:51.875140Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.875140Z"},"links":{"cited_paper":"/paper/2305.09993","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:4be72071ff90d96a48860ddaaa713ff2f9e7d8b915f711ccb9468f4ee2cef746","observation_id":"ce7ca304-36f9-49bb-aef3-98fa27059b19","resolution":{"observed_at":"2026-08-15T19:52:51.875140Z","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-15T19:52:51.879273Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.879273Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:bc0cf2c30d533963ea39db46f9cc309dbc3b9cfe8a54926a12a93f061287e201","observation_id":"457575f0-0b51-4bb6-9718-ab663f1be4ab","resolution":{"observed_at":"2026-08-15T19:52:51.879273Z","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-15T19:52:51.882536Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.882536Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:0d15f801a6fcfc30e1034500d06303e0a5049ae357df0b007d67940bb49cd541","observation_id":"9becc1ec-7cea-41ad-a136-bebe612211e3","resolution":{"observed_at":"2026-08-15T19:52:51.882536Z","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-15T19:52:51.885824Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.885824Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:272f50b44c4eab8f29da6860eb969cb500c6e99fd9a44635ed53dcd70a631ef4","observation_id":"177d8398-fbae-4a00-a105-3e68a59f7499","resolution":{"observed_at":"2026-08-15T19:52:51.885824Z","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-15T19:52:51.889188Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.889188Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:975d6025d2c7b166614d82f983107b60cc36b835f4a184fa954eb4e8839cfc8a","observation_id":"3fe80e2a-d415-4946-92a4-7b151b870724","resolution":{"observed_at":"2026-08-15T19:52:51.889188Z","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-15T19:52:51.892651Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.892651Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:a77e0f96368e3bcd54b606cdae9272c0ae80ff035f2456a7f735471f5fa26d82","observation_id":"0979e965-47a3-4207-aaa4-0fb41d4aa698","resolution":{"observed_at":"2026-08-15T19:52:51.892651Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.05035","last_updated":"2023-10-10T15:03:35Z","snapshot_observed_at":"2026-08-18T09:03:43.105596Z","submitted_at":"2023-10-08T06:36:26Z","title":"Self-Convinced Prompting: Few-Shot Question Answering with Repeated Introspection","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.05035","snapshot_observed_at":"2026-08-15T19:52:51.896229Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.896229Z"},"links":{"cited_paper":"/paper/2310.05035","citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:ddf9a9f6bfae9e890848aac91529451b148510707f8ffc0e19b7622ff8d6351a","observation_id":"cf11214a-7b4e-4701-8128-866118b98fa0","resolution":{"observed_at":"2026-08-15T19:52:51.896229Z","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-15T19:52:51.899701Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.899701Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:ff796611bac9ff633afc252c59e991dbd9dda2e7f36fd4ca8bb9e0273fdad8e4","observation_id":"beb39dca-4ad3-448d-b3d2-80273e14ad84","resolution":{"observed_at":"2026-08-15T19:52:51.899701Z","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-15T19:52:51.902926Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.902926Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:731da905befcc321e5ab8747a1a76b0493bc75e155d89ed40595b7beca90cbed","observation_id":"3947c9bd-9143-4f87-94d7-e47f20cca1c4","resolution":{"observed_at":"2026-08-15T19:52:51.902926Z","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-15T19:52:51.906370Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.906370Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:448bc2efbb00764ae5ad8843e9d6817803a33d8f9f543c7de60b641d7c155378","observation_id":"af5e91e8-0743-42ae-bf94-9e14021e5649","resolution":{"observed_at":"2026-08-15T19:52:51.906370Z","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-15T19:52:51.909845Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models","version":2},"reference_index":102,"source":"pdf_text","source_observed_at":"2026-08-15T19:52:51.909845Z"},"links":{"citing_paper":"/paper/2506.14627"},"observation_digest":"sha256:5f451f5227accc3c683d73a4e309ae10f02a14734aa09bedc10e69ba3159582a","observation_id":"3075e6d2-79ee-4dba-941e-bf4b9bdc5c67","resolution":{"observed_at":"2026-08-15T19:52:51.909845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.14627","last_updated":"2025-06-23T15:52:25Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-15T22:26:37.511731Z","submitted_at":"2025-06-17T15:23:56Z","title":"Working Document -- Formalising Software Requirements with Large Language Models"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":3,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":80,"verified_exact":14,"verified_fuzzy":0},"total_outbound_references":168},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 100 of 168 outbound references and 0 inbound Pith citation observations for arXiv:2506.14627."}