[FormaliSE@ICSE] Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems.