English
Related papers

Related papers: Nuclear Arms Control Verification and Lessons for …

200 papers

This year, jurisdictions worldwide, including the United States, the European Union, the United Kingdom, and China, are set to enact or revise laws governing frontier AI. Their efforts largely rely on the assumption that increasing model…

Computers and Society · Computer Science 2025-02-25 Nicholas A. Caputo

As artificial intelligence (AI) becomes integral to economy and society, communication gaps between developers, users, and stakeholders hinder trust and informed decision-making. High-level AI labels, inspired by frameworks like EU energy…

Artificial Intelligence · Computer Science 2025-01-22 Raphael Fischer , Magdalena Wischnewski , Alexander van der Staay , Katharina Poitz , Christian Janiesch , Thomas Liebig

The deployment of artificial intelligence (AI) applications has accelerated rapidly. AI enabled technologies are facing the public in many ways including infrastructure, consumer products and home applications. Because many of these…

Artificial Intelligence · Computer Science 2024-08-01 Joanna F. DeFranco , Luke Biersmith

The recent embrace of machine learning (ML) in the development of autonomous weapons systems (AWS) creates serious risks to geopolitical stability and the free exchange of ideas in AI research. This topic has received comparatively little…

Computers and Society · Computer Science 2024-06-04 Riley Simmons-Edler , Ryan Badman , Shayne Longpre , Kanaka Rajan

There is increasing attention being given to how to regulate AI systems. As governing bodies grapple with what values to encapsulate into regulation, we consider the technical half of the question: To what extent can AI experts vet an AI…

Artificial Intelligence · Computer Science 2024-03-28 Xudong Shen , Hannah Brown , Jiashu Tao , Martin Strobel , Yao Tong , Akshay Narayan , Harold Soh , Finale Doshi-Velez

We outline the principles of classical assurance for computer-based systems that pose significant risks. We then consider application of these principles to systems that employ Artificial Intelligence (AI) and Machine Learning (ML). A key…

Artificial Intelligence · Computer Science 2025-06-04 Robin Bloomfield , John Rushby

Auditing of AI systems is a promising way to understand and manage ethical problems and societal risks associated with contemporary AI systems, as well as some anticipated future risks. Efforts to develop standards for auditing Artificial…

Computers and Society · Computer Science 2024-04-23 David Manheim , Sammy Martin , Mark Bailey , Mikhail Samin , Ross Greutzmacher

AI has made significant strides recently, leading to various applications in both civilian and military sectors. The military sees AI as a solution for developing more effective and faster technologies. While AI offers benefits like…

Computers and Society · Computer Science 2025-08-06 Mst Rafia Islam , Azmine Toushik Wasi

We sketch how developers of frontier AI systems could construct a structured rationale -- a 'safety case' -- that an AI system is unlikely to cause catastrophic outcomes through scheming. Scheming is a potential threat model where AI…

Auditability is defined as the capacity of AI systems to be independently assessed for compliance with ethical, legal, and technical standards throughout their lifecycle. The chapter explores how auditability is being formalized through…

Computers and Society · Computer Science 2025-09-16 Himanshu Verma , Kirtan Padh , Eva Thelisson

Artificial intelligence risks are multidimensional in nature, as the same risk scenarios may have legal, operational, and financial risk dimensions. With the emergence of new AI regulations, the state of the art of artificial intelligence…

Computers and Society · Computer Science 2025-09-24 Luis Enriquez Alvarez

The rise of Artificial Intelligence (AI) presents unprecedented opportunities and challenges for journalism, fact-checking and media regulation. While AI offers tools to combat disinformation and enhance media practices, its unregulated use…

Computers and Society · Computer Science 2025-03-25 Veronika Solopova

Learning-based methods could provide solutions to many of the long-standing challenges in control. However, the neural networks (NNs) commonly used in modern learning approaches present substantial challenges for analyzing the resulting…

Machine Learning · Computer Science 2022-02-03 Michael Everett

Efficient implementations of concurrent objects such as atomic collections are essential to modern computing. Programming such objects is error prone: in minimizing the synchronization overhead between concurrent object invocations, one…

Programming Languages · Computer Science 2017-07-04 Ahmed Bouajjani , Constantin Enea , Chao Wang

Safety has become the central value around which dominant AI governance efforts are being shaped. Recently, this culminated in the publication of the International AI Safety Report, written by 96 experts of which 30 nominated by the…

Computers and Society · Computer Science 2025-03-10 Roel Dobbe

The conversation around artificial intelligence (AI) often focuses on safety, transparency, accountability, alignment, and responsibility. However, AI security (i.e., the safeguarding of data, models, and pipelines from adversarial…

Cryptography and Security · Computer Science 2025-04-24 Krti Tallam

Artificial intelligence (AI) methods have been proposed for the prediction of social behaviors which could be reasonably understood from patient-reported information. This raises novel ethical concerns about respect, privacy, and control…

Artificial Intelligence (AI) is rapidly being integrated into critical systems across various domains, from healthcare to autonomous vehicles. While its integration brings immense benefits, it also introduces significant risks, including…

Computers and Society · Computer Science 2025-06-25 Zhiqiang Lin , Huan Sun , Ness Shroff

Privacy is a key principle for developing ethical AI technologies, but how does including AI technologies in products and services change privacy risks? We constructed a taxonomy of AI privacy risks by analyzing 321 documented AI privacy…

Human-Computer Interaction · Computer Science 2024-02-13 Hao-Ping Lee , Yu-Ju Yang , Thomas Serban von Davier , Jodi Forlizzi , Sauvik Das

The increasing use of deep neural networks for safety-critical applications, such as autonomous driving and flight control, raises concerns about their safety and reliability. Formal verification can address these concerns by guaranteeing…

Artificial Intelligence · Computer Science 2018-02-06 Lindsey Kuper , Guy Katz , Justin Gottschlich , Kyle Julian , Clark Barrett , Mykel Kochenderfer
‹ Prev 1 8 9 10 Next ›