Paper Citation Record · LEDGER

Automating Quality Assessment with NLP of LLM-Generated Defeaters

As of 22 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2607.06039.

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

pith.paper-citation-record.v1
2607.06039 v1

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-08T18:36:45.913170Z

measured 36 of 36 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

36 of 36 outbound references displayed

verified exact8
verified fuzzy24
unresolved1
parse uncertain0
malformed identifier0
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f1c20770-6763-4d4b-a6f1-22083ea3ae53 · outbound

This paper cites Towards an argument pattern for the use of safety performance indicators,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Towards an argument pattern for the use of safety performance indicators,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.840023Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation c7875ea5-13d5-462f-bbe2-9db4aeb29c1c · outbound

This paper cites Koopman,How Safe Is Safe Enough? Measuring and Predicting Autonomous Vehicle Safety.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Koopman,How Safe Is Safe Enough? Measuring and Predicting Autonomous Vehicle Safety

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.827635Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 1c1f0f6d-1913-4d50-af3f-83cad7508601 · outbound

This paper cites Dynamic assurance cases: A pathway to trusted autonomy,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Dynamic assurance cases: A pathway to trusted autonomy,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.816258Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 9b37a8a9-9c4e-4cd1-8706-f4935a5adce5 · outbound

This paper cites Automated interpretation of fleet incidents to enable system level runtime assurance,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Automated interpretation of fleet incidents to enable system level runtime assurance,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.805567Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 8b642c4c-a1f7-4b03-9ceb-0c18a08d18e7 · outbound

This paper cites Defeaters and Eliminative Argumentation in Assurance 2.0.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Defeaters and Eliminative Argumentation in Assurance 2.0

Reference 5

Resolution: verified exact; local_arxiv, observed 2026-07-08T18:45:26.700984Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation f28df93d-9d26-49e4-8d05-2ec53bb44add · outbound

This paper cites The interpretation and evaluation of assurance cases,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters The interpretation and evaluation of assurance cases,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.827813Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 6b2ad3ca-fa45-41aa-ae58-1709a86bd52d · outbound

This paper cites AI-supported eliminative argumentation: Practical experience generating defeaters to increase confidence in assurance cases,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters AI-supported eliminative argumentation: Practical experience generating defeaters to increase confidence in assurance cases,

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-07-08T18:45:26.719157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 89052118-644c-4486-bc37-075d752eff71 · outbound

This paper cites an unresolved cited work.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-07-08T18:45:26.856266Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation deff6da1-0ff2-463d-a49c-19bebf7a78b7 · outbound

This paper cites BERT: Pre-training of deep bidirectional transformers for language understanding,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters BERT: Pre-training of deep bidirectional transformers for language understanding,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.830546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 07251d5c-14ef-49fe-b476-2604898874fc · outbound

This paper cites The goal structuring notation–a safety argu- ment notation,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters The goal structuring notation–a safety argu- ment notation,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.854542Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation eb6949e6-a51c-43f5-b31a-90062df3a9ba · outbound

This paper cites Assurance case arguments in the large: The CERN LHC machine protection system,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Assurance case arguments in the large: The CERN LHC machine protection system,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.819474Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation e700759e-e428-4578-9070-c96746439a8f · outbound

This paper cites GPT-4 and Safety Case Generation: An Exploratory Analysis.

Automating Quality Assessment with NLP of LLM-Generated Defeaters GPT-4 and Safety Case Generation: An Exploratory Analysis

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-07-08T18:45:26.697102Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 24049018-56cc-4985-a1e1-bf9079a8d67c · outbound

This paper cites Prompting gpt-4 to support automatic safety case generation,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Prompting gpt-4 to support automatic safety case generation,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.809966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 259fe917-7235-4f96-9e01-7c5d521007a2 · outbound

This paper cites Safesens - uncertainty quan- tification of complex perception systems,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Safesens - uncertainty quan- tification of complex perception systems,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.858081Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 7fdc78ee-83af-401a-9224-be897d00876f · outbound

This paper cites CoDefeater: Using LLMs to find defeaters in assurance cases,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters CoDefeater: Using LLMs to find defeaters in assurance cases,

Reference 15

Resolution: metadata mismatch; arxiv_id, observed 2026-07-08T18:45:26.664538Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation e20c35fd-f26c-4231-a7f0-dfd26c9ab22f · outbound

This paper cites Reality bites: Assessing the realism of driving scenarios with large language models.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Reality bites: Assessing the realism of driving scenarios with large language models

Reference 16

Resolution: metadata mismatch; arxiv_id, observed 2026-07-08T18:45:26.672020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation f6abcb3d-02e6-46c1-8392-12c612c17546 · outbound

This paper cites Provider of Services for Urban Air Mobility (PSU) Prototype Simulation (X5) Final Report.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Provider of Services for Urban Air Mobility (PSU) Prototype Simulation (X5) Final Report

Reference 17

Resolution: metadata mismatch; arxiv_id, observed 2026-07-08T18:45:26.693727Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 1e4c1aa4-3492-405f-a4fb-0821b16160ff · outbound

This paper cites Eliminative argumentation: A basis for arguing confidence in system properties,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Eliminative argumentation: A basis for arguing confidence in system properties,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.833579Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 2073d850-be1c-46bb-8e8b-6fdd7e4f3fdb · outbound

This paper cites Attention is all you need,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Attention is all you need,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.835429Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d6f2e981-90a0-4d4f-9b47-0d239830c189 · outbound

This paper cites Recent advances in named entity recognition: A comprehensive survey and comparative study.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Recent advances in named entity recognition: A comprehensive survey and comparative study

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.847147Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 4cd92bb5-485d-4593-9ec2-eed38645f3c8 · outbound

This paper cites Available: https://api.semanticscholar.org/CorpusID: 267060999.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Available: https://api.semanticscholar.org/CorpusID: 267060999

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.849421Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation eb746621-2010-4ad2-8e05-57e6ba653bf7 · outbound

This paper cites On the use of GPT-4 for creating goal models: An exploratory study,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters On the use of GPT-4 for creating goal models: An exploratory study,

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-07-08T18:45:26.707889Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation f610b680-4f53-461d-b66e-412390411f20 · outbound

This paper cites Baldur: Whole-proof generation and repair with large language models,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Baldur: Whole-proof generation and repair with large language models,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.833744Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation a4a90f24-bfc5-44db-abe5-27a04fd73582 · outbound

This paper cites In: Chandra, S., Blincoe, K., Tonella, P.

Automating Quality Assessment with NLP of LLM-Generated Defeaters In: Chandra, S., Blincoe, K., Tonella, P

Reference 24

Resolution: verified exact; arxiv_id, observed 2026-07-08T18:45:26.668499Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation a24d8e57-6cae-448a-be7f-bc100da347b4 · outbound

This paper cites Automatic instantiation of assurance cases from patterns using large language models,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Automatic instantiation of assurance cases from patterns using large language models,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.825636Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 169da18c-7825-488a-b205-4ba720f53577 · outbound

This paper cites Available: https://api.semanticscholar.org/CorpusID: 275911948.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Available: https://api.semanticscholar.org/CorpusID: 275911948

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.829834Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation b0d24c9c-292c-42ea-b356-c452595712ba · outbound

This paper cites Enabling theory- based continuous assurance: A coherent approach with semantics and automated synthesis,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Enabling theory- based continuous assurance: A coherent approach with semantics and automated synthesis,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.805755Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 91501ec6-36a3-4506-be4f-25cfed3b76fe · outbound

This paper cites 26262-1:2018 road vehicles – functional safety – part 1: V ocabulary,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters 26262-1:2018 road vehicles – functional safety – part 1: V ocabulary,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.823466Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 70b50fa0-abfb-4e30-828b-4ac3a96d4cc8 · outbound

This paper cites 21448:2022 Road vehicles – Safety of the intended functionality (SOTIF),.

Automating Quality Assessment with NLP of LLM-Generated Defeaters 21448:2022 Road vehicles – Safety of the intended functionality (SOTIF),

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.821417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 83335970-ccb2-4613-b2be-3fcb0ed8e94e · outbound

This paper cites 4600:2023 standard for safety for the evaluation of autonomous products,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters 4600:2023 standard for safety for the evaluation of autonomous products,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.852561Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation ff61ee8e-4023-4fb3-bc77-d0ec95e7e51c · outbound

This paper cites Using ChatGPT for Thematic Analysis.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Using ChatGPT for Thematic Analysis

Reference 31

Resolution: verified exact; local_arxiv, observed 2026-07-08T18:45:26.711434Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation ab5cc45a-b7fe-46b9-a09c-89f07c104766 · outbound

This paper cites Ai-ea implementation and data,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Ai-ea implementation and data,

Reference 32

Resolution: verified exact; arxiv_id, observed 2026-07-08T18:45:26.704541Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 5a6730e9-2cc0-459e-bdc5-9dd0dcfbc04b · outbound

This paper cites Scikit-learn: Machine learning in Python.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Scikit-learn: Machine learning in Python

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.842465Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 951610ed-60f5-43e5-a0ba-05d4f5009160 · outbound

This paper cites BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding.

Automating Quality Assessment with NLP of LLM-Generated Defeaters BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding

Reference 34

Resolution: verified exact; local_arxiv, observed 2026-07-08T18:45:26.715109Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 9853f661-b98a-44e4-90c3-c48408d3eaef · outbound

This paper cites Smote: Synthetic minority over-sampling technique,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Smote: Synthetic minority over-sampling technique,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.837723Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation a1fa1bdd-f652-4847-a061-7f054b2e4bf9 · outbound

This paper cites Unsupervised word sense disambiguation rivaling supervised methods,.

Automating Quality Assessment with NLP of LLM-Generated Defeaters Unsupervised word sense disambiguation rivaling supervised methods,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-07-08T18:45:26.844505Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Pith citing papers

No inbound Pith citation observations are available.