中文
相关论文

相关论文: Silas: High Performance, Explainable and Verifiabl…

200 篇论文

The formal analysis of automated systems is an important and growing industry. This activity routinely requires new verification frameworks to be developed to tackle new programming features, or new considerations (bugs of interest). Often,…

计算机科学中的逻辑 · 计算机科学 2026-02-17 Paul Brunet

Personalized medicine remains a major challenge for scientists. The rapid growth of Machine learning and Deep learning has made them a feasible al- ternative for predicting the most appropriate therapy for individual patients. However, the…

机器学习 · 计算机科学 2025-06-10 Antonio Jesús Banegas-Luna , Horacio Pérez-Sánchez

State-of-the-art learning algorithms, such as random forests or neural networks, are often qualified as "black-boxes" because of the high number and complexity of operations involved in their prediction mechanism. This lack of…

机器学习 · 统计学 2020-12-17 Clément Bénard , Gérard Biau , Sébastien da Veiga , Erwan Scornet

We introduce SIRUS (Stable and Interpretable RUle Set) for regression, a stable rule learning algorithm which takes the form of a short and simple list of rules. State-of-the-art learning algorithms are often referred to as "black boxes"…

机器学习 · 统计学 2021-02-11 Clément Bénard , Gérard Biau , Sébastien da Veiga , Erwan Scornet

Explainability techniques for data-driven predictive models based on artificial intelligence and machine learning algorithms allow us to better understand the operation of such systems and help to hold them accountable. New transparency…

机器学习 · 计算机科学 2022-09-09 Kacper Sokol , Alexander Hepburn , Raul Santos-Rodriguez , Peter Flach

Evaluating the performance of heuristic optimisation algorithms is essential to determine how well they perform under various conditions. Recently, the BIAS toolbox was introduced as a behaviour benchmark to detect structural bias (SB) in…

神经与进化计算 · 计算机科学 2023-04-05 Bas van Stein , Diederick Vermetten , Fabio Caraffini , Anna V. Kononova

Modern data analytics underpinned by machine learning techniques has become a key enabler to the automation of data-led decision making. As an important branch of state-of-the-art data analytics, business process predictions are also faced…

人工智能 · 计算机科学 2021-07-22 Chun Ouyang , Renuka Sindhgatta , Catarina Moreira

With the availability of large databases and recent improvements in deep learning methodology, the performance of AI systems is reaching or even exceeding the human level on an increasing number of complex tasks. Impressive examples of this…

人工智能 · 计算机科学 2017-08-29 Wojciech Samek , Thomas Wiegand , Klaus-Robert Müller

Predictions obtained by, e.g., artificial neural networks have a high accuracy but humans often perceive the models as black boxes. Insights about the decision making are mostly opaque for humans. Particularly understanding the decision…

机器学习 · 计算机科学 2021-01-21 Nadia Burkart , Marco F. Huber

Everyday life is increasingly influenced by artificial intelligence, and there is no question that machine learning algorithms must be designed to be reliable and trustworthy for everyone. Specifically, computer scientists consider an…

机器学习 · 计算机科学 2025-10-29 Sara Narteni , Alberto Carlevaro , Fabrizio Dabbene , Marco Muselli , Maurizio Mongelli

Recent success in Artificial Intelligence (AI) and Machine Learning (ML) allow problem solving automatically without any human intervention. Autonomous approaches can be very convenient. However, in certain domains, e.g., in the medical…

人工智能 · 计算机科学 2021-03-03 Andreas Holzinger , André Carrington , Heimo Müller

Explainability of a classification model is crucial when deployed in real-world decision support systems. Explanations make predictions actionable to the user and should inform about the capabilities and limitations of the system. Existing…

机器学习 · 计算机科学 2022-12-13 Erwin Walraven , Ajaya Adhikari , Cor J. Veenman

This paper presents a systematic literature review (SLR) on the explainability and interpretability of machine learning (ML) models within the context of predictive process mining, using the PRISMA framework. Given the rapid advancement of…

机器学习 · 计算机科学 2024-01-01 Nijat Mehdiyev , Maxim Majlatow , Peter Fettke

Optimization modeling is fundamental to decision-making across diverse domains. Despite progress in automating optimization formulation from natural language descriptions, Large Language Models (LLMs) often struggle to generate formally…

人工智能 · 计算机科学 2025-12-23 Yitian Chen , Jingfan Xia , Siyu Shao , Dongdong Ge , Yinyu Ye

An active learning (AL) algorithm seeks to construct an effective classifier with a minimal number of labeled examples in a bootstrapping manner. While standard AL heuristics, such as selecting those points for annotation for which a…

计算机视觉与模式识别 · 计算机科学 2020-09-03 Ishani Mondal , Debasis Ganguly

AI tools to support real world decision making must be able to build simulation models that inform their recommendations and render them interpretable. Tools that can automate aspects of modeling practice must complement human expertise,…

人工智能 · 计算机科学 2026-05-29 Sara Metcalf , William Schoenberg

Recommender systems play a fundamental role in web applications in filtering massive information and matching user interests. While many efforts have been devoted to developing more effective models in various scenarios, the exploration on…

机器学习 · 计算机科学 2020-08-24 Ninghao Liu , Yong Ge , Li Li , Xia Hu , Rui Chen , Soo-Hyun Choi

Despite widespread adoption, machine learning models remain mostly black boxes. Understanding the reasons behind predictions is, however, quite important in assessing trust, which is fundamental if one plans to take action based on a…

机器学习 · 计算机科学 2016-08-10 Marco Tulio Ribeiro , Sameer Singh , Carlos Guestrin

Although a recent shift has been made in the field of predictive process monitoring to use models from the explainable artificial intelligence field, the evaluation still occurs mainly through performance-based metrics, thus not accounting…

机器学习 · 计算机科学 2023-08-01 Alexander Stevens , Johannes De Smedt

Spatial query and analysis results are often directly applied to decision-making processes such as facility location, proximity resource discovery, accessibility analysis, and risk assessment. Therefore, the efficiency of underlying spatial…

数据库 · 计算机科学 2026-05-14 Zhongpu Chen , Yikai Dong , Wanjun Hao
‹ 上一页 1 2 3 10 下一页 ›