arXiv · cs.AI · Ronaldo Cristiano Prati, Farangis Johari · 11 小时前模型评分37
统一矩阵框架覆盖分类器评估的区分度、校准与排序
Discrimination, Calibration, and Ranking: A Unified Matrix Framework
导读
一项研究提出统一矩阵框架，用指示矩阵上的单元算子把分类器评估的区分度、校准与排序三类指标纳入同一代数语言。校准部分新增偏差算子，排序部分新增位置增益与列一致性算子，并沿用 micro/macro/exemplar 聚合结构。研究在 Lean 4 中机器验证了多数结论，代码实现在 aggmetrics 0.3.0 包中。
分类置信度
中 · 待人工复核
- 只有单一媒体来源，需要人工复核。
来源级别：媒体与个人
事件类型：研究发布
证据摘录
- “We close the gap with two further classes of cell operators: deviation operators phi(y - yhat), which give a Calibration Framework, and rank- and slice-dependent operators (positional gains for DCG, column concordance cells for AUC), which give a Ranking Framework.”
- “Many of the results are machine-checked in Lean 4; the proofs, the experiments and the this http URL package are public: this https URL”
- “Implemented in the aggmetrics package (version 0.3.0, subpackage this http URL )”
来源：arXiv · cs.AI · arxiv.org