{"as_of":"2026-08-14T15:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c5cf49a8ae15383ab27c8ce34e7d2889d6616b5d88b803d800f5ed715c88251b","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-14T06:32:32.682623+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-14T11:51:24.672787Z","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-14T11:53:03.115619Z","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:515e997aa25d9729b90356ad61849f6c4e6d0f060821244c7cced2d704313f48","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-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-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-14T11:51:24.672787Z","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:2a4ee72d95b35d29084a8debec1462c26f670797e24f223408b788a6beaf901a","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-08-12T23:57:32.075060Z","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-14T11:51:24.672787Z","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:fba0466abf9023bc0b268975a29017617dbd0725e4eca5a3e99817304886d6c6","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-13T12:28:50.397528Z","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-14T11:51:24.672787Z","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:fcecb8f3eca780f99db23d9d32cde3e9cb0850145aa5c44901b7ce4a41973e11","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-14T11:51:24.672787Z","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:58738924c5b565c61e0be71983c8253d5e5ce61a5751b15aa339387123339197","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-14T11:51:26.034451Z","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-14T11:51:24.672787Z","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:0f1c6f7282ef8233e34bee91817e605ca718faae2cf3aaf3b555435d5af4170a","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-14T11:51:24.672787Z","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:e517fdf6d9bfe2fb3e7cb88bb1e1148114487b3644b7ae9513b70f6c69d1c543","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-13T00:16:47.633700Z","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-14T11:51:24.672787Z","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:6fcd56a27da388f30b58ee1222e2981b357a9cb5e76705d7307361ba95f21ab7","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-14T11:51:24.672787Z","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:75340ee439c959b4584114c658fa59b3bb58bb52e11be8f5a78249d408923e06","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-13T04:41:42.869760Z","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-14T11:51:24.672787Z","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:d693532b11fdbe6e5f0fa5af6f1c55788ff9df5d37a1790e6e632583a103375a","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-14T11:51:24.672787Z","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:b8b7cbd25d6ecdf0eb42e21bc158ae1e6e08ec6ca362639c1e1c7c9e0fc24ad0","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T11:51:24.672787Z","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:fc033506fc0a713a97af2fdc4b46486b155e47d746176ed80457031bbb479cb6","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-14T11:51:24.672787Z","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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 1 inbound Pith citation observation for arXiv:2506.10704."}