Paper Citation Record · LEDGER

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects

As of 15 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 3 inbound Pith citation observations for arXiv:2507.14330.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.14330 v3

Coverage vector

measured 47 of 47 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T16:13:54.712198Z

measured 50 of 50 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-06-28T02:07:48.232542Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-07-02T12:26:56.958692Z

Reference resolution

47 of 47 outbound references displayed

verified exact11
verified fuzzy8
unresolved26
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0b085f28-d524-408c-a0fe-4bc51ff3b66a · outbound

This paper cites Formal Methods: From Academia to Industrial Practice. A Travel Guide.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Formal Methods: From Academia to Industrial Practice. A Travel Guide

Reference 1

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:13:58.677134Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1021c496-6221-4fe1-9807-6bb428775e7a · outbound

This paper cites Formalising Software Requirements using Large Language Models.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Formalising Software Requirements using Large Language Models

Reference 2

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:13:58.359366Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d6012ff6-7f42-4b8c-864c-481fdf319eac · outbound

This paper cites Granberry, W.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Granberry, W

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:14:04.050870Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 316a2a7d-24ae-4827-91df-2734fc6226fe · outbound

This paper cites Robles, N.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Robles, N

Reference 4

Resolution: verified exact; doi, observed 2026-08-06T16:13:56.374823Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation ca3c393c-8968-43be-9501-294c961d5ce3 · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-08-06T16:13:49.089580Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95701591-969b-4024-8c52-33761089e888 · outbound

This paper cites Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:49.215071Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5684234-30d5-4b52-a7cb-24af04f2e40c · outbound

This paper cites Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:49.361932Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2afde621-87dc-4154-8501-88055910f77a · outbound

This paper cites nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:49.499772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99f66b00-8f50-45b0-9190-0094c54cfa2c · outbound

This paper cites Large Language Models Based Automatic Synthesis of Software Specifications.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Large Language Models Based Automatic Synthesis of Software Specifications

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:49.616157Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 473fbe43-e8b1-4484-bd0d-d1db69bf5676 · outbound

This paper cites Nayak, H.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Nayak, H

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:14:02.649654Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 7325159b-b8be-4146-b94c-dff428c0029d · outbound

This paper cites SpecGen: Automated Generation of Formal Program Specifications via Large Language Models.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:49.810215Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92bbe9e1-9c6f-4f5e-a80a-1f17af7840fa · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:49.873488Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9e46e6b-7bf5-4ef9-be8d-58ab5fefd76e · outbound

This paper cites SpecLLM: Exploring Generation and Review of VLSI Design Specification with Large Language Model.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects SpecLLM: Exploring Generation and Review of VLSI Design Specification with Large Language Model

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:49.973658Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e337ff9-fa7a-4801-ab34-6321716a2458 · outbound

This paper cites Exploring LLMs for Verifying Technical System Specifications Against Requirements.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Exploring LLMs for Verifying Technical System Specifications Against Requirements

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:50.043839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed17ffe7-2733-43b4-a8db-2a07bd00db4f · outbound

This paper cites Gervasi, B.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Gervasi, B

Reference 15

Resolution: verified exact; doi, observed 2026-08-06T16:13:56.027766Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 99592770-f302-42ec-9c26-aba6ba4b8882 · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 16

Resolution: verified exact; raw_fallback, observed 2026-08-06T16:13:57.786559Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f20d0dd9-f824-465a-9b7d-17169eaac49d · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 17

Resolution: verified exact; raw_fallback, observed 2026-08-06T16:13:57.444084Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation e5a5e1c7-57bd-4003-87da-4741e759c4b4 · outbound

This paper cites Nowakowski, M.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Nowakowski, M

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:14:02.293083Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 06a93f3f-97d8-47d9-af81-fc0db5d90d8a · outbound

This paper cites Ghosh, D.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Ghosh, D

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:14:02.052068Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 56cf0fca-81fa-4ad8-b359-6baad56694bc · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 20

Resolution: verified exact; doi, observed 2026-08-06T16:13:55.696645Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 82194296-9bc0-4840-8907-afc1184fd356 · outbound

This paper cites Fazelnia, M.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Fazelnia, M

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:50.849278Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a7d425f-6224-4c2e-a718-8bbc42da84dc · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:14:01.597762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1528ac71-4f9d-4eab-80e3-cfa1e9cfc0c0 · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:14:01.261936Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 735e183e-04fd-47bd-8e60-509381adc9b9 · outbound

This paper cites Granberry, W.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Granberry, W

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:14:00.970204Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 0119fc7d-7455-473b-ae87-1574d5fc2fee · outbound

This paper cites Laurel: Unblocking Automated Verification with Large Language Models.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Laurel: Unblocking Automated Verification with Large Language Models

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:51.470873Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a117a86-2d1b-4a46-aff8-a2e4290e6f57 · outbound

This paper cites Kojima, S.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Kojima, S

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:14:00.650110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 60df170c-8e92-4e7f-83c0-c9dc398f1c91 · outbound

This paper cites One-Shot Learning as Instruction Data Prospector for Large Language Models.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects One-Shot Learning as Instruction Data Prospector for Large Language Models

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:51.795465Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2c36f6b-48d3-47cc-9c0a-566d1af733ea · outbound

This paper cites Self-Convinced Prompting: Few-Shot Question Answering with Repeated Introspection.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Self-Convinced Prompting: Few-Shot Question Answering with Repeated Introspection

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:13:56.965903Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation fe69c1f0-6fa0-4056-a860-236cf0e53bd9 · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:14:00.408007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation adde6d4f-2f90-4535-94d5-95bff53ad103 · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:52.290199Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08105cff-e7ff-401c-b484-404664c2f97b · outbound

This paper cites Hsieh, Y.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Hsieh, Y

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:52.410810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3ccdc85-6ca3-4de0-98c2-67b15b6783d9 · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:14:00.160113Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 77bdd5ae-0f73-4398-8090-5355644d48de · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:52.739664Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14dd10c4-67b0-4006-a320-5cdd458927f9 · outbound

This paper cites Reprompting: Automated Chain-of-Thought Prompt Inference Through Gibbs Sampling.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Reprompting: Automated Chain-of-Thought Prompt Inference Through Gibbs Sampling

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:52.883912Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d407fc3-5da8-4d8c-af19-4258b959505d · outbound

This paper cites Besta, F.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Besta, F

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:53.024271Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fa0b764-111c-49b0-807a-f30d3dc0d709 · outbound

This paper cites Lewis, E.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Lewis, E

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:13:59.833283Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1e67653a-d159-4d7b-85e5-253a1d65e094 · outbound

This paper cites A Systematic Survey of Prompt Engineering in Large Language Models: Techniques and Applications.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects A Systematic Survey of Prompt Engineering in Large Language Models: Techniques and Applications

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:53.318541Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d0fc42b-f127-4987-a67f-36e7b340874c · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-06T16:13:59.552719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 44ef8917-c466-431d-883e-13c443a1af84 · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:53.585282Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df3a1904-fe92-49f7-9785-a12551776331 · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:53.694648Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba827f9d-9253-44d8-b88e-2722d4f67a30 · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:53.861285Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c8c00c6-12d8-4b9b-9ce5-62a60b456436 · outbound

This paper cites an unresolved cited work.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:53.967670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29313851-17b9-488e-87ed-7a29a8dd77be · outbound

This paper cites Porshnev, et al., Modelling implicit bias in gender–career associations: A systematic comparison of language models, PsyArXiv (2025).

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Porshnev, et al., Modelling implicit bias in gender–career associations: A systematic comparison of language models, PsyArXiv (2025)

Reference 43

Resolution: verified exact; doi, observed 2026-08-06T16:13:55.289176Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 063ec366-6ed3-4507-8d2f-035044e043f4 · outbound

This paper cites Tahir, H.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Tahir, H

Reference 44

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T16:13:59.269549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 994c0f7e-d121-4c42-8716-e955b08f35bb · outbound

This paper cites Gregory, A dataset describing data discovery and reuse practices in research, Sci- entific Data 7 (2020) 232.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Gregory, A dataset describing data discovery and reuse practices in research, Sci- entific Data 7 (2020) 232

Reference 45

Resolution: verified exact; doi, observed 2026-08-06T16:13:55.022320Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 59678fd8-0bec-4d0c-96a5-193e8ef19407 · outbound

This paper cites Boetticher, T.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Boetticher, T

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T16:13:59.007470Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation f63da8a1-d305-4888-8000-01bc97b435c1 · outbound

This paper cites The REquirements TRacing On target (RETRO).NET Dataset.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects The REquirements TRacing On target (RETRO).NET Dataset

Reference 47

Resolution: verified exact; local_arxiv, observed 2026-08-06T16:13:56.676930Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Pith citing papers

Observation ad821f6b-cb5b-4cbe-a80b-57e1dfc19cfd · inbound

VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline cites this paper.

VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects

Reference 1

Resolution: verified exact; arxiv_id, observed 2026-05-11T10:31:01.360275Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2f307869-8fd3-4b6d-935d-3952a97497c3 · inbound

Ambiguity Detection and Elimination in Automated Executable Process Modeling cites this paper.

Ambiguity Detection and Elimination in Automated Executable Process Modeling Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-05-11T09:05:57.818747Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 62e5e703-f7b3-40b7-9ca8-61a087d0cb58 · inbound

Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation cites this paper.

Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects

Reference 6

Resolution: metadata mismatch; arxiv_id, observed 2026-07-02T12:26:56.960087Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.