linmas

对人工智能辅助软件进行可证明的防御性安全审查，需要确定的策略、可携带的证据和人工审查。