研究提出统一矩阵框架覆盖三类分类器评估指标

Ronaldo Cristiano Prati 与 Farangis Johari 发表论文，提出一个统一矩阵框架，用指示矩阵上的单元算子把分类器评估的区分度、校准与排序三类指标纳入同一套代数语言。 校准部分新增偏差算子，排序部分新增位置增益与列一致性算子，分别对应 DCG 与 AUC，并沿用 micro/macro/exemplar 聚合结构。作者称多数结论已在 Lean 4 中机器验证，代码实现在 aggmetrics 0.3.0 包中。

AI 根据报道生成 · 5 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。