AI星际引擎AI STARSHIP
2026.09.24 星期四
49
主题 · 形式验证

形式验证

1
  1. 01
    可用护栏:面向各类机器学习系统的可认证选择性预测

    提出可认证的选择性预测框架,确保在子群体(如患者组、策略标签)上达到目标精度,解决有限校准数据下的证书可行性问题。

    arxiv.org·arXiv·6天前可信AI选择性预测形式验证