中文
相关论文

相关论文: The Care Label Concept: A Certification Suite for …

200 篇论文

Certifying the robustness of a graph-based machine learning model poses a critical challenge for safety. Current robustness certificates for graph classifiers guarantee output invariance with respect to the total number of node pair flips…

机器学习 · 计算机科学 2023-06-27 Pierre Osselin , Henry Kenlay , Xiaowen Dong

Artificial intelligence (AI) has been advancing at a fast pace and it is now poised for deployment in a wide range of applications, such as autonomous systems, medical diagnosis and natural language processing. Early adoption of AI…

机器学习 · 计算机科学 2023-09-21 Marta Kwiatkowska , Xiyue Zhang

This paper addresses significant obstacles that arise from the widespread use of machine learning models in the insurance industry, with a specific focus on promoting fairness. The initial challenge lies in effectively leveraging unlabeled…

机器学习 · 统计学 2024-05-21 Romuald Elie , Caroline Hillairet , François Hu , Marc Juillard

Malware, or software designed with harmful intent, is an ever-evolving threat that can have drastic effects on both individuals and institutions. Neural network malware classification systems are key tools for combating these threats but…

密码学与安全 · 计算机科学 2024-04-09 Preston K. Robinette , Diego Manzanas Lopez , Serena Serbinowska , Kevin Leach , Taylor T. Johnson

Obtaining high-quality labeled datasets is often costly, requiring either human annotation or expensive experiments. In theory, powerful pre-trained AI models provide an opportunity to automatically label datasets and save costs.…

机器学习 · 统计学 2025-10-21 Emmanuel J. Candès , Andrew Ilyas , Tijana Zrnic

Over the past decade, modern code review (MCR) has been established as a cornerstone of software quality assurance and a vital channel for knowledge transfer within development teams. However, the manual inspection of increasingly complex…

软件工程 · 计算机科学 2026-03-03 Zezhou Yang , Cuiyun Gao , Zhaoqiang Guo , Zhenhao Li , Kui Liu , Xin Xia , Yuming Zhou

The proliferation of Large Language Models (LLMs) has led to a burgeoning ecosystem of specialized, domain-specific models. While this rapid growth accelerates innovation, it has simultaneously created significant challenges in model…

软件工程 · 计算机科学 2026-04-16 Pengyue Yang , Haolin Jin , Qingwen Zeng , Jiawen Wen , Harry Rao , Huaming Chen

Electronic health records (EHRs) contain patients' heterogeneous data that are collected from medical providers involved in the patient's care, including medical notes, clinical events, laboratory test results, symptoms, and diagnoses. In…

人工智能 · 计算机科学 2024-11-12 Shuai Niu , Yunya Song , Qing Yin , Yike Guo , Xian Yang

Acquiring and training on large-scale labeled data can be impractical due to cost constraints. Additionally, the use of small training datasets can result in considerable variability in model outcomes, overfitting, and learning of spurious…

机器学习 · 计算机科学 2025-07-08 Jiashu Tao , Reza Shokri

Supervised machine learning, in which models are automatically derived from labeled training data, is only as good as the quality of that data. This study builds on prior work that investigated to what extent 'best practices' around…

机器学习 · 计算机科学 2021-07-07 R. Stuart Geiger , Dominique Cope , Jamie Ip , Marsha Lotosh , Aayush Shah , Jenny Weng , Rebekah Tang

The European Union's Artificial Intelligence Act establishes comprehensive requirements for high-risk AI systems, yet the harmonized standards necessary for demonstrating compliance remain not fully developed. In this paper, we investigate…

计算机与社会 · 计算机科学 2026-01-14 Gregor Autischer , Kerstin Waxnegger , Dominik Kowald

Machine-learning-based code vulnerability detection (CVD) has progressed rapidly, from deep program representations to pretrained code models and LLM-centered pipelines. Yet dependable vulnerability labeling remains expensive, noisy, and…

密码学与安全 · 计算机科学 2026-04-02 Noor Khalal , Chakib Fettal , Lazhar Labiod , Mohamed Nadif

As robots become increasingly integrated into everyday tasks, their ability to perceive both the shape and properties of objects during in-hand manipulation becomes critical for adaptive and intelligent behavior. We present SemanticFeels,…

机器人学 · 计算机科学 2026-02-17 Anas Al Shikh Khalil , Haozhi Qi , Roberto Calandra

Trustworthy machine learning is driving a large number of ML community works in order to improve ML acceptance and adoption. The main aspect of trustworthy machine learning are the followings: fairness, uncertainty, robustness,…

机器学习 · 计算机科学 2022-07-08 Gregory Scafarto , Nicolas Posocco , Antoine Bonnefoy

Datasets typically contain inaccuracies due to human error and societal biases, and these inaccuracies can affect the outcomes of models trained on such datasets. We present a technique for certifying whether linear regression models are…

机器学习 · 计算机科学 2022-06-09 Anna P. Meyer , Aws Albarghouthi , Loris D'Antoni

To calculate the model accuracy on a computer vision task, e.g., object recognition, we usually require a test set composing of test samples and their ground truth labels. Whilst standard usage cases satisfy this requirement, many…

计算机视觉与模式识别 · 计算机科学 2021-05-26 Weijian Deng , Liang Zheng

Unsupervised machine learning is the training of an artificial intelligence system using information that is neither classified nor labeled, with a view to modeling the underlying structure or distribution in a dataset. Since unsupervised…

软件工程 · 计算机科学 2020-03-18 Xiaoyuan Xie , Zhiyi Zhang , Tsong Yueh Chen , Yang Liu , Pak-Lok Poon , Baowen Xu

Understanding how neural networks arrive at their predictions is essential for debugging, auditing, and deployment. Mechanistic interpretability pursues this goal by identifying circuits - minimal subnetworks responsible for specific…

人工智能 · 计算机科学 2026-03-03 Alaa Anani , Tobias Lorenz , Bernt Schiele , Mario Fritz , Jonas Fischer

The rapid growth of Artificial Intelligence (AI) in healthcare has sparked interest in Trustworthy AI and AI Implementation Science, both of which are essential for accelerating clinical adoption. However, strict regulations, gaps between…

定量方法 · 定量生物学 2026-03-06 Benoit L. Marteau , Andrew Hornback , Shaun Q. Tan , Christian Lowson , Jason Woloff , May D. Wang

Testing has been widely recognised as difficult for AI applications. This paper proposes a set of testing strategies for testing machine learning applications in the framework of the datamorphism testing methodology. In these strategies,…

机器学习 · 计算机科学 2022-01-27 Hong Zhu , Ian Bayley