{"as_of":"2026-08-09T23:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3c79df2d1df28f7ff94e837257969f3fb28738e7a075c1b54c38b8d55e042c1b","coverage":[{"denominator":190,"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-07T01:07:27.525170Z","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-09T06:31:02.800959+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.11874/citation-record","integrity":"/paper/2506.11874/integrity","json":"/paper/2506.11874/citation-record.json","paper":"/paper/2506.11874"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2401.14423","last_updated":"2024-05-05T00:54:26Z","snapshot_observed_at":"2026-08-08T12:36:30.073772Z","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-07T01:07:22.850646Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:22.850646Z"},"links":{"cited_paper":"/paper/2401.14423","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:f732c2400b069e3e35eadb9be0187a05747caeb1e233ed829a841458195f6259","observation_id":"1e8f3f06-e12f-41a1-a718-baf3db245fc4","resolution":{"observed_at":"2026-08-07T01:07:22.850646Z","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-07-06T16:36:31.511959Z","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-07T01:07:22.899205Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:22.899205Z"},"links":{"cited_paper":"/paper/2310.13976","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:f0bd7c61a05f70fb0624fc06217e52fbd3d036081dea8a18d06c1d2f6afb349f","observation_id":"a5401d19-7786-402c-89f2-fa10a70d2878","resolution":{"observed_at":"2026-08-07T01:07:22.899205Z","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-07T01:07:22.963591Z","title":"In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:22.963591Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:2624f364e3c1ae9febfbe616e28b7c08b468efeddf2563ed7d9d9ec8f0846e23","observation_id":"fff1a5d9-d7ac-41ab-bb9a-309ee605c407","resolution":{"observed_at":"2026-08-07T01:07:22.963591Z","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-07T01:07:23.035090Z","title":"In: Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software - Volume 55","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.035090Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:66845fe068b0fb2a242587a3527fb9f8ce96ff743d1bc132b65ddb37e92c50b3","observation_id":"bc37d67b-fffd-40d2-8389-ad5720c86d1e","resolution":{"observed_at":"2026-08-07T01:07:23.035090Z","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-07T01:07:23.083160Z","title":"CoRRabs/2401.14295 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.083160Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:cf7ef78953ec78451d0b0137c5c1193fb8f8df6df8b3fc44d716261691f66d2f","observation_id":"daa0609a-f463-4721-9285-a141e2d0ca19","resolution":{"observed_at":"2026-08-07T01:07:23.083160Z","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":"0336.20703","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T01:07:32.506468Z","title":"Ada Lett.31(3), 5–6 (Nov 2011)","venue":null,"work_id":"48ad062d-4a09-457c-b449-2757444bceca","year":2011},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.137301Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:f54766b8cd4dbaa12f4b45acafcf4293237be430d915bbf0dd0e6a4b950f2897","observation_id":"cf9b70d9-6daa-4cc5-81bc-f46bbbe97c96","resolution":{"observed_at":"2026-08-07T01:07:32.628263Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-981-96-0808-9_27","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"In: Service-Oriented Computing: 22nd Inter- nationalConference,ICSOC2024,Tunis,Tunisia,December3–6,2024,Proceedings,PartII.p.357–372","venue":"Lecture notes in computer science","work_id":"2fee51e4-202f-4084-b4ae-1b4545af36cb","year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.208878Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:a82f81fdb5cb03a26e4908e6ea997635bc3d82f9ff52758e5934592d0a7c429a","observation_id":"b22e8587-da9d-4d0a-a881-f98ffc5e1f68","resolution":{"observed_at":"2026-08-07T01:07:27.933650Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.10144","last_updated":"2025-01-24T15:43:41Z","snapshot_observed_at":"2026-07-06T17:45:07.023305Z","submitted_at":"2024-03-15T09:43:52Z","title":"NLP Verification: Towards a General Methodology for Certifying Robustness","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.10144","snapshot_observed_at":"2026-08-07T01:07:23.276928Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.276928Z"},"links":{"cited_paper":"/paper/2403.10144","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:d8dcefeedd26e43e95390e1c28f6dea6f1a08d6781685ee1b5b2fd1ce96e9907","observation_id":"a0e305d4-2da5-4ffb-bd6b-ba20c24303c8","resolution":{"observed_at":"2026-08-07T01:07:23.276928Z","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-09T07:25:41.267974Z","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-07T01:07:23.342942Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.342942Z"},"links":{"cited_paper":"/paper/2303.04864","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:2f02016b9d04e736b34cc756c5cb06ba81361c4dc08a85fd3ce8417b22c89af7","observation_id":"68970c94-da3b-4532-ab13-60e94936a4b5","resolution":{"observed_at":"2026-08-07T01:07:23.342942Z","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-07T01:07:23.408227Z","title":"In: SoutheastCon 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.408227Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:8319d6cca2e3d5e16b8091f164aed29c7e4c3784d3bdfa44d59bdac0f329504b","observation_id":"a2548367-ebd3-4ddb-9197-ef6a9412628b","resolution":{"observed_at":"2026-08-07T01:07:23.408227Z","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-07T01:07:23.481005Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.481005Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:aac11a06001513069dd34bdf4fe7ff256c956265de53e388515f7feb72f3deb8","observation_id":"9ec6a3e3-2e7d-43ba-be74-3d37b0d47421","resolution":{"observed_at":"2026-08-07T01:07:23.481005Z","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.4230/lipics.snapl.2017.4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T01:07:27.917956Z","title":"In: Lerner, B.S., Bodík, R., Krishnamurthi, S","venue":null,"work_id":"c28f0a24-99ca-4187-bae0-e2af8d2a10ca","year":2017},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.553161Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:bca83e48efb946f9dec1eaeb25846b40c2276d7527922c48298ea1878542eaf6","observation_id":"82206669-08e5-4ec0-8d89-916b7fd415ff","resolution":{"observed_at":"2026-08-07T01:07:27.922100Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.02318","last_updated":"2025-01-03T02:19:03Z","snapshot_observed_at":"2026-07-06T19:45:00.034364Z","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-07T01:07:23.618441Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.618441Z"},"links":{"cited_paper":"/paper/2411.02318","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:1f52a2076a588554c5f0463e60dcada6ac7646fda7f0a1d515f7fdceb10c6f50","observation_id":"244c7038-84e9-418f-ad9e-cee516e2a675","resolution":{"observed_at":"2026-08-07T01:07:23.618441Z","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-07T01:07:23.670776Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.670776Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:415a49d467edd582d50c399e08b72d32245c531c179c88c8a01a3e0d936c1b83","observation_id":"c8e5110d-f656-45b8-af0b-e0690ff60ecc","resolution":{"observed_at":"2026-08-07T01:07:23.670776Z","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-07T01:07:23.735225Z","title":"In: Proceedings of the 39th IEEE/ACM In- ternational Conference on Automated Software Engineering","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.735225Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:53ed3686d659cbcc4cc9d49e4fd8af61eedef4390c6f5bfb5a770b227082f0be","observation_id":"a1e51526-e8b1-4b32-b04f-77e68b52f8ee","resolution":{"observed_at":"2026-08-07T01:07:23.735225Z","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-07T01:07:23.804273Z","title":"32(2), 113–133 (Feb 2002).https://doi.org/10.1002/spe.430, https://doi.org/10.1002/spe.430","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.804273Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:cdbeba3190cdaed2327f562089d8107f12e8724b8175543b855a7457a911ec74","observation_id":"3b29cf05-d570-476d-b041-d1698b2ac139","resolution":{"observed_at":"2026-08-07T01:07:23.804273Z","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-07T01:07:23.871337Z","title":"In: Rayadurgam, S., Tkachuk, O","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.871337Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:39ce7ebdaedf9ec4537eb6a489c5021a047912d0a19b49e20449ff3411e2f6be","observation_id":"551ea11f-46ea-4b74-b84f-e284b2cf1d4c","resolution":{"observed_at":"2026-08-07T01:07:23.871337Z","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-07T01:07:23.933352Z","title":"In: Kosmatov, N., Kovács, L","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.933352Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:06b7caac4e53bce623c4a3697b16cf67a61bc53f6f1f8834d30944420cb30db0","observation_id":"47d661de-d14f-4981-bcbc-de6b7108c6db","resolution":{"observed_at":"2026-08-07T01:07:23.933352Z","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-07T01:07:23.997971Z","title":"In: Margaria, T., Steffen, B","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:23.997971Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:91520cc2ef9daec63161c75d233de3288eed9ceb4051c1c6f04ccae7a6ad7c3b","observation_id":"3d0336f4-553c-4dec-b269-c603e6869c69","resolution":{"observed_at":"2026-08-07T01:07:23.997971Z","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":"pii/0306437","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T01:07:32.093544Z","title":"In- formation Systems 11(1), 9–23 (1986)","venue":null,"work_id":"0cd15d57-c84f-4be1-9729-b4952190d23a","year":1986},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:24.065434Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:3194c1a81e7d3322a7dd57edcfd80a017277130028b78c7678077ab9bb72c0a9","observation_id":"76c63854-afa7-4c70-8c4b-cc797648ce8d","resolution":{"observed_at":"2026-08-07T01:07:32.123274Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.01962","last_updated":"2022-10-19T22:12:58Z","snapshot_observed_at":"2026-07-06T13:17:26.103717Z","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-07T01:07:24.131560Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:24.131560Z"},"links":{"cited_paper":"/paper/2206.01962","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:770fddbc6ae9f434ce9d591dddb21871e7c958932a84e856d35895c8c5db5c59","observation_id":"6887a8b4-04b5-47a9-a062-aca86ce405a8","resolution":{"observed_at":"2026-08-07T01:07:24.131560Z","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-07T01:07:24.172226Z","title":"In: Ku, L., Martins, A., Srikumar, V","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:24.172226Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:d267020d54c9e3736e9861940884a465fab0b68e64a96affe31376fbce9521b9","observation_id":"c81a4b0c-a395-49f9-8e44-b2223cfff26d","resolution":{"observed_at":"2026-08-07T01:07:24.172226Z","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-07T01:07:24.241687Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:24.241687Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:e868392c4f18b6cd34d2e801c81f2d88586ad0f3bd12f55226f47f79ffdd8051","observation_id":"bcda3435-5cae-400d-9d45-2c07121106ec","resolution":{"observed_at":"2026-08-07T01:07:24.241687Z","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-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-07T01:07:24.323286Z","title":"a travel guide (2024), https://arxiv.org/abs/2002.07279","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:24.323286Z"},"links":{"cited_paper":"/paper/2002.07279","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:1c4f4fd514d6a27ca1fe3f3fa1f2c0a97d1379d087e433e5a379c3f89a026140","observation_id":"19950d4a-e456-4e4b-b801-0ab0b13a466f","resolution":{"observed_at":"2026-08-07T01:07:24.323286Z","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-07T01:07:24.473790Z","title":"In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:24.473790Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:fa9d1eb5311c9147b70231073e4e88bb8823bb2ec582b216e97fe73a19156de0","observation_id":"e8a3c967-df15-4189-bb76-f844d78a1036","resolution":{"observed_at":"2026-08-07T01:07:24.473790Z","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-07T01:07:24.560475Z","title":"In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:24.560475Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:5b884390ec3261b9eb9ab005bf2939ed86534ab415a0ba984d14f3130caac175","observation_id":"1755dd0a-947a-46d5-9172-ccaf3096d571","resolution":{"observed_at":"2026-08-07T01:07:24.560475Z","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-07T01:07:24.685731Z","title":"In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Sys- temsandNetworksWorkshops(DSN-W).pp.259–262(2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:24.685731Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:aadb84059446ab89e086baaeb76c462793ec034c4126deb62271388086d4ccce","observation_id":"31f42c1b-dd42-4234-b921-fdba6a87f6d7","resolution":{"observed_at":"2026-08-07T01:07:24.685731Z","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-07T01:07:24.690456Z","title":"IEEE Transactions on Software Engineering 40(8), 818–840 (2014)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:24.690456Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:5b99df0908f7f9ea1a3730d007786c2963c7b52a6902a0855ae5c9b75f63f9f0","observation_id":"2a85f494-d562-47c2-80c1-b03ea70b4d00","resolution":{"observed_at":"2026-08-07T01:07:24.690456Z","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-07T01:07:24.745312Z","title":"In: Larochelle, H., Ranzato, M., Hadsell, R., Balcan, M., Lin, H","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:24.745312Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:55eaa7087b341870143dea5a6f948d221e387676ee96e8c7b553c4107e53a1e3","observation_id":"3b8f01e1-432b-4d3a-b7bb-ccdfd955714b","resolution":{"observed_at":"2026-08-07T01:07:24.745312Z","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-07T01:07:24.853470Z","title":"ACM Trans","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:24.853470Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:936c1534a3634120403d8732769385489616d8dc0c23d831d562b5be19a2ff38","observation_id":"a31addc4-359c-4f8b-a7bb-c4e31dde67fd","resolution":{"observed_at":"2026-08-07T01:07:24.853470Z","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-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-07T01:07:24.956619Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:24.956619Z"},"links":{"cited_paper":"/paper/2401.13266","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:954fbe3272853be0d6f791e3e8b66e776465fa8f0bd50ccf19df9db39dcd775a","observation_id":"c9fa1f2e-44ac-4154-bbe5-1d0e6de4cad4","resolution":{"observed_at":"2026-08-07T01:07:24.956619Z","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-05T20:16:00.044977Z","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-07T01:07:25.061246Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:25.061246Z"},"links":{"cited_paper":"/paper/2312.10302","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:88b17ad1c7c7540ef5c6576fcd7300a1c82d12fc61122324d65a700c4dd365cf","observation_id":"36ced373-3a8b-4c6e-bfdc-8263ea3d4f3f","resolution":{"observed_at":"2026-08-07T01:07:25.061246Z","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-07T01:07:25.140058Z","title":"ACM Comput","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:25.140058Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:98fee6645c8dc20b185f72ae98c396aed0bb5eb6aaca480dc999112d539c923f","observation_id":"539cd32f-605d-46cb-a196-28e122db1293","resolution":{"observed_at":"2026-08-07T01:07:25.140058Z","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-07T23:05:06.668783Z","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-07T01:07:25.212929Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:25.212929Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:969c2afdfa37864657721d9e47e3043a69d405d455dd82a062b2ced77182d0c4","observation_id":"bae98f85-7c8a-42b5-81ef-b6e841694229","resolution":{"observed_at":"2026-08-07T01:07:25.212929Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.09181","last_updated":"2023-04-18T01:22:44Z","snapshot_observed_at":"2026-08-09T21:25:36.579707Z","submitted_at":"2023-04-18T01:22:44Z","title":"Large Language Models Based Automatic Synthesis of Software Specifications","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.09181","snapshot_observed_at":"2026-08-07T01:07:25.295377Z","title":"org/abs/2304.09181","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:25.295377Z"},"links":{"cited_paper":"/paper/2304.09181","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:536cab1a2776ebba1c2a77de46951293db4addc3688cd9afa8d3413b3618cb21","observation_id":"074f1a36-e4d1-4674-a46d-5ab411f02235","resolution":{"observed_at":"2026-08-07T01:07:25.295377Z","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-07T01:07:25.388711Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:25.388711Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:52dc30015889ae08e6e641236380c78cb7ada29bc9a700f7540eeaebeba0a927","observation_id":"054f6fd3-0e68-4c2f-ab0e-9bc5574f9665","resolution":{"observed_at":"2026-08-07T01:07:25.388711Z","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-07T01:07:25.544508Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:25.544508Z"},"links":{"cited_paper":"/paper/2405.16792","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:10fbac62510222f9561325ae54e2224518e356bc393310e737e19a5da109d0af","observation_id":"6220d133-8bee-4e03-95e8-d913d98b8621","resolution":{"observed_at":"2026-08-07T01:07:25.544508Z","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-07T01:07:25.685615Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:25.685615Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:62918950a6bb6cd46fb2a424bec363dab61cdf41f0394f3e110de02b704ec00e","observation_id":"476a14a2-7590-4c70-81da-c27fd5279b62","resolution":{"observed_at":"2026-08-07T01:07:25.685615Z","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-07T01:07:25.806445Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:25.806445Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:3c41eb1cc0e74ce0c06450d19c7ecbf5e561b349b58de4c5bd0f8e2b86dbf6f2","observation_id":"cb23aa29-c67c-476c-b4ea-ba9ceb4f0abe","resolution":{"observed_at":"2026-08-07T01:07:25.806445Z","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.5220/0006817205010512","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T01:07:27.869026Z","title":"In: Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering","venue":null,"work_id":"909e3202-368c-4b27-a093-da8e473755c0","year":2018},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:25.928993Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:9546ea2c12dbaf8c6dec83d9c915d5693ef0d913f59ecf515118b5c204d6199d","observation_id":"b36b6993-4fad-4170-957a-d7649802396d","resolution":{"observed_at":"2026-08-07T01:07:27.874032Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T01:07:26.050900Z","title":"https://doi.org/10.3390/ electronics13112055, https://www.mdpi.com/2079-9292/13/11/2055","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:26.050900Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:aaf51ce18e724a6666c2f34c58a91b7c9883ef5d846eadb9f605dcc65f59271a","observation_id":"e4295363-29e7-4551-951c-5bc37ec3c6c1","resolution":{"observed_at":"2026-08-07T01:07:26.050900Z","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-07T01:07:26.137461Z","title":"In: Alur, R., Henzinger, T.A","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:26.137461Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:4f55af671a0e70a7d3119862734d231c8c3dfdeb898c907da811503ce16a9742","observation_id":"07591043-5e1b-48c8-a1bc-aa67c000ef76","resolution":{"observed_at":"2026-08-07T01:07:26.137461Z","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-07T01:07:26.247305Z","title":"In: 2024 IEEE 32nd International Requirements Engineering Conference (RE)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:26.247305Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:87b787eff731c32b1bc4e649cfc152a2deefe5efe82dfe2163bfa7976a6c898a","observation_id":"29ee510e-667b-4add-bc8b-4283fd5d8c2b","resolution":{"observed_at":"2026-08-07T01:07:26.247305Z","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-07T01:07:26.388006Z","title":"Computer Science and Information Systems10(4), 1499–1524 (2013)","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:26.388006Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:9753ef64b5bf8197352d6680dd74bcd06a1d4b9b8dc1774c894bd1feee40752c","observation_id":"f06689fb-3613-4ddb-b795-a966059bc0de","resolution":{"observed_at":"2026-08-07T01:07:26.388006Z","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":"1996.49145","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T01:07:28.432132Z","title":"In: Pro- ceedings of the Second International Conference on Requirements Engineering","venue":null,"work_id":"3b18d4a6-3cac-4ed8-b9a6-819c620104c0","year":1996},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:26.488623Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:6a22be007b0fdcadcb47a8465fa175b74e71692e4175d6263d467ede0b2a48ad","observation_id":"4bfe5d1f-b935-421a-a7de-1113a0558141","resolution":{"observed_at":"2026-08-07T01:07:28.437796Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T01:07:26.607316Z","title":"In: 6th IET International Conference on System Safety 2011","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:26.607316Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:08ea3ac19daa7121966971814bc0d04fabdc8ca2de3bc4a15a00535239781705","observation_id":"19e81eb3-3170-43ed-a29b-9d514f681a38","resolution":{"observed_at":"2026-08-07T01:07:26.607316Z","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-07T01:07:26.730912Z","title":"In: Proceedings of the 21st International Conference on Mining Software Repositories","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:26.730912Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:7f7bf64a68205c140165fad6ad6367a76dfeb99b4e340dffea05ce4f5da52390","observation_id":"65c712a2-5246-4b5f-aeec-386756ad340e","resolution":{"observed_at":"2026-08-07T01:07:26.730912Z","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-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-07T01:07:26.821274Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:26.821274Z"},"links":{"cited_paper":"/paper/2405.01379","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:a4d3d833d14e2b961ea0c528c5c3651e749a9a3895b2dc1ac906ed15939e5001","observation_id":"01cb34fd-2da7-469e-a76b-04fd576f38ff","resolution":{"observed_at":"2026-08-07T01:07:26.821274Z","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-07-06T19:51:58.903517Z","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-07T01:07:26.979914Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:26.979914Z"},"links":{"cited_paper":"/paper/2411.11582","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:0e09f527334e5aba19d0e5ce5fb40358a210a5464f2bb242c2218379fee32943","observation_id":"0dddb66c-46e1-475d-ad87-7c31f22ad2cb","resolution":{"observed_at":"2026-08-07T01:07:26.979914Z","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-07T01:07:27.106189Z","title":"In: Bouamor, H., Pino, J., Bali, K","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.106189Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:f401a207292faeeab751aea5f33b1e11f9323cbb6de42ec029ec00bb2fc77749","observation_id":"9bcae5c1-67d4-4c59-bf5f-1d1b94c662e7","resolution":{"observed_at":"2026-08-07T01:07:27.106189Z","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-07-06T15:32:14.701994Z","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-07T01:07:27.256730Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.256730Z"},"links":{"cited_paper":"/paper/2305.14752","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:c3539047d5a25b4f37ad56b21ecc78c7075640e38ff51ff1225e24988842a423","observation_id":"01341038-6d0f-4732-9de9-1dfd2ac7673c","resolution":{"observed_at":"2026-08-07T01:07:27.256730Z","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-07T01:07:27.367306Z","title":"In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.367306Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:cbdc16f86f82af13d41dee32f6b97820794d718c199dc89ded5f4a331e976349","observation_id":"1d66fc35-512a-4c16-8a50-5abdf4003d4b","resolution":{"observed_at":"2026-08-07T01:07:27.367306Z","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-07T01:07:27.371360Z","title":"CoRR abs/2302.11382 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.371360Z"},"links":{"cited_paper":"/paper/2302.11382","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:97adbe5831b38129f1d4a13a3f909510dd6bfa04b5e786f6dad0c57b0c16b69f","observation_id":"226aa4ac-4234-4272-918e-01d4f9edef24","resolution":{"observed_at":"2026-08-07T01:07:27.371360Z","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-07-06T16:29:11.973128Z","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-07T01:07:27.375510Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.375510Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:face2772a3cc6d370852e39938fd6ae002153681cafca35bee4e416942d76c2f","observation_id":"360963b7-ecb4-415c-ad48-3de2bc0b0289","resolution":{"observed_at":"2026-08-07T01:07:27.375510Z","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-07-06T15:28:32.440071Z","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-07T01:07:27.378724Z","title":"CoRR abs/2305.09993 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.378724Z"},"links":{"cited_paper":"/paper/2305.09993","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:d62534af21bbfd312c7318804bd6d21aa994cbb139e41a09f7b2385856f113a1","observation_id":"f8bd69cc-a2c1-4e79-8021-a6b3ab3f42b2","resolution":{"observed_at":"2026-08-07T01:07:27.378724Z","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-07T01:07:27.382458Z","title":"In: 2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.382458Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:ff626a95bfe568873bd00c98935112ae57e3fd6afbfe160f54791ba0081af401","observation_id":"f64b01f8-7455-4f92-98bc-ffd32a3f01ad","resolution":{"observed_at":"2026-08-07T01:07:27.382458Z","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-07T01:07:27.385891Z","title":"In: 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE)","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.385891Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:abb01bdaa1ab4c20e9a6607001e44afa2b295705d9a4da8f566be90d7333d7af","observation_id":"a6e7c78a-c8fb-48f6-bf63-dd59c3bcf3a4","resolution":{"observed_at":"2026-08-07T01:07:27.385891Z","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-07T01:07:27.389175Z","title":"In: Oh, A., Naumann, T., Globerson, A., Saenko, K., Hardt, M., Levine, S","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.389175Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:5268a089e6aeee3acd892d7d9152d44ff1a48a668add8e097402fc49c2e33739","observation_id":"bd02a0ad-f3d4-457c-9acf-90fbc1bb9410","resolution":{"observed_at":"2026-08-07T01:07:27.389175Z","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-07T01:07:27.392441Z","title":"In: 2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.392441Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:89aa42e93a4308de64d31913b9b6e986380821d5aacfada7fa4ce471baa079aa","observation_id":"ff6b4eb1-eced-4f08-b0b2-ebfc1c15b0b9","resolution":{"observed_at":"2026-08-07T01:07:27.392441Z","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-07T01:07:27.395672Z","title":"In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.395672Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:a5ddf243b4d28d5f6d90167478e7a535a9f277ca2eac0bb0e31d973ad0b09845","observation_id":"01c8d317-f8b3-4ddb-bbdb-4a72313ce6f5","resolution":{"observed_at":"2026-08-07T01:07:27.395672Z","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-07-06T16:29:19.703823Z","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-07T01:07:27.398777Z","title":"\"+s2).value.1 ==","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.398777Z"},"links":{"cited_paper":"/paper/2310.05035","citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:aa018222c3b592169f00714ae7eebdee455b47ddaff2784d8ce60eed128874f2","observation_id":"690cb114-475e-46e1-aa65-d8a7b1aa83f9","resolution":{"observed_at":"2026-08-07T01:07:27.398777Z","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-07T01:07:27.402086Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.402086Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:8accc5f691a90afc32a00819f4503790c0e8a7f2d059e6f27acbda724616e0c2","observation_id":"65302660-add8-4174-8d3d-f24f0033b6ea","resolution":{"observed_at":"2026-08-07T01:07:27.402086Z","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-07T01:07:27.405542Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.405542Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:a2ed9a2a2944172473c185508796ab170016d760c915ef2cdf5bcf740ff0e5ba","observation_id":"311e14ac-c29e-4fa7-8e2b-a358855d95b1","resolution":{"observed_at":"2026-08-07T01:07:27.405542Z","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-07T01:07:27.408674Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.408674Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:926327c7e2bd6678c8623248c0be6844ed335be86ee06a753115c3f42a76b3f5","observation_id":"e0348922-9d7b-4999-9229-51f2d06d4c07","resolution":{"observed_at":"2026-08-07T01:07:27.408674Z","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-07T01:07:27.412112Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.412112Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:c39b374f840ead588295330b012935d0cfdd9006acb9a7ec494ee768b995d168","observation_id":"9daed523-90a4-41c6-9f3d-88bc5b093988","resolution":{"observed_at":"2026-08-07T01:07:27.412112Z","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-07T01:07:27.415571Z","title":"ChatGPTCompares the performance of symbolic NLP and ChatGPT in generating correct JML output from natural language preconditions","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.415571Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:6baa81b6f0345ad5b17f8c653442808c1024865510bf268152d902edf34f7e79","observation_id":"fe5cb001-622a-4f6b-b3dd-2e5440d1dd74","resolution":{"observed_at":"2026-08-07T01:07:27.415571Z","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-07T01:07:27.419119Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.419119Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:3b0a70fb24136c0fcbe5e64abecfac76527f9d516dcf1071aa178d557136425f","observation_id":"8dc56348-f2f2-46fc-a1df-229fe8292b4f","resolution":{"observed_at":"2026-08-07T01:07:27.419119Z","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-07T01:07:27.422589Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.422589Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:07fe664fc1f21b7927a38f8f6b66fea2351b7cb2a7a0ddce3e3d61ab7561d97b","observation_id":"fec0b9d1-e5da-45b4-9c8a-5db37b982b88","resolution":{"observed_at":"2026-08-07T01:07:27.422589Z","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-07T01:07:27.426002Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.426002Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:1c6bdbf7127300a1f1a7fcf34c9f8eb6362818431d2370fb404b7cc9c529b432","observation_id":"3729e319-8008-4d42-a6b5-4b58b4442fdb","resolution":{"observed_at":"2026-08-07T01:07:27.426002Z","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-07T01:07:27.428977Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.428977Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:0970acbc540b61547ec5480b5ed66ceee4abd94e243e18e2437a79d7c47bad46","observation_id":"6d02791a-6bc3-4577-83a2-6c6062b9ef7e","resolution":{"observed_at":"2026-08-07T01:07:27.428977Z","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-07T01:07:27.431970Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.431970Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:9f09fe812fb3d6e4ca18027d72f95dc893bd95f7293edbbe8c91c60b8cd70a97","observation_id":"e37915dc-f5c1-403b-af82-ac92af06ede4","resolution":{"observed_at":"2026-08-07T01:07:27.431970Z","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-07T01:07:27.434962Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.434962Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:a404798af819fb4c9390bce93b2c5b1e870eec10f3e1a5df4a83b1b6ac5da4cf","observation_id":"3c06cc6c-b60f-4be1-abe5-1a2365bc3551","resolution":{"observed_at":"2026-08-07T01:07:27.434962Z","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-07T01:07:27.438644Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.438644Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:8023ef86939ff69f46d137f1a7198bb87c87616e3593e4c02dc5137496e05819","observation_id":"54ec9a46-a0a3-4c6a-ade7-1893dad19201","resolution":{"observed_at":"2026-08-07T01:07:27.438644Z","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-07T01:07:27.441670Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.441670Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:ae085fadf4849228915d2a34ae5b95a5da479b91f0e9b62a15f4c332dbb0de34","observation_id":"97dd3f0f-5ca6-4574-84a2-74ab63920505","resolution":{"observed_at":"2026-08-07T01:07:27.441670Z","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-07T01:07:27.444758Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.444758Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:e71843968f8b5641f47dcf97529d7bba2ef18abf0970a8fb29501d9afd4de5f4","observation_id":"9340b517-63a4-4bc6-9c98-6f398d9a773e","resolution":{"observed_at":"2026-08-07T01:07:27.444758Z","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-07T01:07:27.447749Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.447749Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:5b52ed36a9b1397fdecd8dde66212899eabeb79fb9e207dae33fe19be7416509","observation_id":"aa653d2b-e041-437d-b24b-00e6e0a1979e","resolution":{"observed_at":"2026-08-07T01:07:27.447749Z","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-07T01:07:27.450790Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.450790Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:7076763038431f3248bf2557e5391933a49e04f7deede1d056881077e9d3bc62","observation_id":"889f5cda-8c66-4c9c-8335-a10167c231eb","resolution":{"observed_at":"2026-08-07T01:07:27.450790Z","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-07T01:07:27.454033Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.454033Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:4abcc6412463b383561181fe10274c62a87d8d9218e5c9d5da1adf9462eb22b6","observation_id":"ef1aec95-fa91-465f-95f3-27e5ed27da65","resolution":{"observed_at":"2026-08-07T01:07:27.454033Z","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-07T01:07:27.457533Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.457533Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:3588176661e09c17e0927ef1e30c35afad4d58bbc87ceb0dceffe839d78af8d5","observation_id":"7ee35ed9-8b31-4070-af9d-8380fd2bc821","resolution":{"observed_at":"2026-08-07T01:07:27.457533Z","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-07T01:07:27.460567Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.460567Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:9a91d35af39a3314b414ba4913bafec10c8837724815efa0c80c1f6949f2e5a7","observation_id":"4f3b5117-dcd7-4b71-97dd-db77d94e4f7a","resolution":{"observed_at":"2026-08-07T01:07:27.460567Z","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-07T01:07:27.463834Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.463834Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:47d7cb8ecec48fadebf66f14089c9c12543a74e389ac25e174bc0ea4d2d11d1c","observation_id":"fc3ec6ff-565a-4c38-af5b-bd4ea651038e","resolution":{"observed_at":"2026-08-07T01:07:27.463834Z","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-07T01:07:27.467171Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.467171Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:9a1fe568119789f0c7c6566d290256226c2aa9283977665f08295ce785a8686e","observation_id":"b5f18727-7145-4d65-9d22-9fd7a7f85b2b","resolution":{"observed_at":"2026-08-07T01:07:27.467171Z","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-07T01:07:27.470635Z","title":"Table 2: Summary of LLMs related literature (Part 1 of 2) 16 Arshad Beg, Diarmuid O’Donoghue, and Rosemary Monahan Ref","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.470635Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:d0e32732fa14b5105ca0708e67771bf74f606f48da9bda6900324f9d17e53e03","observation_id":"551d240c-16ad-4f72-9e1c-c2b5faf4570e","resolution":{"observed_at":"2026-08-07T01:07:27.470635Z","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-07T01:07:27.474023Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.474023Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:9b7b6db538986a348f646ded475b41bc6618ea3d75063c8bb68325a87c1ba8b9","observation_id":"5ea7660a-ca0c-4c5e-b4b4-50c646598539","resolution":{"observed_at":"2026-08-07T01:07:27.474023Z","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-07T01:07:27.477417Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.477417Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:50ac92cb5f6c65f00e4cfc5aacb5d416fa1f2402a936de0afd46fb3af38286a2","observation_id":"1cfae2b7-8cba-47d4-8af6-36aa8f629f1f","resolution":{"observed_at":"2026-08-07T01:07:27.477417Z","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-07T01:07:27.480385Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.480385Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:38209833d3340f9be14cac40a31ef2ef7aa78630b8d05dcec07b5dd73c80c36a","observation_id":"08d0ac47-518e-473f-9e2c-0e6fb52a034c","resolution":{"observed_at":"2026-08-07T01:07:27.480385Z","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-07T01:07:27.483391Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.483391Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:7481a6c88b208dcc58f8a01c7553a82bd92f6b056dcdb542cc299418944193d3","observation_id":"2f9d26bc-2889-478c-b027-0c135502cbe2","resolution":{"observed_at":"2026-08-07T01:07:27.483391Z","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-07T01:07:27.486418Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.486418Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:bf25dfabffc279ece7908a4d2b7973c44cced05c8f06a25872377b79628342b3","observation_id":"5f6273c1-9d19-4f20-9481-1a04a3003d46","resolution":{"observed_at":"2026-08-07T01:07:27.486418Z","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-07T01:07:27.489891Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.489891Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:d517a4f7f1607c9793ab33f3821264939d793fedd09bb9e0f552c8d954ec5a52","observation_id":"3260c218-6e76-4e89-824b-e56fd3313897","resolution":{"observed_at":"2026-08-07T01:07:27.489891Z","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-07T01:07:27.493246Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.493246Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:bb4a2864881c8c3c06c1156f2e6b1ff980ea6726c66baa10ecf209e99155568c","observation_id":"c8aa6316-f867-455a-bcb2-08c986f7019a","resolution":{"observed_at":"2026-08-07T01:07:27.493246Z","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-07T01:07:27.496242Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.496242Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:69c6d12de843b19c1d33a15f0c83f5df931613c091ad5a5baae2a698a1ced14c","observation_id":"65c5edc1-6352-4c83-9ee6-ee6405a9c5ee","resolution":{"observed_at":"2026-08-07T01:07:27.496242Z","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-07T01:07:27.499790Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.499790Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:9b345b9c2f4585f6298b966a919ff1a7a0f9cab18e9377bdf3a8bd00a01be4a1","observation_id":"9993fc9d-9c31-4f17-8975-74a9dec8064c","resolution":{"observed_at":"2026-08-07T01:07:27.499790Z","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-07T01:07:27.502840Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.502840Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:fc4067fd67c22d46ae7194177564d6eca6b9ff9750f350a5666a9a23c1472e02","observation_id":"4b83f872-6866-4865-9aa9-57e5dc0ccaf6","resolution":{"observed_at":"2026-08-07T01:07:27.502840Z","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-07T01:07:27.506228Z","title":"Found that Stanford CoreNLP, FreeLing, and NLTK performed best","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.506228Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:cdfadfaec237b3ff44ec16f6f6cdcfd9cc5425e2a6c4c7ca91ce74e1218415a7","observation_id":"527244b5-e1c7-4a1f-90df-e984a8672ff7","resolution":{"observed_at":"2026-08-07T01:07:27.506228Z","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-07T01:07:27.509413Z","title":"GPT-4 achieved best results with retrieval-augmented CoT prompt, producing 153 verified Dafny solutions","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.509413Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:0c999581f56c9be919fa9f329107bee4c9412952817e18b19139cd2ce25b18f8","observation_id":"3bbe7cb0-9c48-4667-8d04-1a0f2edeca3e","resolution":{"observed_at":"2026-08-07T01:07:27.509413Z","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-07T01:07:27.512564Z","title":"Developed ReProver, a retrieval-augmented LLM-based prover that improved theorem proving efficiency","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.512564Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:5b47a9566dd674a456c3ee4a9e332a9c24d111eb338e106078cc7a2cf864f120","observation_id":"8b3b4d79-b54b-4b27-aad0-66b36b494cf5","resolution":{"observed_at":"2026-08-07T01:07:27.512564Z","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-07T01:07:27.516162Z","title":"Hammers are implemented to find the appropriate premises to complete the proofs of conjectures","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.516162Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:f5b612faa0f212bf5ac0c6f52df5154e4834fb594356a169e0f9b3e6b09bf16f","observation_id":"084ef985-16e3-43a6-8765-3c6842a5a9df","resolution":{"observed_at":"2026-08-07T01:07:27.516162Z","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-07T01:07:27.519145Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.519145Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:1e6a3ca3c6e154683c680ad8dde58d249785eb2ca2d4750f656d1fb69fe83748","observation_id":"6c709756-2a82-48a0-9fbb-f90d3668e3d1","resolution":{"observed_at":"2026-08-07T01:07:27.519145Z","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-07T01:07:27.522124Z","title":"This is based on literature available of ten years (2008 - 2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.522124Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:fbba4c8318c618413b92f3aac8dd821791d8c9cbc03f42becaaf46982ece01a1","observation_id":"29b6b0dc-c617-499b-8c22-37754f08b4d1","resolution":{"observed_at":"2026-08-07T01:07:27.522124Z","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-07T01:07:27.525170Z","title":"PathCrawler generated more context-aware annotations while, EVA efficiency improved having less run-time errors","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-07T01:07:27.525170Z"},"links":{"citing_paper":"/paper/2506.11874"},"observation_digest":"sha256:5c4f7f2314aafd3f2267255137c8baa9821e958e18831d8f2d9c9e39ebb69ccc","observation_id":"4985f244-0065-4e77-8e83-019d58480b19","resolution":{"observed_at":"2026-08-07T01:07:27.525170Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.11874","last_updated":"2025-06-13T15:26:58Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-09T21:30:20.290791Z","submitted_at":"2025-06-13T15:26:58Z","title":"A Short Survey on Formalising Software Requirements using Large Language Models"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":4,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":90,"verified_exact":4,"verified_fuzzy":0},"total_outbound_references":190},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 100 of 190 outbound references and 0 inbound Pith citation observations for arXiv:2506.11874."}