部分验证下的保形预测

保形预测为预测集提供有限样本保证，但校准所需的标签验证可能非常昂贵。我们开发了一种部分验证方法，它返回与完整验证完全相同的预测集。我们描述校准证书的特征，验证信息足以确定保形阈值，并设计一个协调校准示例验证的程序。对于高覆盖率的有限阈值，按顺序检查候选者时，其验证成本小于最小证书成本的两倍。在检索、数学解决方案和配置评估方面，与一次验证一个校准示例相比，它可将验证成本降低 15-82%，同时生成相同的预测集。