Aug, 2023

无需排除:基于可达集的补救验证预测

TL;DR机器学习模型在决定贷款、工作面试或公共福利分配时经常使用。本文介绍了一种被称为回溯验证的形式化测试过程,用于标记分配固定预测的模型,并提供工具来设计在开发模型时考虑行动性的算法。