English
Related papers

Related papers: In between myth and reality: AI for math -- a case…

200 papers

This exploratory study investigates the potential of the artificial intelligence tool, ChatGPT, to support systems thinking (ST) in various subjects. Using both general and subject specific prompts, the study assesses the accuracy,…

Human-Computer Interaction · Computer Science 2023-07-27 Holger Arndt

An important aim of this paper is to convey some basics of mathematical logic to the legal community working with Artificial Intelligence. After analysing what AI is, we decide to delimit ourselves to rule-based AI leaving Neural Networks…

Artificial Intelligence · Computer Science 2024-02-12 Joost J. Joosten , Manuela Montoya García

Algorithmic discrimination is an important aspect when data is used for predictive purposes. This paper analyzes the relationships between discrimination and classification, data set partitioning, and decision models, as well as…

Computers and Society · Computer Science 2018-11-08 Jixue Liu , Jiuyong Li , Feiyue Ye , Lin Liu , Thuc Duy Le , Ping Xiong

Artificial Intelligence (AI) has the opportunity to revolutionize the way the United States Department of Defense (DoD) and Intelligence Community (IC) address the challenges of evolving threats, data deluge, and rapid courses of action.…

Artificial Intelligence · Computer Science 2019-05-10 Vijay Gadepally , Justin Goodwin , Jeremy Kepner , Albert Reuther , Hayley Reynolds , Siddharth Samsi , Jonathan Su , David Martinez

Participants in recent discussions of AI-related issues ranging from intelligence explosion to technological unemployment have made diverse claims about the nature, pace, and drivers of progress in AI. However, these theories are rarely…

Artificial Intelligence · Computer Science 2015-12-21 Miles Brundage

In recent years, algorithms have been incorporated into fact-checking pipelines. They are used not only to flag previously fact-checked misinformation, but also to provide suggestions about which trending claims should be prioritized for…

Computers and Society · Computer Science 2023-02-10 Terrence Neumann , Nicholas Wolczynski

While the capabilities and utility of AI systems have advanced, rigorous norms for evaluating these systems have lagged. Grand claims, such as models achieving general reasoning capabilities, are supported with model performance on narrow…

Artificial intelligence (AI) is reshaping how research is conceived, conducted, and communicated across fields from chemistry to biomedicine. This commentary examines how AI is transforming the research workflow. AI systems now help…

Artificial Intelligence · Computer Science 2025-11-14 Maksim E. Eren , Dorianis M. Perez

The latest improvements in artificial intelligence (AI) raise new challenges for intellectual property laws, particularly concerning the inventorship issue in AI-assisted inventions - that is, those in which AI is used in the inventive…

Computers and Society · Computer Science 2026-05-19 Yevhenii Shchetynin , Duygu Usta , Bryan Khan

Generative artificial intelligence (AI) tools can now help people perform complex data science tasks regardless of their expertise. While these tools have great potential to help more people work with data, their end-to-end approach does…

Human-Computer Interaction · Computer Science 2026-03-27 Venkatesh Sivaraman , Patrick Vossler , Adam Perer , Julian Hong , Jean Feng

Artificial Intelligence (AI) has long pursued models, theories, and techniques to imbue machines with human-like general intelligence. Yet even the currently predominant data-driven approaches in AI seem to be lacking humans' unique ability…

Artificial Intelligence · Computer Science 2018-10-18 Rafik Hadfi

These informal notes are based on the author's lecture at the National Academies of Science, Engineering, and Mathematics workshop on "AI to Assist Mathematical Reasoning" in June 2023. The goal is to think through a path by which we might…

History and Overview · Mathematics 2023-10-05 Alex Kontorovich

Computer experiments refer to the study of real systems using complex simulation models. They have been widely used as alternatives to physical experiments. Design and analysis of computer experiments have attracted great attention in past…

Methodology · Statistics 2025-04-29 Anita Shahrokhian , Xinwei Deng , C. Devon Lin

AI researchers employ not only the scientific method, but also methodology from mathematics and engineering. However, the use of the scientific method - specifically hypothesis testing - in AI is typically conducted in service of…

As generative AI technologies find more and more real-world applications, the importance of testing their performance and safety seems paramount. "Red-teaming" has quickly become the primary approach to test AI models--prioritized by AI…

Computers and Society · Computer Science 2026-01-09 Tarleton Gillespie , Ryland Shaw , Mary L. Gray , Jina Suh

Artificial Intelligence (AI) is increasingly being applied to law and a myriad of legal tasks amid attempts to bolster AI Legal Reasoning (AILR) autonomous capabilities. A major question that has generally been unaddressed involves how we…

Computers and Society · Computer Science 2020-08-21 Lance Eliot

As the real-world impact of Artificial Intelligence (AI) systems has been steadily growing, so too have these systems come under increasing scrutiny. In response, the study of AI fairness has rapidly developed into a rich field of research…

Computers and Society · Computer Science 2023-09-19 Maarten Buyl , Tijl De Bie

The debate around bias in AI systems is central to discussions on algorithmic fairness. However, the term bias often lacks a clear definition, despite frequently being contrasted with fairness, implying that an unbiased model is inherently…

Artificial Intelligence · Computer Science 2025-02-26 Chiara Lindloff , Ingo Siegert

The last two decades have seen tremendous advances in Artificial Intelligence. The exponential growth in terms of computation capabilities has given us hope of developing humans like robots. The question is: are we there yet? Maybe not.…

Artificial Intelligence · Computer Science 2022-02-02 Madhav Agarwal , Siddhant Bansal

What makes a task relatively more or less difficult for a machine compared to a human? Much AI/ML research has focused on expanding the range of tasks that machines can do, with a focus on whether machines can beat humans. Allowing for…

Machine Learning · Computer Science 2019-10-09 Vicki Bier , Paul B. Kantor , Gary Lupyan , Xiaojin Zhu