Paper Citation Record · LEDGER

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?

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

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

pith.paper-citation-record.v1
2310.01831 v2

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-11T06:34:44.6726+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-11T12:10:13.495124Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-25T04:55:23.803340Z

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 9102acc4-6b5e-4e86-b1da-5d5980e65be8 · 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 Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?

Reference 42

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1cb87ca-72b2-4050-add9-53298c6e897e · inbound

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model cites this paper.

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T22:07:48.822455Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8585ea0-7c3c-4c6a-ab67-6de2df08abea · inbound

Disproving Program Equivalence with LLMs cites this paper.

Disproving Program Equivalence with LLMs Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-09T05:54:17.820677Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c910231-e40c-4b0c-802c-8603497a6048 · inbound

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

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?

Reference 14

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

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.