摘要： REACT（Requirements Engineering with AI for Consistency and Testing） 的目标：利用大型语言模型（LLMs）将模糊的自然语言需求转化为结构化形式；自动检测需求之间的一致性、冲突和歧义；自动生成形式化规范和基于需求的测试用例，提高早期验证 阅读全文

摘要： 以AI验证AI：务实的进化还是危险的豪赌？前言 《Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems》探讨了在航空航天和自动驾驶等安全关键系统中，使用深度神 阅读全文