Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems
用AI对抗AI:利用基础模型确保AI赋能的安全关键系统
机构 * KBR Inc.(KBR公司) ; NASA Ames(美国国家航空航天局阿姆斯研究中心)
专题命中 其他LLM :foundation model(title);large language model(abstract);language model(abstract);分类 cs.AI
AI总结 本文提出利用AI技术解决安全关键系统中AI保证问题,通过REACT和SemaLens两个组件实现需求工程与感知系统验证。