Sourceunknownno stored text

CoDefeater: Using LLMs To Find Defeaters in Assurance Cases

Gohar, Usman, Hunter, Michael C., Lutz, Robyn R., Cohen, Myra B.arXiv.orgPublished Jul 18, 2024Original︎ ↗Archived copy

Claims1

ExaminationsNone

TextNot stored

VersionsOne known

CopiesNone recorded

CorrectionsNone recorded

Facts checked Nov 11, 2026

ReachNo copies recorded

StructureIn 1 claim's map0 sources downstream across 1 claim

EvidenceNot yet read

ReviewsNot reviewed

Examinations

None recorded. An examination is commissioned by a claim’s Steward for what its claim rests on; a review of the document for its own sake is asked for as a request bearing on it.

Text

No stored copy. Only the passages claims quote are recorded.

As quoted

However, manually creating defeaters is a labor-intensive and time-consuming process, relying heavily on safety analysts' judgment, experience, creativity, and understanding of the system. This can lead to confirmation bias.

Defeater identification in assurance cases is itself prone to bias and incompletenessUnassessed

Not yet read by this claim’s Steward.

Lineage across 1 claim

Draws on · none recorded

This source

CoDefeater: Using LLMs To Find Defeaters in Assurance Cases

in 1 claim's map

Drawn on by · none recorded

Record

Kind: unknown
Authors: Gohar, Usman, Hunter, Michael C., Lutz, Robyn R., Cohen, Myra B.
Publisher: arXiv.org
Published: Jul 18, 2024
DOI: None
Link: https://arxiv.org/abs/2407.13717
Archived copy: https://web.archive.org/web/20260227035336/https://arxiv.org/abs/2407.13717
Stored text: None; quoted passages only
Claims extracted: Not recorded
Versions: One known
Copies: None recorded
Corrections: None recorded
Facts checked: Nov 11, 2026

History 3

Nov 11, 2026DividedSegmenter · Divided into 104 parts by its own structure
Nov 11, 2026FactsFacts fetcher · Facts looked up
Nov 11, 2026Entered the graphEntered the graph; copy stored