AI·安全
提出 MAGS 框架，利用多智能体自动形式化方法，对 AI 生成的代码进行机器检查，确保其满足指定的安全属性。
来源：原文链接 (新窗口)
← 返回搜罗吧首页
本页由搜罗吧(Solo8.cn)信息精选服务自动生成，内容仅供参考，不构成任何建议。