中文
相关论文

相关论文: Test Design and Review Argumentation in AI-Assiste…

200 篇论文

Generative Artificial Intelligence (Generative AI) is a collection of AI technologies that can generate new information such as texts and images. With its strong capabilities, Generative AI has been actively studied in creative design…

人机交互 · 计算机科学 2025-02-04 Liuging Chen , Yaxuan Song , Jia Guo , Lingyun Sun , Peter Childs , Yuan Yin

Many scientists use generative AI in their scientific work. People working in technology assessment (TA) are no exception. TA's approach to generative AI is twofold: on the one hand, generative AI is used for TA work, and on the other hand,…

人工智能 · 计算机科学 2025-09-03 Wolfgang Eppler , Reinhard Heil

Test Driven Development (TDD) is one of the major practices of Extreme Programming for which incremental testing and refactoring trigger the code development. TDD has limited adoption in the industry, as it requires more code to be…

软件工程 · 计算机科学 2025-01-15 Moritz Mock , Jorge Melegati , Barbara Russo

Artificial intelligence (AI) has demonstrated strong potential in clinical diagnostics, often achieving accuracy comparable to or exceeding that of human experts. A key challenge, however, is that AI reasoning frequently diverges from…

人工智能 · 计算机科学 2026-05-25 Belona Sonna , Alban Grastien

The count of pending cases has shown an exponential rise across nations (e.g., with more than 10 million pending cases in India alone). The main issue lies in the fact that the number of cases submitted to the law system is far greater than…

人工智能 · 计算机科学 2023-10-13 Oscar Tuvey , Procheta Sen

Artificial Intelligence (AI) tools for automating design artifact generation are increasingly used in Requirements Engineering (RE) to transform textual requirements into structured diagrams and models. While these AI tools, particularly…

软件工程 · 计算机科学 2025-07-15 Syed Tauhid Ullah Shah , Mohammad Hussein , Ann Barcomb , Mohammad Moshirpour

In the future, AI will increasingly find its way into systems that can potentially cause physical harm to humans. For such safety-critical systems, it must be demonstrated that their residual risk does not exceed what is acceptable. This…

人工智能 · 计算机科学 2022-02-14 Michael Kläs , Lisa Jöckel , Rasmus Adler , Jan Reich

Artificial intelligence assisted mathematical proof has become a highly focused area nowadays. One key problem in this field is to generate formal mathematical proofs from natural language proofs. Due to historical reasons, the formal proof…

编程语言 · 计算机科学 2024-05-14 Lihan Xie , Zhicheng Hui , Qinxiang Cao

As Artificial Intelligence (AI) technology gets more intertwined with every system, people are using AI to make decisions on their everyday activities. In simple contexts, such as Netflix recommendations, or in more complex context like in…

人机交互 · 计算机科学 2020-03-04 Juliana Jansen Ferreira , Mateus de Souza Monteiro

Although much research has focused on AI explanations to support decisions in complex information-seeking tasks such as fact-checking, the role of evidence is surprisingly under-researched. In our study, we systematically varied explanation…

人机交互 · 计算机科学 2026-01-19 Greta Warren , Jingyi Sun , Irina Shklovski , Isabelle Augenstein

AI systems are becoming active participants in organizational and knowledge work. They increasingly interact with humans, coordinate workflows, and operate in multi-agent arrangements. Understanding their effects therefore requires more…

人工智能 · 计算机科学 2026-05-19 Yingjie Zhang , Chun Feng , Weizhang Zhu , Tianshu Sun

AI agents -- systems that combine foundation models with reasoning, planning, memory, and tool use -- are rapidly becoming a practical interface between natural-language intent and real-world computation. This survey synthesizes the…

人工智能 · 计算机科学 2026-01-06 Bin Xu

Software testing has often to be done under severe pressure due to limited resources and a challenging time schedule facing the demand to assure the fulfillment of the software requirements. In addition, testing should unveil those software…

软件工程 · 计算机科学 2019-12-30 Michael Felderer , Ina Schieferdecker

Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, aviation, medical devices, and military. The certification processes for these systems are stringent and…

机器人学 · 计算机科学 2020-03-12 Shreyas Ramakrishna , Charles Hartsell , Abhishek Dubey , Partha Pal , Gabor Karsai

As automated decision-making solutions are increasingly applied to all aspects of everyday life, capabilities to generate meaningful explanations for a variety of stakeholders (i.e., decision-makers, recipients of decisions, auditors,…

人工智能 · 计算机科学 2024-11-15 Niko Tsakalakis , Sophie Stalla-Bourdillon , Trung Dong Huynh , Luc Moreau

The rapid advancements in Generative AI and Large Language Models promise to transform the way research is conducted, potentially offering unprecedented opportunities to augment scholarly workflows. However, effectively integrating AI into…

The premises of an argument give evidence or other reasons to support a conclusion. However, the amount of support required depends on the generality of a conclusion, the nature of the individual premises, and similar. An argument whose…

计算与语言 · 计算机科学 2021-10-27 Timon Gurcke , Milad Alshomary , Henning Wachsmuth

AI has the potential to improve approaches to talent management enabling dynamic provisions through implementing advanced automation. This study aims to identify the new requirements for developing AI-oriented artifacts to address talent…

人工智能 · 计算机科学 2022-07-26 Ali Faqihi , Shah J Miah

There is an increasing imperative to anticipate and understand the performance and safety of generative AI systems in real-world deployment contexts. However, the current evaluation ecosystem is insufficient: Commonly used static benchmarks…

Recent work on interpretability in machine learning and AI has focused on the building of simplified models that approximate the true criteria used to make decisions. These models are a useful pedagogical device for teaching trained…

人工智能 · 计算机科学 2018-11-06 Brent Mittelstadt , Chris Russell , Sandra Wachter