{"as_of":"2026-08-07T21:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:75aa23b5fd7a1b5275c06c7a42309f65221d3588a55949af17ceab6611ab1295","coverage":[{"denominator":47,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":47,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T16:13:54.712198Z","state":"measured"},{"denominator":50,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":50,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-28T02:07:48.232542Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-02T12:26:56.958692Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"cited_work":{"arxiv_id":"2507.14330","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.14330","snapshot_observed_at":"2026-07-02T12:26:56.958692Z","title":"Beg et al","venue":null,"work_id":"24424b85-3261-4c5a-b1ac-51da2e23b824","year":2025},"citing_paper":{"arxiv_id":"2604.10341","last_updated":"2026-04-11T19:59:02Z","snapshot_observed_at":"2026-07-06T22:59:01.129724Z","submitted_at":"2026-04-11T19:59:02Z","title":"VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T15:27:41.993499Z"},"links":{"cited_paper":"/paper/2507.14330","citing_paper":"/paper/2604.10341"},"observation_digest":"sha256:4541cd70478d0294a16000dd8c90ddfa6b4543f9044511ce055f8315ca2da9cb","observation_id":"ad821f6b-cb5b-4cbe-a80b-57e1dfc19cfd","resolution":{"observed_at":"2026-05-11T10:31:01.360275Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"cited_work":{"arxiv_id":"2507.14330","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.14330","snapshot_observed_at":"2026-07-02T12:26:56.958692Z","title":"Beg et al","venue":null,"work_id":"24424b85-3261-4c5a-b1ac-51da2e23b824","year":2025},"citing_paper":{"arxiv_id":"2604.10884","last_updated":"2026-04-13T01:11:01Z","snapshot_observed_at":"2026-07-06T22:59:23.126963Z","submitted_at":"2026-04-13T01:11:01Z","title":"Ambiguity Detection and Elimination in Automated Executable Process Modeling","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-10T16:17:18.098177Z"},"links":{"cited_paper":"/paper/2507.14330","citing_paper":"/paper/2604.10884"},"observation_digest":"sha256:1b934167944d08c2cecf111f283e57aa50c3bdc039e070cfd5410c0716dbde19","observation_id":"2f307869-8fd3-4b6d-935d-3952a97497c3","resolution":{"observed_at":"2026-05-11T09:05:57.818747Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"cited_work":{"arxiv_id":"2507.14330","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.14330","snapshot_observed_at":"2026-07-02T12:26:56.958692Z","title":"Beg et al","venue":null,"work_id":"24424b85-3261-4c5a-b1ac-51da2e23b824","year":2025},"citing_paper":{"arxiv_id":"2606.05792","last_updated":"2026-06-04T07:22:01Z","snapshot_observed_at":"2026-08-03T20:01:26.007510Z","submitted_at":"2026-06-04T07:22:01Z","title":"Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-06-28T02:07:48.232542Z"},"links":{"cited_paper":"/paper/2507.14330","citing_paper":"/paper/2606.05792"},"observation_digest":"sha256:06ffd548fe66b4fac79fb424b31b1f1d5f3bd8ac15b8f6da88415af27b964f50","observation_id":"62e5e703-f7b3-40b7-9ca8-61a087d0cb58","resolution":{"observed_at":"2026-07-02T12:26:56.960087Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2507.14330/citation-record","integrity":"/paper/2507.14330/integrity","json":"/paper/2507.14330/citation-record.json","paper":"/paper/2507.14330"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2002.07279","last_updated":"2024-02-13T03:11:38Z","snapshot_observed_at":"2026-08-05T12:54:50.031252Z","submitted_at":"2020-02-17T22:09:02Z","title":"Formal Methods: From Academia to Industrial Practice. A Travel Guide","version":3},"cited_work":{"arxiv_id":"2002.07279","doi":null,"metadata_source":"pith","pith_arxiv_id":"2002.07279","snapshot_observed_at":"2026-08-06T16:13:58.541086Z","title":"Formal Methods: From Academia to Industrial Practice. A Travel Guide","venue":"cs.SE","work_id":"ee69db20-dad9-4b6f-b81f-9c3e37cf02b6","year":2020},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:48.650713Z"},"links":{"cited_paper":"/paper/2002.07279","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:5c410f2f7cfe795314d8f20b03274d269a497cd1b1f08bb92a5b1484901df5de","observation_id":"0b085f28-d524-408c-a0fe-4bc51ff3b66a","resolution":{"observed_at":"2026-08-06T16:13:58.677134Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.10704","last_updated":"2025-06-12T13:55:01Z","snapshot_observed_at":"2026-08-07T04:17:35.474642Z","submitted_at":"2025-06-12T13:55:01Z","title":"Formalising Software Requirements using Large Language Models","version":1},"cited_work":{"arxiv_id":"2506.10704","doi":null,"metadata_source":"pith","pith_arxiv_id":"2506.10704","snapshot_observed_at":"2026-08-06T16:13:58.268095Z","title":"Formalising Software Requirements using Large Language Models","venue":"cs.SE","work_id":"3f1bcaf1-4171-4d26-951a-e0ead1d98aec","year":2025},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:48.736297Z"},"links":{"cited_paper":"/paper/2506.10704","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:1e074e02cc0ced2ba25482b10ff0aa8f6172f9e40f377fc384cf4c643ede29e7","observation_id":"1021c496-6221-4fe1-9807-6bb428775e7a","resolution":{"observed_at":"2026-08-06T16:13:58.359366Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:14:03.921980Z","title":"Granberry, W","venue":null,"work_id":"4d6acf4a-0f7d-404d-9bd2-77611e5b3f37","year":2025},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:48.877033Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:3c43dec2b09d5384131df92963982343fbdbe6f70d90479855f2951cdbe8218c","observation_id":"d6012ff6-7f42-4b8c-864c-481fdf319eac","resolution":{"observed_at":"2026-08-06T16:14:04.050870Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-75380-0_10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:56.211056Z","title":"Robles, N","venue":null,"work_id":"a69731cd-2378-4c6d-8834-cc98224a4c8f","year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:48.974936Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:19754196ada26d7fe153bfe407a423c738d9177da574c026cb846abe841ad7df","observation_id":"316a2a7d-24ae-4827-91df-2734fc6226fe","resolution":{"observed_at":"2026-08-06T16:13:56.374823Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:49.089580Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:49.089580Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:20291840d7e26bbffb7518c443bb1d10c669f5e46e235db73be00d78c61d4c05","observation_id":"ca3c393c-8968-43be-9501-294c961d5ce3","resolution":{"observed_at":"2026-08-06T16:13:49.089580Z","resolver_source":null,"status":"malformed_identifier"},"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-06T16:13:49.215071Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:49.215071Z"},"links":{"cited_paper":"/paper/2405.01379","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:b682c975c2d31bb5c76d06b16391f548bd7cf6192afc2b0976c5b1c484e39148","observation_id":"95701591-969b-4024-8c52-33761089e888","resolution":{"observed_at":"2026-08-06T16:13:49.215071Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.02318","last_updated":"2025-01-03T02:19:03Z","snapshot_observed_at":"2026-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-06T16:13:49.361932Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:49.361932Z"},"links":{"cited_paper":"/paper/2411.02318","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:94025a94b3c75af0cb7f5e3c3cffed81157463d60b0d58b5b0fe542ef3187b0b","observation_id":"c5684234-30d5-4b52-a7cb-24af04f2e40c","resolution":{"observed_at":"2026-08-06T16:13:49.361932Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04864","last_updated":"2023-03-08T20:08:53Z","snapshot_observed_at":"2026-08-04T08:33:42.202372Z","submitted_at":"2023-03-08T20:08:53Z","title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.04864","snapshot_observed_at":"2026-08-06T16:13:49.499772Z","title":"Cosler, C","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:49.499772Z"},"links":{"cited_paper":"/paper/2303.04864","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:5981fea11c0b1a89e015d8c0f93963c2f0eb86f5b0a6ac1fc9d25337edf7b557","observation_id":"2afde621-87dc-4154-8501-88055910f77a","resolution":{"observed_at":"2026-08-06T16:13:49.499772Z","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-07-06T15:17:10.121529Z","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-06T16:13:49.616157Z","title":"Mandal, A","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:49.616157Z"},"links":{"cited_paper":"/paper/2304.09181","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:669101f896d4bd444a075b0f1e8da8d2b8fd790b1fdfc7b8095b7f763fd00fa2","observation_id":"99f66b00-8f50-45b0-9190-0094c54cfa2c","resolution":{"observed_at":"2026-08-06T16:13:49.616157Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:14:02.423982Z","title":"Nayak, H","venue":null,"work_id":"bda8dab0-424e-4b55-8f82-25468cae217d","year":2022},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:49.723747Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:5f78d1900527b4f8e0b2a5252f68294fd65f7313080831ec87e040f0aaa669df","observation_id":"473fbe43-e8b1-4484-bd0d-d1db69bf5676","resolution":{"observed_at":"2026-08-06T16:14:02.649654Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-07-06T17:16:29.558742Z","submitted_at":"2024-01-16T20:13:50Z","title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08807","snapshot_observed_at":"2026-08-06T16:13:49.810215Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:49.810215Z"},"links":{"cited_paper":"/paper/2401.08807","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:56bfb4becef6f6a0f7a3267cbe7a86c98a900543d349b09c21df42266770c0c9","observation_id":"7325159b-b8be-4146-b94c-dff428c0029d","resolution":{"observed_at":"2026-08-06T16:13:49.810215Z","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-06T16:13:49.873488Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:49.873488Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:5baf1d0240e80a6a6bef65585388bd57be545d74432e18b36614b7afa14ed717","observation_id":"92bbe9e1-9c6f-4f5e-a80a-1f17af7840fa","resolution":{"observed_at":"2026-08-06T16:13:49.873488Z","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-06T16:13:49.973658Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:49.973658Z"},"links":{"cited_paper":"/paper/2401.13266","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:c382a2ca9b129689da2713e7bc5e2bfd0b11219c83498fc4f97599024f8e2fde","observation_id":"b9e46e6b-7bf5-4ef9-be8d-58ab5fefd76e","resolution":{"observed_at":"2026-08-06T16:13:49.973658Z","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-06T16:13:50.043839Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:50.043839Z"},"links":{"cited_paper":"/paper/2411.11582","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:d8fdbd7eea6b48a70dc1d87e3e27d2b58829868a1c39d80ce2f5bdef46e5a2f4","observation_id":"8e337ff9-fa7a-4801-ab34-6321716a2458","resolution":{"observed_at":"2026-08-06T16:13:50.043839Z","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.1002/spe.430","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:55.849026Z","title":"Gervasi, B","venue":null,"work_id":"75cb2b24-6398-4ad9-823a-7fdaa4ed510d","year":2002},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:50.147113Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:848013608ed89dce87218aef86268909fcb0e49fbd802fbafacca34f637feef4","observation_id":"ed17ffe7-2733-43b4-a8db-2a07bd00db4f","resolution":{"observed_at":"2026-08-06T16:13:56.027766Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2024.00029","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:57.646220Z","title":null,"venue":null,"work_id":"47336018-285e-404d-925f-1c319f06e527","year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:50.220097Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:de4ac63953d2142dd7ef97e39887b3cb3c1e90f0560c3b3e47f417b39b376844","observation_id":"99592770-f302-42ec-9c26-aba6ba4b8882","resolution":{"observed_at":"2026-08-06T16:13:57.786559Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2023.00065","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:57.333579Z","title":null,"venue":null,"work_id":"c7bc1593-095a-4ae8-af12-17ef862a44dd","year":2023},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:50.298353Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:a92d664be5f5d7162e0a2c8c75ec0b75440b514a577e4c2d3949460c1712389c","observation_id":"f20d0dd9-f824-465a-9b7d-17169eaac49d","resolution":{"observed_at":"2026-08-06T16:13:57.444084Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:14:02.179965Z","title":"Nowakowski, M","venue":null,"work_id":"008ba4a5-967b-4dfe-a915-6db439866c53","year":2013},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:50.352591Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:eb250a79d0b00fcb0989021ed40b96c9951e4897450c171fdf787169c5560bd0","observation_id":"e5a5e1c7-57bd-4003-87da-4741e759c4b4","resolution":{"observed_at":"2026-08-06T16:14:02.293083Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:14:01.897283Z","title":"Ghosh, D","venue":null,"work_id":"cef92aa6-5d43-4a9c-852c-7f8c0cd0c424","year":2016},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:50.494096Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:c9ae07a85ea533efde455cba31335a53f940cba63e51882ea205b90045413484","observation_id":"06a93f3f-97d8-47d9-af81-fc0db5d90d8a","resolution":{"observed_at":"2026-08-06T16:14:02.052068Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0306-4379(86)90020-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:55.581305Z","title":null,"venue":null,"work_id":"c5ad89bb-d559-406e-ac6f-8c4e8958213c","year":1986},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:50.695841Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:5ea3f5d867db73c582d0027b4b09769e8ebfac6216ab47e4560d245982dcf345","observation_id":"56cf0fca-81fa-4ad8-b359-6baad56694bc","resolution":{"observed_at":"2026-08-06T16:13:55.696645Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:50.849278Z","title":"Fazelnia, M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:50.849278Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:67eba1879f54210ff3b65f38e09a01852fc630d4fb42489cf31c415a24953556","observation_id":"82194296-9bc0-4840-8907-afc1184fd356","resolution":{"observed_at":"2026-08-06T16:13:50.849278Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:14:01.458866Z","title":null,"venue":null,"work_id":"55d54905-fa91-48ee-b662-1fc76820df4e","year":2023},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:51.045766Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:42a37b8593b1e8053d57ac210f97139a77e2a2f2c888ac5e373b707694fe53b6","observation_id":"6a7d425f-6224-4c2e-a718-8bbc42da84dc","resolution":{"observed_at":"2026-08-06T16:14:01.597762Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:14:01.105622Z","title":null,"venue":null,"work_id":"c374eb09-836a-4e57-9367-25338ca4500e","year":2022},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:51.173883Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:d7330818be2ffb4aadcd1b9ae1333e984feac239d611d98c0570c1bed7a06c38","observation_id":"1528ac71-4f9d-4eab-80e3-cfa1e9cfc0c0","resolution":{"observed_at":"2026-08-06T16:14:01.261936Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:14:00.820499Z","title":"Granberry, W","venue":null,"work_id":"ca0935ec-e12c-4e4c-8667-ab4818d4fb49","year":2025},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:51.315156Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:5b05c1cd84148d9d9eb7fac8d6b7b7f528dd712a52bfe848511365afccb67882","observation_id":"735e183e-04fd-47bd-8e60-509381adc9b9","resolution":{"observed_at":"2026-08-06T16:14:00.970204Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.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-06T16:13:51.470873Z","title":"Mugnier, E","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:51.470873Z"},"links":{"cited_paper":"/paper/2405.16792","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:4ddfa5ca15921b5cf6fb22166a20368209e537c4fd9990a11b51a724c3d6b4ea","observation_id":"0119fc7d-7455-473b-ae87-1574d5fc2fee","resolution":{"observed_at":"2026-08-06T16:13:51.470873Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:14:00.545492Z","title":"Kojima, S","venue":null,"work_id":"b28fd8a7-dcb2-4336-b645-417469f00aa1","year":2022},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:51.619264Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:b49a655183510034a571a1ee7754cea4ae73525806f1664fded34fdba0f8960c","observation_id":"7a117a86-2d1b-4a46-aff8-a2e4290e6f57","resolution":{"observed_at":"2026-08-06T16:14:00.650110Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"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-06T16:13:51.795465Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:51.795465Z"},"links":{"cited_paper":"/paper/2312.10302","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:56d1cc20da7b17478ab768e062d353c76086b9c8eeea414afa9d09a0a1ae5187","observation_id":"60df170c-8e92-4e7f-83c0-c9dc398f1c91","resolution":{"observed_at":"2026-08-06T16:13:51.795465Z","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":"2310.05035","doi":null,"metadata_source":"pith","pith_arxiv_id":"2310.05035","snapshot_observed_at":"2026-08-06T16:13:56.900731Z","title":"Self-Convinced Prompting: Few-Shot Question Answering with Repeated Introspection","venue":"cs.CL","work_id":"df3cf537-f021-4fd3-be07-281f07062982","year":2023},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:51.971072Z"},"links":{"cited_paper":"/paper/2310.05035","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:578dc110b40aa94a7fd190e230ed723a4d2e1de4fc29a66a6ed0e874b875be98","observation_id":"d2c36f6b-48d3-47cc-9c0a-566d1af733ea","resolution":{"observed_at":"2026-08-06T16:13:56.965903Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:14:00.300980Z","title":null,"venue":null,"work_id":"3f6c6e2b-b63f-4093-a2c5-0308e3232423","year":2022},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:52.139513Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:834cc30cfd90534880118cba62555a484d392a32782358cfff59c0e0adcbf9e7","observation_id":"fe69c1f0-6fa0-4056-a860-236cf0e53bd9","resolution":{"observed_at":"2026-08-06T16:14:00.408007Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:52.290199Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:52.290199Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:f72c7aa5c600f984c3eb80c2f4651344160ad2e0ddc4917f23332eeb7a84fad5","observation_id":"adde6d4f-2f90-4535-94d5-95bff53ad103","resolution":{"observed_at":"2026-08-06T16:13:52.290199Z","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-06T16:13:52.410810Z","title":"Hsieh, Y","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:52.410810Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:fa90dee81c7492ae36796194eb10dfcd55620d9c47e664fc2587f7654398e84d","observation_id":"08105cff-e7ff-401c-b484-404664c2f97b","resolution":{"observed_at":"2026-08-06T16:13:52.410810Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:59.971256Z","title":null,"venue":null,"work_id":"b699a464-46da-4d07-bb68-675e4bb7dfc6","year":2022},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:52.574508Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:4169a78507a1458e4673ce7c479ebac5288bccec5c21626260c6b6c59facd86b","observation_id":"c3ccdc85-6ca3-4de0-98c2-67b15b6783d9","resolution":{"observed_at":"2026-08-06T16:14:00.160113Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:52.739664Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:52.739664Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:73ec0069b6214739811c4ee6343038e98c9617dc08c2fe45afef3f1c76b877c7","observation_id":"77bdd5ae-0f73-4398-8090-5355644d48de","resolution":{"observed_at":"2026-08-06T16:13:52.739664Z","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-06T16:13:52.883912Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:52.883912Z"},"links":{"cited_paper":"/paper/2305.09993","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:c8fb9f39f1a30f68af98440317acbcdad007f1ccef1e6dff47e4297950050aeb","observation_id":"14dd10c4-67b0-4006-a320-5cdd458927f9","resolution":{"observed_at":"2026-08-06T16:13:52.883912Z","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-06T16:13:53.024271Z","title":"Besta, F","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:53.024271Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:74edb6bc9997d6396516e27beed44f111c52bb047e265ebb5e2e468b2769fc22","observation_id":"5d407fc3-5da8-4d8c-af19-4258b959505d","resolution":{"observed_at":"2026-08-06T16:13:53.024271Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:59.685677Z","title":"Lewis, E","venue":null,"work_id":"76ece847-39cf-4068-8f2d-a361e4f7b169","year":2020},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:53.174034Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:dad3b08ed6ff057cfceb387bc00def447669d71df7c77d8aee3a6bc236e05366","observation_id":"2fa0b764-111c-49b0-807a-f30d3dc0d709","resolution":{"observed_at":"2026-08-06T16:13:59.833283Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.07927","last_updated":"2025-03-16T06:23:34Z","snapshot_observed_at":"2026-08-05T17:55:26.008016Z","submitted_at":"2024-02-05T19:49:13Z","title":"A Systematic Survey of Prompt Engineering in Large Language Models: Techniques and Applications","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.07927","snapshot_observed_at":"2026-08-06T16:13:53.318541Z","title":"Sahoo, A","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:53.318541Z"},"links":{"cited_paper":"/paper/2402.07927","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:52038e26d0542bebb78612e3dc0d310e2654660ff5a0f72439023d791b83d82e","observation_id":"1e67653a-d159-4d7b-85e5-253a1d65e094","resolution":{"observed_at":"2026-08-06T16:13:53.318541Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:59.400609Z","title":null,"venue":null,"work_id":"df28557e-12db-406e-85f8-1429f1a56f0e","year":2022},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:53.457912Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:86a19eb350e755937d12d8b684972c55295f1cad2f690fe0f72c7f5b0e057e43","observation_id":"5d0fc42b-f127-4987-a67f-36e7b340874c","resolution":{"observed_at":"2026-08-06T16:13:59.552719Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:53.585282Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:53.585282Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:4405716df0e7b29da0ea2c29f1b7e394d4c9254edbd0c5032d8e0e8aac8095df","observation_id":"44ef8917-c466-431d-883e-13c443a1af84","resolution":{"observed_at":"2026-08-06T16:13:53.585282Z","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-06T16:13:53.694648Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:53.694648Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:b718a5c9239e11cc101fcf2eb0098fcccd2076c95642b5881134042e0d458f1c","observation_id":"df3a1904-fe92-49f7-9785-a12551776331","resolution":{"observed_at":"2026-08-06T16:13:53.694648Z","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-06T16:13:53.861285Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:53.861285Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:53eca2f18bd5aa323e50364204074dcbbf70fbc0acdee2c3480365af9ce444e7","observation_id":"ba827f9d-9253-44d8-b88e-2722d4f67a30","resolution":{"observed_at":"2026-08-06T16:13:53.861285Z","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-06T16:13:53.967670Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:53.967670Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:dd5080a80b74f2b18f262f649f5cc6e9eaf55332e549f38b80b852f145c79cb7","observation_id":"3c8c00c6-12d8-4b9b-9ce5-62a60b456436","resolution":{"observed_at":"2026-08-06T16:13:53.967670Z","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.31234/osf.io/p7hvw","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:55.177837Z","title":"Porshnev, et al., Modelling implicit bias in gender–career associations: A systematic comparison of language models, PsyArXiv (2025)","venue":null,"work_id":"4e5b7bc7-4a76-46ac-9865-74dd2b9213d1","year":2025},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:54.087893Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:c2fbf5ebdfb7b54de2e7c1365ec7a955a25ff58d55fc0ffac5b11ebf48c2f898","observation_id":"29313851-17b9-488e-87ed-7a29a8dd77be","resolution":{"observed_at":"2026-08-06T16:13:55.289176Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:59.149902Z","title":"Tahir, H","venue":null,"work_id":"a95a61cd-33e4-4c20-bcc0-51126620bd72","year":2025},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:54.212230Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:e04e5cf5a3e18ab98455a96011d904972e242ec9bca3d40c4694566e1e72fa01","observation_id":"063ec366-6ed3-4507-8d2f-035044e043f4","resolution":{"observed_at":"2026-08-06T16:13:59.269549Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1038/s41597-020-0569-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:54.938301Z","title":"Gregory, A dataset describing data discovery and reuse practices in research, Sci- entific Data 7 (2020) 232","venue":null,"work_id":"46a9c333-f16f-4467-9bac-a15aa6ebb852","year":2020},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:54.383506Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:43716fadec0d20b1508f47145ffe98e1fcbdae48349ba5c9ace4f00a9f3f8491","observation_id":"994c0f7e-d121-4c42-8716-e955b08f35bb","resolution":{"observed_at":"2026-08-06T16:13:55.022320Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:13:58.847373Z","title":"Boetticher, T","venue":null,"work_id":"08e06f0c-5047-4353-9bf3-aec12508ffd2","year":2007},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:54.541693Z"},"links":{"citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:02a05652622e4f2a07b119658977a524dcaac2bac9f048beede44c9a30579d42","observation_id":"59678fd8-0bec-4d0c-96a5-193e8ef19407","resolution":{"observed_at":"2026-08-06T16:13:59.007470Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1807.11344","last_updated":"2018-07-30T13:42:44Z","snapshot_observed_at":"2026-07-06T06:53:03.756739Z","submitted_at":"2018-07-30T13:42:44Z","title":"The REquirements TRacing On target (RETRO).NET Dataset","version":1},"cited_work":{"arxiv_id":"1807.11344","doi":null,"metadata_source":"pith","pith_arxiv_id":"1807.11344","snapshot_observed_at":"2026-08-06T16:13:56.513146Z","title":"The REquirements TRacing On target (RETRO).NET Dataset","venue":"cs.SE","work_id":"a5b0680a-88a4-4ee7-b4d7-75d4078ae7b2","year":2018},"citing_paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects","version":3},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T16:13:54.712198Z"},"links":{"cited_paper":"/paper/1807.11344","citing_paper":"/paper/2507.14330"},"observation_digest":"sha256:d117b74a4c9493d8b07aee14effb8afffdfcb85c91f4701c85d5b17f1b1d16d2","observation_id":"f63da8a1-d305-4888-8000-01bc97b435c1","resolution":{"observed_at":"2026-08-06T16:13:56.676930Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.14330","last_updated":"2025-08-28T13:50:56Z","latest_version":3,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-06T15:56:20.113627Z","submitted_at":"2025-07-18T19:15:50Z","title":"Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects"},"reference_resolution":{"displayed":47,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":26,"verified_exact":11,"verified_fuzzy":8},"total_outbound_references":47},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 3 inbound Pith citation observations for arXiv:2507.14330."}