Paper Citation Record · LEDGER

Exploring LLMs for Verifying Technical System Specifications Against Requirements

As of 17 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 4 inbound Pith citation observations for arXiv:2411.11582.

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

pith.paper-citation-record.v1
2411.11582 v1

Coverage vector

measured 15 of 15 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T18:24:53.622934Z

measured 19 of 19 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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-15T19:52:51.818366Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T15:46:35.790265Z

Reference resolution

15 of 15 outbound references displayed

verified exact0
verified fuzzy14
unresolved1
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b86c4438-ffb0-4add-9837-148c4fff4eee · outbound

This paper cites Maalej and A.

Exploring LLMs for Verifying Technical System Specifications Against Requirements Maalej and A

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:24:53.826407Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b800dfee-414c-40af-8dfe-15c17a18c285 · outbound

This paper cites Knowledge based requirement engineering for one-of-a-kind complex systems,.

Exploring LLMs for Verifying Technical System Specifications Against Requirements Knowledge based requirement engineering for one-of-a-kind complex systems,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:24:53.813411Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 492d3e80-0794-432d-9728-5bc47e1db338 · outbound

This paper cites Towards AI-centric Requirements Engineering for Industrial Systems,.

Exploring LLMs for Verifying Technical System Specifications Against Requirements Towards AI-centric Requirements Engineering for Industrial Systems,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:24:53.800229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 22b97749-4eb6-405d-b5b4-19191bae1751 · outbound

This paper cites Knowledge Injection to Counter Large Language Model (LLM) Hallucination,.

Exploring LLMs for Verifying Technical System Specifications Against Requirements Knowledge Injection to Counter Large Language Model (LLM) Hallucination,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:24:53.790291Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 68276dd0-edc1-4582-90af-fc4b6dc7c09a · outbound

This paper cites Automated requirement contradiction detection through formal logic and LLMs,.

Exploring LLMs for Verifying Technical System Specifications Against Requirements Automated requirement contradiction detection through formal logic and LLMs,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:24:53.778766Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 5ab01ba7-37c2-4586-841a-220a68765310 · outbound

This paper cites Supporting High-Level to Low-Level Requirements Coverage Reviewing with Large Language Models,.

Exploring LLMs for Verifying Technical System Specifications Against Requirements Supporting High-Level to Low-Level Requirements Coverage Reviewing with Large Language Models,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:24:53.768011Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4d140ff6-e790-4a56-a6b4-4136c39fa58c · outbound

This paper cites An Empirical Study of the Code Generation of Safety-Critical Software Using LLMs,.

Exploring LLMs for Verifying Technical System Specifications Against Requirements An Empirical Study of the Code Generation of Safety-Critical Software Using LLMs,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:24:53.756442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d1999316-c02f-4c21-b416-1c3f4a9fc0bd · outbound

This paper cites Requirements Verification Through the Analysis of Source Code by Large Language Models,.

Exploring LLMs for Verifying Technical System Specifications Against Requirements Requirements Verification Through the Analysis of Source Code by Large Language Models,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:24:53.744090Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation cb0e8380-9ae5-4487-a587-d421e8efa31b · outbound

This paper cites Lessons from the Use of Natural Language Inference (NLI) in Requirements Engineering Tasks,.

Exploring LLMs for Verifying Technical System Specifications Against Requirements Lessons from the Use of Natural Language Inference (NLI) in Requirements Engineering Tasks,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:24:53.731838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b14090ac-6754-4596-a935-f73ae5ab54b3 · outbound

This paper cites Interlinking User Stories and GUI Prototyping: A Semi-Automatic LLM-Based Approach,.

Exploring LLMs for Verifying Technical System Specifications Against Requirements Interlinking User Stories and GUI Prototyping: A Semi-Automatic LLM-Based Approach,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:24:53.718925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a56b67f4-e110-41b7-8c7d-3bdc0fef3ed7 · outbound

This paper cites Enhancing Legal Compliance and Regulation Analysis with Large Language Models,.

Exploring LLMs for Verifying Technical System Specifications Against Requirements Enhancing Legal Compliance and Regulation Analysis with Large Language Models,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:24:53.705980Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 8e8417a9-f7df-4c73-9b2a-1ee326b312ee · outbound

This paper cites Optimal Thresholding of Classifiers to Maximize F1 Measure,.

Exploring LLMs for Verifying Technical System Specifications Against Requirements Optimal Thresholding of Classifiers to Maximize F1 Measure,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:24:53.694417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation c13e5c6f-7c6f-4d8b-b7b3-be4898a4991f · outbound

This paper cites Large Language Models are Zero- Shot Reasoners,.

Exploring LLMs for Verifying Technical System Specifications Against Requirements Large Language Models are Zero- Shot Reasoners,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:24:53.682488Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation f2bf98ab-f2c2-4a25-b007-3f78219822a2 · outbound

This paper cites Decomposed Prompting: A Modular Approach for Solving Complex Tasks,.

Exploring LLMs for Verifying Technical System Specifications Against Requirements Decomposed Prompting: A Modular Approach for Solving Complex Tasks,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:24:53.670115Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a1d56af1-16e4-4332-b46a-5cf6677a7053 · outbound

This paper cites A Comprehensive Survey of Hallucination Mitigation Techniques in Large Language Models.

Exploring LLMs for Verifying Technical System Specifications Against Requirements A Comprehensive Survey of Hallucination Mitigation Techniques in Large Language Models

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T18:24:53.622934Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 0dddb66c-46e1-475d-ad87-7c31f22ad2cb · 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 Exploring LLMs for Verifying Technical System Specifications Against Requirements

Reference 49

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 922638d4-9daa-4515-aeed-8da1f7a6bd17 · inbound

Working Document -- Formalising Software Requirements with Large Language Models cites this paper.

Working Document -- Formalising Software Requirements with Large Language Models Exploring LLMs for Verifying Technical System Specifications Against Requirements

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-15T19:52:51.818366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e337ff9-fa7a-4801-ab34-6321716a2458 · inbound

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects cites this paper.

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects Exploring LLMs for Verifying Technical System Specifications Against Requirements

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T16:13:50.043839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 055edf09-3b4f-4424-81b2-6b6706695b17 · inbound

Can LLMs Generate User Stories and Assess Their Quality? cites this paper.

Can LLMs Generate User Stories and Assess Their Quality? Exploring LLMs for Verifying Technical System Specifications Against Requirements

Reference 46

Resolution: verified exact; local_arxiv, observed 2026-08-06T15:46:35.795347Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.