Paper Citation Record · LEDGER

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

As of 20 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 22 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 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 22 of 22 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-16T05:28:31.898651Z

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 f26a791f-b3ed-4ccc-8a85-78930187f384 · inbound

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo cites this paper.

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-12T13:49:45.744071Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f98eb2a8-c486-4f0d-9ac0-16fe3937b27b · inbound

The Current Challenges of Software Engineering in the Era of Large Language Models cites this paper.

The Current Challenges of Software Engineering in the Era of Large Language Models SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 108

Resolution: unresolved; no resolver link, observed 2026-08-11T12:10:14.026906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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-20T06:33:59.587034+00:00.

Observation 533351e7-9227-49ae-bd5d-71421e401cf5 · inbound

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis cites this paper.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:31.898651Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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 0ab178d2-00e1-4913-a298-edc33ef6acc2 · inbound

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

Working Document -- Formalising Software Requirements with Large Language Models SpecGen: Automated Generation of Formal Program Specifications via Large Language Models

Reference 57

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

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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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-20T06:33:59.587034+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.