Paper Citation Record · LEDGER

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 18 inbound Pith citation observations for arXiv:2401.08807.

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

pith.paper-citation-record.v1
2401.08807 v5

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

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

measured 18 of 18 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-08T10:14:03.538491Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

6
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 78b45f3d-e98f-406a-b037-c0c35a57686c · inbound

Intention is All You Need: Refining Your Code from Your Intention cites this paper.

Intention is All You Need: Refining Your Code from Your Intention SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-08T10:14:03.538491Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e6c5447-1c14-4a84-92aa-2ba26a2b1234 · inbound

ClassInvGen: Class Invariant Synthesis using Large Language Models cites this paper.

ClassInvGen: Class Invariant Synthesis using Large Language Models SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 30

Resolution: verified exact; arxiv_id, observed 2026-05-23T02:45:19.247144Z

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.

Observation 8f323fdf-9661-437e-ab4a-ce12d2f00c7e · inbound

Autoformalization in the Era of Large Language Models: A Survey cites this paper.

Autoformalization in the Era of Large Language Models: A Survey SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 2003

Resolution: unresolved; no resolver link, observed 2026-08-07T12:49:12.867325Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

Formalising Software Requirements using Large Language Models cites this paper.

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 bae98f85-7c8a-42b5-81ef-b6e841694229 · 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 SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 34

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84ff5209-96a8-4d4d-b97f-d6d42c453777 · inbound

Supporting Software Formal Verification with Large Language Models: An Experimental Study cites this paper.

Supporting Software Formal Verification with Large Language Models: An Experimental Study SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T19:42:49.437633Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce535804-7d3a-4e8a-812f-79c250380047 · inbound

gigiProfiler: Diagnosing Performance Issues by Uncovering Application Resource Bottlenecks cites this paper.

gigiProfiler: Diagnosing Performance Issues by Uncovering Application Resource Bottlenecks SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T19:09:20.153323Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c09277e-9aaf-4d8c-bf0a-b0e5ada24457 · inbound

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

Breaking the Myth: Can Small Models Infer Postconditions Too? SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 31

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

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

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 a5e5e872-8d30-49eb-871c-82d678efc226 · inbound

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision cites this paper.

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-05T16:20:32.618301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10460ded-791c-44f6-b510-b1941270b06e · inbound

LLM-Based Agentic Systems for Software Engineering: Challenges and Opportunities cites this paper.

LLM-Based Agentic Systems for Software Engineering: Challenges and Opportunities SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 2005

Resolution: unresolved; no resolver link, observed 2026-08-03T10:30:40.508028Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e934fb5-ec31-484a-af7e-bc4d339fecff · inbound

Evaluating LLM-Generated ACSL Annotations for Formal Verification cites this paper.

Evaluating LLM-Generated ACSL Annotations for Formal Verification SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-15T22:16:42.652038Z

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.

Observation 3125ed2a-e4e1-400d-b489-f6d333829ed2 · inbound

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification cites this paper.

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 53

Resolution: verified exact; arxiv_id, observed 2026-05-11T14:46:40.715657Z

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.

Observation 15c33f15-6ddd-4aeb-bf3f-6a56e37b04df · inbound

POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference cites this paper.

POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-11T23:56:12.242410Z

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.

Observation 41043477-9045-4667-ba3b-df7078586f83 · inbound

BODHI: Precise OS Kernel Specification Inference cites this paper.

BODHI: Precise OS Kernel Specification Inference SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 14

Resolution: metadata mismatch; arxiv_id, observed 2026-07-05T02:10:36.456501Z

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.

Observation aa9b5347-b8bd-45b4-b8e2-8bb79d30614a · 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 SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 26

Resolution: verified exact; arxiv_id, observed 2026-07-02T12:26:56.962532Z

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.

Observation 96d1d640-0819-4895-b49b-5b6ceeb7b5e1 · inbound

Brick-DICL: Dynamic In-Context Learning for Automated Brick Schema Classification cites this paper.

Brick-DICL: Dynamic In-Context Learning for Automated Brick Schema Classification SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 20

Resolution: metadata mismatch; arxiv_id, observed 2026-07-03T20:28:55.722301Z

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.

Observation a2a9d09f-4f5e-4249-8647-e2800ac4cc22 · inbound

VeriSkill: A Self-Evolution Framework for Program Verification Skills cites this paper.

VeriSkill: A Self-Evolution Framework for Program Verification Skills SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T02:26:35.595043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.