Paper Citation Record · LEDGER

How Effective are Large Language Models in Generating Software Specifications?

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

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

pith.paper-citation-record.v1
2306.03324 v3

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 4 of 4 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 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:23:13.952400Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T13:49:52.480945Z

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 df022fc0-61ea-45de-ae97-5f3fb18167cc · inbound

VulBinLLM: LLM-powered Vulnerability Detection for Stripped Binaries cites this paper.

VulBinLLM: LLM-powered Vulnerability Detection for Stripped Binaries How Effective are Large Language Models in Generating Software Specifications?

Reference 108

Resolution: unresolved; no resolver link, observed 2026-08-07T13:23:13.952400Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ea34bc9-68f2-4ab8-a51a-affa23f0ac38 · inbound

Breaking the Myth: Can Small Models Infer Postconditions Too? cites this paper.

Breaking the Myth: Can Small Models Infer Postconditions Too? How Effective are Large Language Models in Generating Software Specifications?

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-06T17:41:43.419516Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a9dfbad-3d5c-4c91-86a8-6fbe11742e78 · inbound

GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents cites this paper.

GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents How Effective are Large Language Models in Generating Software Specifications?

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T00:30:40.301164Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 102705dd-949d-4ea6-b43a-62617ec5e884 · inbound

An Empirical Study of LLM-Generated Specifications for VeriFast cites this paper.

An Empirical Study of LLM-Generated Specifications for VeriFast How Effective are Large Language Models in Generating Software Specifications?

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-07-04T13:49:52.482601Z

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.