{"as_of":"2026-08-07T18:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3ab475517aa8ead9104063a26b875fa2eab9e0d50b6c82d7bf3a0d29e319c5d6","coverage":[{"denominator":11,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":11,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T04:22:32.630358Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T16:13:48.736297Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T16:13:58.268095Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-07T04:17:35.474642Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"cited_work":{"arxiv_id":"2506.10704","doi":null,"metadata_source":"pith","pith_arxiv_id":"2506.10704","snapshot_observed_at":"2026-08-06T16:13:58.268095Z","title":"Formalising Software Requirements using Large Language Models","venue":"cs.SE","work_id":"3f1bcaf1-4171-4d26-951a-e0ead1d98aec","year":2025},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:48.736297Z"},"links":{"cited_paper":"/paper/2506.10704","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:1e074e02cc0ced2ba25482b10ff0aa8f6172f9e40f377fc384cf4c643ede29e7","observation_id":"1021c496-6221-4fe1-9807-6bb428775e7a","resolution":{"observed_at":"2026-08-06T16:13:58.359366Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2506.10704/citation-record","integrity":"/paper/2506.10704/integrity","json":"/paper/2506.10704/citation-record.json","paper":"/paper/2506.10704"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2002.07279","last_updated":"2024-02-13T03:11:38Z","snapshot_observed_at":"2026-08-05T12:54:50.031252Z","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-07T04:22:32.601501Z","title":"Formal methods: From academia to industrial practice. a travel guide,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-07T04:17:35.474642Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T04:22:32.601501Z"},"links":{"cited_paper":"/paper/2002.07279","citing_paper":"/paper/2506.10704"},"observation_digest":"sha256:4cf2d10a656e8a840980fa327aac6f95cff7f34341eba443ebbb8be72507c732","observation_id":"b3dc30bc-d134-46d8-91d7-28de243f2600","resolution":{"observed_at":"2026-08-07T04:22:32.601501Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.16792","last_updated":"2025-03-03T22:24:37Z","snapshot_observed_at":"2026-07-06T18:20:18.770090Z","submitted_at":"2024-05-27T03:26:01Z","title":"Laurel: Unblocking Automated Verification with Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.16792","snapshot_observed_at":"2026-08-07T04:22:32.604934Z","title":"Laurel: Generating dafny assertions using large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-07T04:17:35.474642Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T04:22:32.604934Z"},"links":{"cited_paper":"/paper/2405.16792","citing_paper":"/paper/2506.10704"},"observation_digest":"sha256:b99c91500bbd80803e881dc6c2a29835e510a85a4a132cc0065bf41070929d7b","observation_id":"7bf44895-3b0d-4250-975b-1e302e32237b","resolution":{"observed_at":"2026-08-07T04:22:32.604934Z","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-04T08:33:42.202372Z","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-07T04:22:32.607805Z","title":"nl2spec: Interactively translating unstructured natural language to temporal logics with large language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-07T04:17:35.474642Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T04:22:32.607805Z"},"links":{"cited_paper":"/paper/2303.04864","citing_paper":"/paper/2506.10704"},"observation_digest":"sha256:3d53b27acf90675f5b8cb8b64466670213d7deabedaa12355900eea1f9e79e54","observation_id":"11a8c03f-20db-4e63-b86c-f826c4672dfd","resolution":{"observed_at":"2026-08-07T04:22:32.607805Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:22:32.733929Z","title":"As- sertllm: Generating hardware verification assertions from design specifications via multi-llms,","venue":null,"work_id":"78288816-5c3b-4684-a967-75f4482663f5","year":2024},"citing_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-07T04:17:35.474642Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T04:22:32.610614Z"},"links":{"citing_paper":"/paper/2506.10704"},"observation_digest":"sha256:95f16b26c693b3a8952937ff206f3d578dc0748a39a05e023d1d6a12ee53b808","observation_id":"ab38d9f4-925c-481a-902a-e0f8be4654d7","resolution":{"observed_at":"2026-08-07T04:22:32.736684Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.13266","last_updated":"2024-01-24T07:13:03Z","snapshot_observed_at":"2026-07-06T17:19:44.130417Z","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-07T04:22:32.613138Z","title":"Specllm: Exploring generation and review of vlsi design specification with large language model,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-07T04:17:35.474642Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T04:22:32.613138Z"},"links":{"cited_paper":"/paper/2401.13266","citing_paper":"/paper/2506.10704"},"observation_digest":"sha256:3bbf07702cb16066556d656bd11b506246c0ed345ee0e4e34f469debee4800d4","observation_id":"f3518713-0b75-41d6-beb7-44d8462a8943","resolution":{"observed_at":"2026-08-07T04:22:32.613138Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:22:32.725778Z","title":"Translating natural language require- ments to formal specifications: A study on gpt and symbolic nlp,","venue":null,"work_id":"266e64d8-7e39-4ced-8ccf-bfe1853815ee","year":2023},"citing_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-07T04:17:35.474642Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T04:22:32.616198Z"},"links":{"citing_paper":"/paper/2506.10704"},"observation_digest":"sha256:1c10e36bf9a63115debaee4922f50f6a5eae6ca0ef854350f0df9b045fc781ef","observation_id":"35e304c5-5bcf-432a-b3f0-b21d7524fe3c","resolution":{"observed_at":"2026-08-07T04:22:32.728502Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.01379","last_updated":"2024-10-11T11:54:35Z","snapshot_observed_at":"2026-07-06T18:08:52.053005Z","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-07T04:22:32.618962Z","title":"Verification and refinement of natural language explanations through llm-symbolic theorem proving,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-07T04:17:35.474642Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T04:22:32.618962Z"},"links":{"cited_paper":"/paper/2405.01379","citing_paper":"/paper/2506.10704"},"observation_digest":"sha256:574af75e393faa634dbe27797d110b51ea30d773b0688d5444b0959f8aa32f6c","observation_id":"0677d04a-6515-4019-b1cc-8f396a307ee0","resolution":{"observed_at":"2026-08-07T04:22:32.618962Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:22:32.717549Z","title":"Specify what? en- hancing neural specification synthesis by symbolic methods,","venue":null,"work_id":"6340cf10-2d95-40a4-b783-feab2f17a313","year":2025},"citing_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-07T04:17:35.474642Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T04:22:32.621678Z"},"links":{"citing_paper":"/paper/2506.10704"},"observation_digest":"sha256:b983f5f6fffd92558d60e6d97ae7a42e7c1ed17fba4d7ee5cea2015b32e1ba21","observation_id":"5ac3f3bb-201a-419d-ac41-5f173079c44c","resolution":{"observed_at":"2026-08-07T04:22:32.720187Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-07-06T17:16:29.558742Z","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-07T04:22:32.624317Z","title":"Specgen: Automated generation of formal program specifications via large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-07T04:17:35.474642Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T04:22:32.624317Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2506.10704"},"observation_digest":"sha256:17be0d0df924307ea6b4c1102f9bc9162695c854b0f71e2a4239e5a6ef3f6dd3","observation_id":"416b6292-8448-485d-8969-f3a852f37890","resolution":{"observed_at":"2026-08-07T04:22:32.624317Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:22:32.706748Z","title":"Supporting pro- cess model validation through natural language generation,","venue":null,"work_id":"38931043-a680-4275-971f-faba1c696e65","year":2014},"citing_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-07T04:17:35.474642Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T04:22:32.627444Z"},"links":{"citing_paper":"/paper/2506.10704"},"observation_digest":"sha256:b9fac975a32f63bc33c0ce34a9b2c6751ad858fb78dc43a1cc3823a10f4f4dde","observation_id":"d3bc5ca0-6b70-488b-a3c9-9d131f7ef262","resolution":{"observed_at":"2026-08-07T04:22:32.711785Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T04:22:32.630358Z","title":"Bis: Nl2sql service evaluation benchmark for business intelligence scenarios,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-07T04:17:35.474642Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T04:22:32.630358Z"},"links":{"citing_paper":"/paper/2506.10704"},"observation_digest":"sha256:bf314b2c2170baa7a21a331d62666594f45970fc9ca0f7b8d7b8143d07e1361a","observation_id":"4602415f-5276-4f6b-80e5-fcf526f9d2bf","resolution":{"observed_at":"2026-08-07T04:22:32.630358Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T04:17:35.474642Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models"},"reference_resolution":{"displayed":11,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":0,"verified_fuzzy":4},"total_outbound_references":11},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 1 inbound Pith citation observation for arXiv:2506.10704."}