TY  - RPRT
TI  - CoDefeater: Using LLMs To Find Defeaters in Assurance Cases
AU  - Usman Gohar
AU  - Michael C. Hunter
AU  - Robyn R. Lutz
AU  - Myra B. Cohen
PY  - 2024
UR  - https://arxiv.org/abs/2407.13717
ID  - 2407.13717
ER  -