AI星际引擎
AI STARSHIP
首页
动态
博客
播客
论文
学习
关于
墨
纸
2026.09.24 星期四
第
49
期
主题 · 形式验证
形式验证
1 条
01
可用护栏:面向各类机器学习系统的可认证选择性预测
提出可认证的选择性预测框架,确保在子群体(如患者组、策略标签)上达到目标精度,解决有限校准数据下的证书可行性问题。
arxiv.org
·
arXiv
·
6天前
可信AI
选择性预测
形式验证