Paper Citation Record · LEDGER

Large Language Models Based Automatic Synthesis of Software Specifications

As of 17 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 7 inbound Pith citation observations for arXiv:2304.09181.

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

pith.paper-citation-record.v1
2304.09181 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 7 of 7 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 7 of 7 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T19:52:51.764813Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-14T18:02:32.251686Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation de24cd4d-f9e3-4f22-9c45-af2dbf599bf4 · inbound

The importance of visual modelling languages in generative software engineering cites this paper.

The importance of visual modelling languages in generative software engineering Large Language Models Based Automatic Synthesis of Software Specifications

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T11:41:30.504630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 074f1a36-e4d1-4674-a46d-5ab411f02235 · inbound

A Short Survey on Formalising Software Requirements using Large Language Models cites this paper.

A Short Survey on Formalising Software Requirements using Large Language Models Large Language Models Based Automatic Synthesis of Software Specifications

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-07T01:07:25.295377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13a60abd-8c41-467c-8bb0-9689a599c3e1 · inbound

Working Document -- Formalising Software Requirements with Large Language Models cites this paper.

Working Document -- Formalising Software Requirements with Large Language Models Large Language Models Based Automatic Synthesis of Software Specifications

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.764813Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f694978f-8941-45fe-82ca-de844c01bde2 · inbound

The Impact of LLM-Assistants on Software Developer Productivity: A Systematic Review and Mapping Study cites this paper.

The Impact of LLM-Assistants on Software Developer Productivity: A Systematic Review and Mapping Study Large Language Models Based Automatic Synthesis of Software Specifications

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T20:22:29.141440Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

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

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 4a625b2d-ad4f-4aa4-affe-2aad8c468267 · inbound

Development of Automated Software Design Document Review Methods Using Large Language Models cites this paper.

Development of Automated Software Design Document Review Methods Using Large Language Models Large Language Models Based Automatic Synthesis of Software Specifications

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T18:26:17.793153Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79bb808c-7879-46b7-bc7e-cde017ca27f0 · inbound

Neurosymbolic Auditing of Natural-Language Software Requirements cites this paper.

Neurosymbolic Auditing of Natural-Language Software Requirements Large Language Models Based Automatic Synthesis of Software Specifications

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-05-14T18:02:32.255610Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.