{"as_of":"2026-08-13T04:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a3277af31ebc6e5f401fb12c7ec6ce04cd7e1ad0de2bc75533003bf8256810cc","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-12T06:34:41.77262+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-10T10:08:35.710771Z","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-08-11T16:25:44.473062Z","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:afe49b0b3d0e51edf12ab912f0a931d61ca3396acc3fc21c52fb3b15680c6ef5","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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-08-11T16:46:23.946121Z","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:bbdc6acf45bc4218cd58ae028ae9ab5a905bea7377acc53eab03a02d658d228f","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:b02c940050f8d0e32e97209d92717e596e045693b677896ade93e5e843e94e03","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T02:19:50.119613Z","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-10T10:08:35.710771Z","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:3d48d94e8b23423fabea91df86505b7daef37ffcac368c96c0a14615718aad09","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T02:05:29.978701Z","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-10T10:08:35.710771Z","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:346e2f136be2557985cc04f23bb91b21010ceff2f44f5e7cdc7a8f914c4a9052","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:de629aa9e0facf06837143bd814c8a1f6cce863656cbe3296432a44700290236","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Robles, N","venue":"Lecture notes in computer science","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-10T10:08:35.710771Z","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:accced6b4f79bcf0bc809dd5c0bcf3bdd429f8de012fb08d00fa8f14e59aa916","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:54c9d436332d5695ce9a14bac153aa39908d2c5dccfb2ec5650d0f932c809a07","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-08-13T00:16:47.633700Z","submitted_at":"2024-05-02T15:20:01Z","title":"Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.01379","snapshot_observed_at":"2026-08-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-10T10:08:35.710771Z","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:b1ea331c1ccc2a16560cc1741e870d0399e39ddb90f838caa979637df359889a","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-08-12T22:08:02.843826Z","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-10T10:08:35.710771Z","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:4e181a9de0fd44b196f0c66a46c341600590929fcc2999ac81a69fc82ae311fc","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-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-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-10T10:08:35.710771Z","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:33ccbc0cd1ce57bffe5e74e826e133bb0e4672fbb21492b524e8526a17b91436","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-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-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-10T10:08:35.710771Z","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:ea0f77cf6294a9766b8884be013b8f6c00f50b20276dae6fc3ba50c82c304551","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-10T10:08:35.710771Z","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:9f7435e0aaae38cf0dc75a8c7d2dac976688b412d741a759f4466daf2f48ddec","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08807","last_updated":"2025-02-25T07:20:36Z","snapshot_observed_at":"2026-08-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-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-10T10:08:35.710771Z","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:883585174be3dddf9bd13c6520a0b6252c1c831285fcba1900aa490967b8aca9","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-10T10:08:35.710771Z","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:f9ea30c6d6c82c13552df9ed732feb47dcf6ca88e226218c301c9d584c2c4ac6","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-10T10:08:35.710771Z","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:450caf741b21c02bf39cc0990b7962bd185eaedb25014230b96fedc4b841b064","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-08-12T18:18:47.944297Z","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-10T10:08:35.710771Z","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:0b28552680f5fe5e695e356723383bd23c2fb60cbd6f955e6f7a56425ae6e9a9","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Gervasi, B","venue":"Software Practice and Experience","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-10T10:08:35.710771Z","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:83d1c6cc0ddb49a8e43f116cd9b6990cb17fca9188b3122472db11d33f84b857","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:3f387dd5bc82e1c09969982857ebad8f36af7345432e02b3e11a7c2d2dac9f32","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:9f643e18656ac79ad4ddf8b6b6086ab42b43900c2eb0a29a26cb8bc5ef820eee","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:06a73ee7d3092f8e459987c1cfa1e443f88d7ace627b0f578d97e51dfb190a0b","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:ede73d54cba832e6ec56a1eeaad8ad890dbd771aae89775c77e95e8c7554c0c9","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Information Systems","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-10T10:08:35.710771Z","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:ee221d042ffa0c09bd90861680b444e5956ec1eea7acfa7208ae5d803aba3c63","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:9aa977a69104f1561e971be74a6f02e9924c9a73de8d40740c456fbd165e70c8","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-10T10:08:35.710771Z","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:afcde0ff53afb229fbdc44a91d6eb017e1375c229eb8dddf37c84eac68c30abe","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:ebdb0c8729a6e3792321cdfdd1912c40cad4a7c03b7e6304ac79282b6a10c41e","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:ba65e2c1dc8ce77ef1b598562f98874e349ae01bc1b062930926e45cde524b4d","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-12T23:57:32.075060Z","submitted_at":"2024-05-27T03:26:01Z","title":"Laurel: Unblocking Automated Verification with Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.16792","snapshot_observed_at":"2026-08-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-10T10:08:35.710771Z","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:fd94b2430080dd2f69f2d87e022b1bde6751e249fb4d2a78adb63c38c7581451","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-10T10:08:35.710771Z","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:2eeeae1ae1ebfc927d65653e7dff9bb2326a90aa83d3555379617c8ea0ad4480","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:5b4355c808e27798a1a419bf32294eec26a888eafc257f6b3d5eb2cb0383827c","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-08-10T02:12:26.388930Z","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-10T10:08:35.710771Z","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:4f8ab36d18a40e5ad937b0827399e006547cabddd74c4e7076a7cf71dad61ba8","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:07b8cc199cd4027e8c8d782bedff3f1945e1591df307a0eb9f8740f6874b7375","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:79c81b38b9fa9f21851ea2c0f49fa9430ea2f50083495600680eeee543838102","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-10T10:08:35.710771Z","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:c899748e44fef9f76d2b5534ea75b7f0298c5373bbbf66b86f1bfebf108aafbe","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-10T10:08:35.710771Z","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:c364490a8bd127489f61f538d633026f2d2349ff6d0bb829a4bc46331168fa6b","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:645dd225f1a78731eaebedf9367f7970c0dd8f946ee839c90279eef033df7d5e","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-10T10:08:35.710771Z","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:aca78e881128cead2f13c2776d0c200f85730ebbdc9321339c081d790dd57644","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-10T10:08:35.710771Z","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:7a01f59670c07675cef74bec93b867f5be82b6098ade919527b8a7aba4d2414a","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-10T10:08:35.710771Z","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:6872d2cf673fe7912fa0e05a66e682632a3db5adf83861935515dc597ae18afd","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:4fe5641d3413bcf08ebef3f18d74ce947c8e277406ddebb1f71bd7e592582b67","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-10T10:08:35.710771Z","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:44c8a3d5ab7d71912765988733a84322383c8b89df8ef2d72eb4d0e43208da9b","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:62990c1f6b48b19b214828c4897b46a0b97923cd8c6a1bfae878a4b8e288c0ac","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-10T10:08:35.710771Z","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:204fa0b8e49dc179610e1832fa4deafed6b60b2f351ce64e70191e0831af088b","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-10T10:08:35.710771Z","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:dc39a1ed3aa3120e91da244f3a79f73469d217a9cf22e0b80f8b5967312b35c5","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-10T10:08:35.710771Z","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:dd0ac5a402ba0ff69e9d5f34cb8e8aaf41b2a35f4aec244a94f7c8a07ae0e723","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-10T10:08:35.710771Z","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:5d49ea699e399c26cba47a3ace58e92688c995ed57dfbeecd3c2775a320bafd1","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:d14e706178024de22cb2c144924bbf485f11c74cf82d30ad816fecfeb321bd76","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Gregory, A dataset describing data discovery and reuse practices in research, Sci- entific Data 7 (2020) 232","venue":"Scientific Data","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-10T10:08:35.710771Z","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:e356a987b3af143534234c1a0a4c214ae13f2eb2a7e88da28fcfd9e7387f6e1c","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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:9e17c481111d9e6e35e97acbd2e32eafe028ee351bc56ad8c5d077799bfff7f4","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-08-10T17:25:57.167056Z","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-10T10:08:35.710771Z","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:dde3d797f14c4057d2e337db5002316256eed32547b051dfb500ac81c59d14d7","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-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-10T10:08:35.710771Z","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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 3 inbound Pith citation observations for arXiv:2507.14330."}