Paper Citation Record · LEDGER

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification

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

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

pith.paper-citation-record.v1
2404.00762 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 8 of 8 standing notices

One-hop event checks from named stored sources.

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

measured 8 of 8 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-11T22:57:11.293730Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-06-28T23:52:49.333537Z

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 0c0f8858-da98-4af7-b7ea-24eaf66a65ef · inbound

Specification Generation for Neural Networks in Systems cites this paper.

Specification Generation for Neural Networks in Systems Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-11T22:57:11.293730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c6591e7-ba41-4331-96fe-3bc290b1aa90 · inbound

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations cites this paper.

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification

Reference 23

Resolution: verified exact; arxiv_id, observed 2026-05-18T02:00:40.084842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 3c07e68b-cd3d-4e2c-afca-412b0eb564e8 · inbound

BRIDGE: Building Representations In Domain Guided Program Synthesis cites this paper.

BRIDGE: Building Representations In Domain Guided Program Synthesis Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-05-17T05:24:04.775426Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 32dba03b-a387-4cb5-881c-228a658bef4e · inbound

AutoReSpec: A Framework for Generating Specification using Large Language Models cites this paper.

AutoReSpec: A Framework for Generating Specification using Large Language Models Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-13T12:22:36.910102Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3be6029-8e7f-4a75-aeed-1df57c96778f · inbound

SpecPylot: Python Specification Generation using Large Language Models cites this paper.

SpecPylot: Python Specification Generation using Large Language Models Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-05-10T08:48:01.999215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 94644a72-f2ad-41ae-8332-cbf13a374474 · inbound

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems cites this paper.

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification

Reference 54

Resolution: verified exact; arxiv_id, observed 2026-05-25T04:55:23.713907Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 8c7553d2-bed3-4812-a87a-b058c06458d1 · inbound

Automating Formal Verification with Reinforcement Learning and Recursive Inference cites this paper.

Automating Formal Verification with Reinforcement Learning and Recursive Inference Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification

Reference 90

Resolution: verified exact; arxiv_id, observed 2026-06-28T23:52:49.335135Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 32ad9ee5-3eeb-45bf-b1ae-f7b997c8867a · inbound

GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation cites this paper.

GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-05T16:34:39.853447Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.