Paper Citation Record · LEDGER

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference

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

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

pith.paper-citation-record.v1
2503.04779 v4

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

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

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T14:50:27.926856Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-16T21:28:34.155189Z

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 69f30918-cc09-4b6e-9991-b73a8579d6c0 · inbound

CodeReasoner: Enhancing the Code Reasoning Ability with Reinforcement Learning cites this paper.

CodeReasoner: Enhancing the Code Reasoning Ability with Reinforcement Learning Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T14:50:27.926856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation baa7d803-36cb-4655-b069-b728470de6ad · inbound

Evaluating Code Reasoning Abilities of Large Language Models Under Real-World Settings cites this paper.

Evaluating Code Reasoning Abilities of Large Language Models Under Real-World Settings Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference

Reference 32

Resolution: verified exact; arxiv_id, observed 2026-05-16T21:28:34.157279Z

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 a2338d04-9ad6-4275-8310-deecdcac0615 · inbound

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

AutoReSpec: A Framework for Generating Specification using Large Language Models Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference

Reference 26

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 57e09bb1-dcab-4816-b1b1-c1ddb4c389eb · inbound

StepCodeReasoner: Aligning Code Reasoning with Stepwise Execution Traces via Reinforcement Learning cites this paper.

StepCodeReasoner: Aligning Code Reasoning with Stepwise Execution Traces via Reinforcement Learning Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference

Reference 36

Resolution: verified exact; arxiv_id, observed 2026-05-13T05:32:20.335805Z

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 e369fe39-8967-459b-9c77-7f1581994318 · inbound

AfterVibe: What Remains When the Conversation Ends cites this paper.

AfterVibe: What Remains When the Conversation Ends Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-14T14:44:06.395802Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c0a8150-87f6-4687-bb49-766d6c50d18b · inbound

TLA+-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA Specification Generation cites this paper.

TLA+-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA Specification Generation Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-30T22:39:33.926067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69008018-8a29-48f4-bfd3-e4c8ad06ad34 · inbound

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

GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference

Reference 13

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.