Paper Citation Record · LEDGER

Formalising Software Requirements using Large Language Models

As of 7 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 1 inbound Pith citation observation for arXiv:2506.10704.

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

pith.paper-citation-record.v1
2506.10704 v1

Coverage vector

measured 11 of 11 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T04:22:32.630358Z

measured 12 of 12 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

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

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T16:13:58.268095Z

Reference resolution

11 of 11 outbound references displayed

verified exact0
verified fuzzy4
unresolved7
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b3dc30bc-d134-46d8-91d7-28de243f2600 · outbound

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

Formalising Software Requirements using Large Language Models Formal Methods: From Academia to Industrial Practice. A Travel Guide

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T04:22:32.601501Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bf44895-3b0d-4250-975b-1e302e32237b · outbound

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

Formalising Software Requirements using Large Language Models Laurel: Unblocking Automated Verification with Large Language Models

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T04:22:32.604934Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11a8c03f-20db-4e63-b86c-f826c4672dfd · outbound

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

Formalising Software Requirements using Large Language Models nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T04:22:32.607805Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab38d9f4-925c-481a-902a-e0f8be4654d7 · outbound

This paper cites As- sertllm: Generating hardware verification assertions from design specifications via multi-llms,.

Formalising Software Requirements using Large Language Models As- sertllm: Generating hardware verification assertions from design specifications via multi-llms,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:22:32.736684Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f3518713-0b75-41d6-beb7-44d8462a8943 · outbound

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

Formalising Software Requirements using Large Language Models SpecLLM: Exploring Generation and Review of VLSI Design Specification with Large Language Model

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T04:22:32.613138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35e304c5-5bcf-432a-b3f0-b21d7524fe3c · outbound

This paper cites Translating natural language require- ments to formal specifications: A study on gpt and symbolic nlp,.

Formalising Software Requirements using Large Language Models Translating natural language require- ments to formal specifications: A study on gpt and symbolic nlp,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:22:32.728502Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0677d04a-6515-4019-b1cc-8f396a307ee0 · outbound

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

Formalising Software Requirements using Large Language Models Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T04:22:32.618962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ac3f3bb-201a-419d-ac41-5f173079c44c · outbound

This paper cites Specify what? en- hancing neural specification synthesis by symbolic methods,.

Formalising Software Requirements using Large Language Models Specify what? en- hancing neural specification synthesis by symbolic methods,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:22:32.720187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 416b6292-8448-485d-8969-f3a852f37890 · outbound

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

Formalising Software Requirements using Large Language Models SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T04:22:32.624317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3bc5ca0-6b70-488b-a3c9-9d131f7ef262 · outbound

This paper cites Supporting pro- cess model validation through natural language generation,.

Formalising Software Requirements using Large Language Models Supporting pro- cess model validation through natural language generation,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:22:32.711785Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4602415f-5276-4f6b-80e5-fcf526f9d2bf · outbound

This paper cites Bis: Nl2sql service evaluation benchmark for business intelligence scenarios,.

Formalising Software Requirements using Large Language Models Bis: Nl2sql service evaluation benchmark for business intelligence scenarios,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T04:22:32.630358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

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

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects cites this paper.

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-07T06:34:17.273281+00:00.