技术解读 · 未标明发布日期
ML 模型验证中的需求编码、测试与形式化验证
2.3.3 Verification of the learned model
资料概述
说明如何形成可审计证据，证明学习模型在训练数据之外的输入上满足需求。指南将需求编码与测试、形式化验证衔接，并强调验证结果的全面性、情境相关性和可理解性。
技术解读 · 未标明发布日期
2.3.3 Verification of the learned model
说明如何形成可审计证据，证明学习模型在训练数据之外的输入上满足需求。指南将需求编码与测试、形式化验证衔接，并强调验证结果的全面性、情境相关性和可理解性。