Using GPT-4 Turbo to Automatically Identify Defeaters in Assurance Cases.

Kimya Khakzad Shahandashti, Alvine Boaye Belle, Mohammad Mahdi Mohajer, Oluwafemi Odu, Timothy C. Lethbridge, Hadi Hemmati, Song Wang

Browse the full RE paper archive.