Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Large Language Models Based Automatic Synthesis of Software Specifications
As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 5 inbound Pith citation observations for arXiv:2304.09181.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-07T01:07:25.295377Z
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 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 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-08T06:32:00.761636+00:00.