Paper Citation Record · LEDGER

Formal Specifications from Natural Language

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

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

pith.paper-citation-record.v1
2206.01962 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-09T06:31:02.800959+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-07T15:17:02.252475Z

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

13
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 e9ee8a99-b80d-4f2a-af41-f961681ac070 · inbound

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement cites this paper.

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement Formal Specifications from Natural Language

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-07T15:17:02.252475Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6887a8b4-04b5-47a9-a062-aca86ce405a8 · 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 Formal Specifications from Natural Language

Reference 21

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab482f6d-8153-4652-880d-a91010a64981 · inbound

Lost in Translation? Converting RegExes for Log Parsing into Dynatrace Pattern Language cites this paper.

Lost in Translation? Converting RegExes for Log Parsing into Dynatrace Pattern Language Formal Specifications from Natural Language

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-06T23:13:16.660668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c351f3e-0910-4003-b456-22dad1e9c4e1 · 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 Formal Specifications from Natural Language

Reference 15

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39a9bf1c-d4b2-4eba-bf31-310b92139a1b · inbound

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

POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference Formal Specifications from Natural Language

Reference 126

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T23:56:12.272534Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ecb6d69f-2270-42a5-ba38-d0fa776cae41 · inbound

Coherency through formalisations of Structured Natural Language, A case study on FRETish cites this paper.

Coherency through formalisations of Structured Natural Language, A case study on FRETish Formal Specifications from Natural Language

Reference 23

Resolution: verified exact; arxiv_id, observed 2026-05-12T06:16:29.246481Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9162386d-f912-4e4c-ae9a-d3fb7ec92d63 · inbound

Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling cites this paper.

Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling Formal Specifications from Natural Language

Reference 30

Resolution: verified exact; arxiv_id, observed 2026-06-28T14:32:17.713344Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c368a371-d7c3-4f47-a681-f0eea4c6e94b · 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 Formal Specifications from Natural Language

Reference 13

Resolution: metadata mismatch; arxiv_id, observed 2026-07-02T12:26:56.957544Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.