paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Higher income, larger loan? monotonicity testing of machine learning models

收入越高,贷款越大?机器学习模型的单调性测试
ISSTA Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis2020匹配度 4/10 · 该论文关注已训练(特别是黑盒)机器学习模型的性质检验(单调性),属于对 ML 模型做质量保证/形式性质验证的方向,与画像中“PL 技术用于机器学习系统”有边缘交集;但它既非静态分析、也不涉及 LLM/Agentic 程序、浮点或贝叶斯程序分析,且摘要仅指出研究缺口,未见明确的形式化与工程落地细节。引用 14 inbox
Arnab Sharma, Heike Wehrheim
crossref: 2026-09-12

AI 速览

一句话:指出现有工作缺乏对已训练机器学习模型、尤其是黑盒模型的单调性检查方法,并聚焦其测试需求。

机器学习模型日益用于贷款等决策场景,因此需要针对领域相关需求进行质量保证。单调性是一种常见需求:当某些属性值增大时,模型预测也应单调增大(例如收入越高,贷款额度不应更低)。已有多种 ML 算法可在训练阶段生成满足单调性的模型,但如何对已生成的模型、尤其是无法访问内部结构的黑盒模型检查单调性,仍缺乏系统方法。该论文聚焦这一缺口,围绕机器学习模型的单调性测试展开,强调黑盒场景下检查单调性的必要性。摘要未给出具体算法或实验结果的细节,因此其核心贡献在于明确问题并推动针对黑盒 ML 模型的单调性测试。

问题
如何保证已训练的机器学习模型满足领域相关的单调性要求,特别是对黑盒模型进行单调性检查的方法仍然缺乏。
方法
论文以单调性测试为核心,关注对由 ML 算法学习得到的模型(尤其是黑盒模型)检查预测是否随指定属性值增大而增大;摘要未展开具体技术细节。
评估
摘要未报告实验评估;从摘要看,评估需求在于检验此类单调性检查方法能否发现黑盒模型的单调性违背。
原文摘要(Abstract)

Today, machine learning (ML) models are increasingly applied in decision making. This induces an urgent need for quality assurance of ML models with respect to (often domain-dependent) requirements. Monotonicity is one such requirement. It specifies a software as ''learned'' by an ML algorithm to give an increasing prediction with the increase of some attribute values. While there exist multiple ML algorithms for ensuring monotonicity of the generated model, approaches for checking monotonicity, in particular of black-box models are largely lacking.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6069,
  title = {Higher income, larger loan? monotonicity testing of machine learning models},
  author = {Arnab Sharma and Heike Wehrheim},
  booktitle = {ISSTA},
  year = {2020},
  doi = {10.1145/3395363.3397352}
}