CoDefeater: Using LLMs To Find Defeaters in Assurance Cases