English
Related papers

Related papers: Towards Verified Artificial Intelligence

200 papers

The premise of this paper is that compliance with Trustworthy AI governance best practices and regulatory frameworks is an inherently fragmented process spanning across diverse organizational units, external stakeholders, and systems of…

Software Engineering · Computer Science 2021-10-07 Andrew Pery , Majid Rafiei , Michael Simon , Wil M. P. van der Aalst

Trustworthy AI encompasses many aspirational aspects for aligning AI systems with human values, including fairness, privacy, robustness, explainability, and uncertainty quantification. Ultimately the goal of Trustworthy AI research is to…

Machine Learning · Computer Science 2025-11-04 Jesse C. Cresswell

Recent research in artificial intelligence and machine learning has largely emphasized general-purpose learning and ever-larger training sets and more and more compute. In contrast, I propose a hybrid, knowledge-driven, reasoning-based…

Artificial Intelligence · Computer Science 2020-02-20 Gary Marcus

A long-term goal of Artificial Intelligence is to build a language understanding system that allows a human to collaborate with a physical robot using language that is natural to the human. In this paper we highlight some of the challenges…

Neurons and Cognition · Quantitative Biology 2025-06-24 Peter Lindes , Kaoutar Skiker

Artificial Intelligence (AI) is a fast-growing research and development (R&D) discipline which is attracting increasing attention because of its promises to bring vast benefits for consumers and businesses, with considerable benefits…

Artificial Intelligence · Computer Science 2022-05-10 Zhenghua Chen , Min Wu , Alvin Chan , Xiaoli Li , Yew-Soon Ong

Artificial intelligence (AI) continues to find more numerous and more critical applications in the financial services industry, giving rise to fair and ethical AI as an industry-wide objective. While many ethical principles and guidelines…

Computers and Society · Computer Science 2021-11-03 Eren Kurshan , Jiahao Chen , Victor Storchan , Hongda Shen

In AI research and practice, rigor remains largely understood in terms of methodological rigor -- such as whether mathematical, statistical, or computational methods are correctly applied. We argue that this narrow conception of rigor has…

As artificial intelligence (AI) receives wider attention in education, examining teachers' acceptance of AI (TAAI) becomes essential. However, existing instruments measuring TAAI reported limited reliability and validity evidence and faced…

Computers and Society · Computer Science 2024-06-18 Shuchen Guo , Lehong Shi , Xiaoming Zhai

Success in the quest for artificial intelligence has the potential to bring unprecedented benefits to humanity, and it is therefore worthwhile to investigate how to maximize these benefits while avoiding potential pitfalls. This article…

Artificial Intelligence · Computer Science 2016-02-15 Stuart Russell , Daniel Dewey , Max Tegmark

This report describes the state of the art in verifiable computation. The problem being solved is the following: The Verifiable Computation Problem (Verifiable Computing Problem) Suppose we have two computing agents. The first agent is the…

The impact of Artificial Intelligence does not depend only on fundamental research and technological developments, but for a large part on how these systems are introduced into society and used in everyday situations. AI is changing the way…

Computers and Society · Computer Science 2022-05-24 Virginia Dignum

Recent advances in artificial intelligence (AI) have achieved human-scale speed and accuracy for classification tasks. In turn, these capabilities have made AI a viable replacement for many human activities that at their core involve…

Artificial Intelligence · Computer Science 2022-05-24 Hadi Esmaeilzadeh , Reza Vaezi

Autonomous Artificial Intelligence (AI) has many benefits. It also has many risks. In this work, we identify the 3 levels of autonomous AI. We are of the position that AI must not be fully autonomous because of the many risks, especially as…

Artificial Intelligence · Computer Science 2025-08-01 Tosin Adewumi , Lama Alkhaled , Florent Imbert , Hui Han , Nudrat Habib , Karl Löwenmark

In recent years, there has been a stimulating discussion on how artificial intelligence (AI) can support the science and engineering of intelligent educational applications. Many studies in the field are proposing actionable data mining…

Computers and Society · Computer Science 2022-08-24 Gianni Fenu , Roberta Galici , Mirko Marras

The authors are concerned about the safety, health, and rights of the European citizens due to inadequate measures and procedures required by the current draft of the EU Artificial Intelligence (AI) Act for the conformity assessment of AI…

Machine Learning · Statistics 2023-10-05 Bernhard Nessler , Thomas Doms , Sepp Hochreiter

Artificial Intelligence (AI) is one of the disruptive technologies that is shaping the future. It has growing applications for data-driven decisions in major smart city solutions, including transportation, education, healthcare, public…

Machine Learning · Computer Science 2021-11-02 M. Humayn Kabir , Khondokar Fida Hasan , Mohammad Kamrul Hasan , Keyvan Ansari

Recently, there has been growing attention on behalf of both academic and practice communities towards the ability of Artificial Intelligence (AI) systems to operate responsibly and ethically. As a result, a plethora of frameworks and…

Computers and Society · Computer Science 2024-07-18 Maria Teresa Baldassarre , Domenico Gigante , Marcos Kalinowski , Azzurra Ragone , Sara Tibidò

The use of Artificial Intelligence (AI) in high-risk, decision-making scenarios presents technical, safety, and normative challenges; problems that may only be ameliorated by human oversight. However, notions of human oversight lack a…

Artificial Intelligence has rapidly become a cornerstone technology, significantly influencing Europe's societal and economic landscapes. However, the proliferation of AI also raises critical ethical, legal, and regulatory challenges. The…

Artificial Intelligence (AI) Auditability is a core requirement for achieving responsible AI system design. However, it is not yet a prominent design feature in current applications. Existing AI auditing tools typically lack integration…

Computers and Society · Computer Science 2024-06-21 Laura Waltersdorfer , Fajar J. Ekaputra , Tomasz Miksa , Marta Sabou