Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Formal Specifications from Natural Language
As of 23 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 14 inbound Pith citation observations for arXiv:2206.01962.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-15T19:52:51.680773Z
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 efa01849-e2d8-4cdb-8176-dbb4a85b5d7e · inbound
Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software cites this paper.
Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software Formal Specifications from Natural Language
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:42:23.445779Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
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 da2fcd1c-032d-46c8-b0d3-7c5ffd20f971 · inbound
Working Document -- Formalising Software Requirements with Large Language Models cites this paper.
Working Document -- Formalising Software Requirements with Large Language Models Formal Specifications from Natural Language
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:52:51.680773Z
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 0d01bd19-4d49-42eb-8692-4c4136d922c3 · inbound
CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models cites this paper.
CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models Formal Specifications from Natural Language
Reference 2019
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T16:12:30.797210Z
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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+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-23T06:30:58.430688+00:00.
Observation b2c13a08-38e4-46b6-8d34-f93512fad5d4 · inbound
Semiotic logical hexagon theory for LLM logical reasoning cites this paper.
Semiotic logical hexagon theory for LLM logical reasoning Formal Specifications from Natural Language
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T15:33:04.986580Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d3d0b688-5be0-4d17-b3cd-f11f3a087afb · inbound
Surfacing the Unsaid: CUE-Bench for Affective Stance in Chinese Discourse cites this paper.
Surfacing the Unsaid: CUE-Bench for Affective Stance in Chinese Discourse Formal Specifications from Natural Language
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T16:59:19.253866Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 97a3ecdc-d662-4b56-b6ad-f62eaa580fea · inbound
Surfacing the Unsaid: CUE-Bench for Affective Stance in Chinese Discourse cites this paper.
Surfacing the Unsaid: CUE-Bench for Affective Stance in Chinese Discourse Formal Specifications from Natural Language
Reference 119
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T14:19:34.699543Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.